{"entities":{"Q1820149":{"pageid":1830891,"ns":120,"title":"Item:Q1820149","lastrevid":49040041,"modified":"2026-01-06T12:31:54Z","type":"item","id":"Q1820149","labels":{"en":{"language":"en","value":"Stationary logic and its friends. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3993558"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820149$A283F20C-456A-47A9-AD0B-D67C644DF1A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6789fc07d87fae4cf0523243059f2dc8f462e93d","datavalue":{"value":{"text":"Stationary logic and its friends. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1820149$CE7ADCB4-9E09-4BC7-A55B-1523B82979CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7868b3e306a0ddc041f68afeba2c8f2d01f1465c","datavalue":{"value":"0614.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820149$1088DB86-EAE3-4875-8C9B-E580DBCA70BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820149$A072079C-A347-4BCE-BBE5-5CDA299E757F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab434b340e8fb2070bdba3713f2f4c6339ea5ac4","datavalue":{"value":{"entity-type":"item","numeric-id":908906,"id":"Q908906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820149$3DCF43E9-34CE-4651-80FC-D36321982081","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820149$38A98180-6D21-452B-BBC3-E4AAD023A35C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1820149$C37B701D-EF73-4D74-9739-0891B64361B1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2b4e3548593280a7c8c274f2f8f77293c3922b8b","datavalue":{"value":"This is the first of two papers that deal with L(aa) and related logics. Here we establish: every consistent \\(L_{\\omega_ 1\\omega}(Q)\\) sentence has an \\b{F}-determinate model (\\b{F} is a countable fragment of \\(L_{\\omega_ 1\\omega}(aa))\\); and it is consistent that L(Q) has the weak Beth property. A logic has the weak Beth property if it satisfies Beth's theorem where the hypothesis has been strengthened to require that implicit definitions guarantee existence as well as uniqueness.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820149$47432435-4E82-41B4-A35F-7D33A5B75E46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820149$F3D46B10-ABB4-478E-B363-E1388A1741A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820149$4748A1BC-6217-4A16-888F-E0253CCC4C24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60c7c9f94878ec78f4b0fb9e51b21c0316db88ac","datavalue":{"value":"3993558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820149$AB0539E2-5058-4AF3-9981-2A4971C57783","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820149$42243E92-F168-4985-B422-09DD46DD8E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3846057300f0eb43c19cf8e7a06805b6d7b3728e","datavalue":{"value":"L(aa)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820149$339E2569-7EB2-4245-A355-77498F06B082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a2811184f6bff801cb892f0cf701838ab6254a9","datavalue":{"value":"weak Beth property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820149$3539BDF8-6D79-409A-B016-74FF21E16B69","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820149$3F8ACCD3-525C-4A43-8FEA-2AE5A863AE20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"079d7bee20b8f3a8a820f3963a37562f57ece048","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870821","type":"string"},"datatype":"url"},"type":"statement","id":"Q1820149$D83B1183-563C-437C-AA43-2AA220B138AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8dc4984727bbd3aa75892781091162bee99140c","datavalue":{"value":"W4236573881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820149$2FD7DADF-5A62-4E64-9E16-9C6CC6C90FD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21f6dd28d24db78002dc9c5397033600461dafe9","datavalue":{"value":"10.1305/NDJFL/1093870821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820149$65C9E864-B291-458A-86A9-4E4720E709AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b73d7188e2214070454aa70fd75e3a7084a34980","datavalue":{"value":{"entity-type":"item","numeric-id":1820150,"id":"Q1820150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b24a7e98c6869b7f2066b5d4784a6d0526eb5607","datavalue":{"value":{"amount":"+0.8280906081199646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820149$98FEA29A-F94D-4CB4-AC1A-2ADE9565B2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4493f692e5afb03762485b588e48baa253e225e","datavalue":{"value":{"entity-type":"item","numeric-id":3714063,"id":"Q3714063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3f5cb5e624782f9f6688b30b8ebb62868b5a918","datavalue":{"value":{"amount":"+0.8063070774078369","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820149$63E59322-375D-41DC-9958-F42538A9FE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffdc7125cc2609bb872f788926233e7375265250","datavalue":{"value":{"entity-type":"item","numeric-id":1080418,"id":"Q1080418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc4e002ef7636901c5c2e3673ad5fbdf64b6f221","datavalue":{"value":{"amount":"+0.7969365119934082","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820149$D101C863-092F-4733-942A-88DA8DFCF300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de7ab8d3663e4c4fdfb109c11e7ecb3538552e9f","datavalue":{"value":{"entity-type":"item","numeric-id":759747,"id":"Q759747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43f59753ef44cf56443c6377d7b802dd9a494475","datavalue":{"value":{"amount":"+0.786938488483429","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820149$0BDF5C21-3681-44F0-A550-2FF52AFC8268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ea8e7a052f58b748f2f91fa85c1f19e6bd8ec8","datavalue":{"value":{"entity-type":"item","numeric-id":1820151,"id":"Q1820151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd683581c7bf47587e5560b0221239770677650c","datavalue":{"value":{"amount":"+0.778552234172821","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820149$ACA93846-5D5A-4F2C-A0B2-5BD4FA070F30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1820149","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1820149"}}}}}