{"entities":{"Q912091":{"pageid":913939,"ns":120,"title":"Item:Q912091","lastrevid":49371694,"modified":"2026-01-07T01:24:02Z","type":"item","id":"Q912091","labels":{"en":{"language":"en","value":"Notes on monadic logic. Part B: Complexity of linear orders in ZFC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4143970"}},"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":"Q912091$E29332E1-9AE0-469A-815A-E586CC0DFD40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd76b98646c5cee266063242badb7c6357c847b9","datavalue":{"value":{"text":"Notes on monadic logic. Part B: Complexity of linear orders in ZFC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q912091$B39E2AF8-C7F8-4A67-A68C-096E6B1158F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02ed53bf77a357fed11e938bb2ec61856015eae0","datavalue":{"value":"0698.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912091$2262DC61-FDB1-4040-BF73-20D2F17718FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd51064443b887646115b4aa91de6f41cf769d3f","datavalue":{"value":"10.1007/BF02764732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912091$324A5F85-2FAA-4439-9939-D6170601E137","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":"Q912091$6097619C-1C63-4BFD-BB03-65743D8D0D76","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912091$5CA41944-3B9B-4026-B9EC-CD66ADCE2BA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q912091$FB4467BD-053D-4D45-BB3D-3FEED864316C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7cd175d2761cc545fe4cdf12aae81422475b12e3","datavalue":{"value":"[For Part A see ibid 63, No.3, 335-352 (1988; Zbl 0664.03034).]    From the author's abstract: ``We prove in ZFC: (a) that the monadic theory of linear order (syntactically) interprets and has the same L wenheim number as second order logic (the interpretation is semantical but not in the ``classical'' way), (b) a parallel (weaker) result for monadic logic for completely metrizable spaces.''","type":"string"},"datatype":"string"},"type":"statement","id":"Q912091$3B8FCA8B-9519-4D1D-8754-08DE86F9A540","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912091$91E1501B-5DD2-4752-B1D0-4DDF5D6336EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912091$1816D0F9-4E18-49E8-968E-E26A3B9245A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48aafe06787d55da95233f38633edbd9c4a42555","datavalue":{"value":"4143970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912091$6F34568E-06EC-49AA-ACCB-373CB56D0A47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f98515289438f5ddbec291fb01d5f808d9c7b6c","datavalue":{"value":"monadic theory of linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q912091$F229C6A7-B338-4DF1-A9E3-61DC9FF93356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf208ff4b3ccf5b3871a3e11dd8ff966c48f62f0","datavalue":{"value":"monadic logic for completely metrizable spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q912091$2D6409F6-328B-4C42-945F-453BBE3C51A1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49ac28ac151a8a9103bbae52e8a00e91b3069fd7","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912091$BE222ABB-8452-44B8-B45B-598D5207FCF8","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":"Q912091$848E9345-5EAB-4581-ACEA-4220881FD7D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef19537f6117a60da11938622219bc015c36a55","datavalue":{"value":{"entity-type":"item","numeric-id":1078169,"id":"Q1078169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912091$2C8062E8-3E45-4FA4-947B-0A5880BACBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"194d55d6bb7b1ecdd45e711f29b59dcde8ed7d24","datavalue":{"value":{"entity-type":"item","numeric-id":1096622,"id":"Q1096622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912091$D854B52A-EBFC-4982-B6E1-4FCC0B176278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366496f27963448786a05922fbb68a33edd1ebad","datavalue":{"value":{"entity-type":"item","numeric-id":3342531,"id":"Q3342531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912091$D0E3167B-86FC-4563-B9EF-38F3B676DD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e00dfe571f7075ffc70dc95f0e06d5ac966ef1b","datavalue":{"value":{"entity-type":"item","numeric-id":1238809,"id":"Q1238809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912091$D1B6C2F8-07C0-4F8E-834C-8A0D974EF84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3f724020a86fe18c349cbd6f7250d66c6d91cc2","datavalue":{"value":{"entity-type":"item","numeric-id":3914955,"id":"Q3914955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912091$E093113D-B27D-4102-BFF4-D8C09278686C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64040bbac50b384a31548ecb60a990ea2585409","datavalue":{"value":{"entity-type":"item","numeric-id":3663256,"id":"Q3663256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912091$C1CB2FEE-7E28-49CD-A603-C7BEE653DC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66b09db5c8078eb80a90d017753d8b2354bc8026","datavalue":{"value":{"entity-type":"item","numeric-id":1063588,"id":"Q1063588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912091$0708754B-2DFA-4C47-B5C7-3D00DDA4448F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7a4bea75dde5fc87e575fdfc8567cbc4a9cea5","datavalue":{"value":{"entity-type":"item","numeric-id":3347854,"id":"Q3347854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912091$A8848C1E-A07D-4C95-9E3A-4A8324E7D3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ba0c6aa51a85c5f769503476cc1b4a740b0a16b","datavalue":{"value":{"entity-type":"item","numeric-id":3757893,"id":"Q3757893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912091$ECFD73AE-C947-47E2-9E52-ACBDA83EA81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5d69fec77a7144a9c1e86ad4f935d5cced0915e","datavalue":{"value":{"entity-type":"item","numeric-id":3476808,"id":"Q3476808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912091$70448168-016E-45C1-9BD3-DFA0E071590F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"892cd8c8a85cb9d6724b48bbea3e1483e3c424ee","datavalue":{"value":{"entity-type":"item","numeric-id":3708772,"id":"Q3708772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912091$BB6A6FA7-E362-4372-8989-1ECA8D3BC088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d45cd2ea360d17b085a46e8bc7dd71d81d0bdfcf","datavalue":{"value":{"entity-type":"item","numeric-id":1169456,"id":"Q1169456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912091$EAB97607-A38A-4340-92A1-126BF314EB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912091$560DA4A4-255F-4355-B76F-86C9758EEFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7d4a799934141da7c29f01edc10e0b00564a284","datavalue":{"value":{"entity-type":"item","numeric-id":3781082,"id":"Q3781082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912091$CD0F6E1F-527C-4344-81C8-26031C859AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eaf251446f1affa8083554c5ff954004ed26a9b","datavalue":{"value":{"entity-type":"item","numeric-id":3895456,"id":"Q3895456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912091$AE6E4F73-FEFE-4A4F-B699-A1E599CF56D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26d1311afa220c1d513ab69a52d789cb8a705da3","datavalue":{"value":{"entity-type":"item","numeric-id":2266127,"id":"Q2266127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912091$DE3E4500-4614-4C3B-A9E1-BC8F49C0CDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da2dfe9c13c96d4ec4060324164badd4d4c82b93","datavalue":{"value":{"entity-type":"item","numeric-id":1058510,"id":"Q1058510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912091$22261211-27DC-4407-BF00-EC6AE36560E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd00bd83b9be4e9e9e683fcbdb880cc889840f5d","datavalue":{"value":{"entity-type":"item","numeric-id":3704092,"id":"Q3704092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912091$D542092E-5EF7-4BA6-A0D9-795A4BB58DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d80883227838e183926b304b459f887b831257fa","datavalue":{"value":{"entity-type":"item","numeric-id":1115431,"id":"Q1115431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912091$77C1C07B-4136-45F9-ABF2-F6195791B27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1c223042203a1ab004ac60e286fed106a0133b","datavalue":{"value":{"entity-type":"item","numeric-id":2639848,"id":"Q2639848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912091$D2860CDD-98DC-4D8D-9C30-887F81BECA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"239b78efac09676b2eba9d7c375fd4d772f5f7bd","datavalue":{"value":{"entity-type":"item","numeric-id":2641296,"id":"Q2641296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912091$54C8725E-66F9-4463-9810-FF0254BAEFB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"231ea9c15e2715fdedf87f3310b6b052770b4cbb","datavalue":{"value":{"entity-type":"item","numeric-id":1058510,"id":"Q1058510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13497ce95b278dc68e75bfef9acde49cb87171de","datavalue":{"value":{"amount":"+0.8512775301933289","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":"Q912091$30F42F8A-754D-4962-82BF-006FC5C04D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d960f01174af0a4003a01a386efd581e42b1e75","datavalue":{"value":{"entity-type":"item","numeric-id":1115431,"id":"Q1115431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71fc8633cf180faf7d5169d139a04de3e22261ee","datavalue":{"value":{"amount":"+0.8178521394729614","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":"Q912091$C32105BB-65C7-45B1-B2C7-BBBA323C4C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d04ba04b45eb5daa8653447a508232d291c863a6","datavalue":{"value":{"entity-type":"item","numeric-id":3342531,"id":"Q3342531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d977081e3f2f361e8d5b65aea801a5d8a765a751","datavalue":{"value":{"amount":"+0.7874364852905273","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":"Q912091$6FE3E135-9BF5-4073-9640-926E8324B023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75c72ba13293a05a0ac5011da91a7ef03af6f864","datavalue":{"value":{"entity-type":"item","numeric-id":3347854,"id":"Q3347854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd7ec00e8bb08c3ee0bd7a3ca9e4b7ff4370f361","datavalue":{"value":{"amount":"+0.7871826887130737","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":"Q912091$B20C44DB-CD46-48B2-84E7-71D41500C92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c6b06a6c1bea67ef48c42af78d3efe52cf3fc9a","datavalue":{"value":{"entity-type":"item","numeric-id":1063588,"id":"Q1063588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2531cb05777b3bad9f4dad6f329bf687f0257e6c","datavalue":{"value":{"amount":"+0.7824839949607849","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":"Q912091$39524724-A3DC-4C18-B767-88404A3D6238","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:912091","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:912091"}}}}}