{"entities":{"Q1187533":{"pageid":1198282,"ns":120,"title":"Item:Q1187533","lastrevid":67069254,"modified":"2026-04-12T14:48:45Z","type":"item","id":"Q1187533","labels":{"en":{"language":"en","value":"The Hanf numbers of stationary logic. II: Comparison with other logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 39455"}},"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":"Q1187533$41AB1A37-B228-446E-B694-6C6BA3299C1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ed244097d272dc536a09b9a6f74a4ee88624d07","datavalue":{"value":{"text":"The Hanf numbers of stationary logic. II: Comparison with other logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1187533$0549FA1B-7493-422D-A039-621CF6D3503A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"316cc1ba1638eb728cca39dcd674a45153ab3a04","datavalue":{"value":"0755.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187533$63559A15-8521-4AF8-B751-75F6D5113291","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":"Q1187533$E080AF38-D498-40EF-A5BB-E7C77BCB88D5","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":"Q1187533$518A6E6A-AB91-4AE6-899D-B433DF2E9628","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e4d962d2dc96d2f5a9a4662218fd9d693008ec8","datavalue":{"value":{"time":"+1992-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1187533$9194FC86-EC54-41F7-88B9-568A459DBBFB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04fa684aacbd764d36a7e4f3b34057d41aa919e2","datavalue":{"value":"https://arxiv.org/abs/math/9201243","type":"string"},"datatype":"url"},"type":"statement","id":"Q1187533$4B7F9FB5-C4BB-4390-9C96-4DE6958A45F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187533$CD3EBF0E-74A5-4327-B58A-2599B0BE1609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187533$4238C6B3-7B61-4911-906D-CAD06047C378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187533$95643B8B-2001-4D8E-8823-AFE28E9BC218","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"560f9c4e2d63626679df7538d48ac6387a4ec7e6","datavalue":{"value":"39455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187533$B414F988-DAD2-411F-ACA7-21BEE3DB83A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"016a619848fd5b7dc99301b9d73980544639b371","datavalue":{"value":"Hanf number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187533$FA5D86CD-F8DC-4079-8B5F-835F87A68437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80c184d2980c66fb4f3a760bddec3b556becb0a5","datavalue":{"value":"well ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187533$EA67CFBA-2B1D-4613-9D72-3BE40BD54A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86c3d61165b1ddd78caaf415f2902ba0bbb604fb","datavalue":{"value":"quantification on countable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187533$CE6CAFFB-9EDE-4D3E-96D5-DE427D68CB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73cef2e7adf5d40c3126e2d4166ce1131ba8d368","datavalue":{"value":"stationary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187533$5FF9EAAE-C93F-44DE-ADB2-453C9A30604C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187533$1A0F496E-27C7-488C-8D88-12C7A3A187FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68138c6c4f989c8583da9383e27778d5268533ba","datavalue":{"value":"ZFC","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187533$5CC5AA43-394D-41B6-B97A-14C0C2DE3783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e1a96ed6ffe2ea3d9e59077ea94ebf582551c14","datavalue":{"value":"independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187533$BC69B483-A7AA-46C8-9AA1-8093FA9EA0A2","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":"Q1187533$6A6DB814-5624-4041-B313-7BC8A9A3D956","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad1166b0b0588519620e386a5595a6440bbbced0","datavalue":{"value":"W2051358979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187533$1773307B-0BBB-484E-8DE7-952E60062FD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9690151755a66622906b14d3098421968bc4b40b","datavalue":{"value":"10.1305/NDJFL/1093636007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187533$3E74DD54-1307-4293-B2AD-8D369CF855F7","rank":"normal"}],"P1643":[{"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":"385b3a0cb606c23b7f5ebc39366824a9f08d2788","datavalue":{"value":{"amount":"+0.8638452291488647","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":"Q1187533$87130145-28CC-40B7-9B61-28A6817BB490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a19845d724d90249e2478186a8da338fd5f450ff","datavalue":{"value":{"entity-type":"item","numeric-id":1102273,"id":"Q1102273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb5fa96b1e3cbfc2fab0812388cb4876680d5f6","datavalue":{"value":{"amount":"+0.808668851852417","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":"Q1187533$815A3154-F4AE-45D1-B6C3-3B61B84F9D18","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":"6432968d92d49a6a7e81e4805fcd2e31a5c28d53","datavalue":{"value":{"amount":"+0.756912887096405","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":"Q1187533$E9922404-9063-4466-9081-930859DC55EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5b8784aae4cb468deaa936aaab53d961f40327e","datavalue":{"value":{"entity-type":"item","numeric-id":3312208,"id":"Q3312208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f466911c2140318eeb89d8f90e6661c10198a1eb","datavalue":{"value":{"amount":"+0.7398378252983093","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":"Q1187533$4AB3F7F0-0324-4D3B-8EB2-EF7B4D7456AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"896888298032f848e68194669b313c4c3eee0232","datavalue":{"value":{"entity-type":"item","numeric-id":3018118,"id":"Q3018118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aedc9faf3d1aa22298016159b77a10c4b820830","datavalue":{"value":{"amount":"+0.7323629856109619","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":"Q1187533$613BF677-D192-4DE6-B09A-E4164DF705EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Hanf numbers of stationary logic. II: Comparison with other logics","badges":[]}}}}}