{"entities":{"Q916645":{"pageid":918493,"ns":120,"title":"Item:Q916645","lastrevid":49395034,"modified":"2026-01-07T02:17:48Z","type":"item","id":"Q916645","labels":{"en":{"language":"en","value":"More on monadic logic. C: Monadically interpreting in stable unsuperstable \\(\\mathcal T\\) and the monadic theory of \\(^{\\omega}\\lambda\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4154418"}},"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":"Q916645$8CF80F14-B008-4EC4-8649-97189F3ED3E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d05b30f65af887f115a739dfe4e38da00783f3b","datavalue":{"value":{"text":"More on monadic logic. C: Monadically interpreting in stable unsuperstable \\(\\mathcal T\\) and the monadic theory of \\(^{\\omega}\\lambda\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q916645$3E07E79B-F665-47EF-81A5-557D905F421C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79616249be4516e5f673e03851e004e6ffb32e19","datavalue":{"value":"0704.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916645$8A9ADB8D-18FB-4072-B3FE-4931BCE0A0E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b90b93abaab5ba321c0db60566dd26466f9af58","datavalue":{"value":"10.1007/BF02801469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916645$1F04B180-55DF-4A39-94B3-CB40F035BDFF","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":"Q916645$578036E7-CD29-44C0-8084-0AEB54F8A3F8","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":"Q916645$895E989D-7642-4F11-A768-C67B6C75C5D4","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":"Q916645$E3DADB3A-0DC4-4811-BC4C-AD421EB164CB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"649e4631a6b955febd596a9bbe086b3d66885256","datavalue":{"value":"[For Parts A and B see ibid. 63, No. 3, 335--352 (1988; Zbl 0664.03034) and ibid. 69, No. 1, 94--116 (1990; Zbl 0698.03034), respectively.]    This paper contributes to the classification of pairs (\\(\\mathcal T,Q)\\) where \\(\\mathcal T\\) is a first order theory and \\(Q\\) is a quantifier. The main result concerns \\(\\mathcal T\\) in a finite language which are stable but not superstable. For such \\(\\mathcal T\\) ``one can, in monadic logic, interpret in it essentially trees \\((^{\\omega \\geq}\\lambda,<)\\) with quantification \\((Q^{pd}f)\\) (on pressing down functions)''. Knowledge of earlier papers is required of the reader.","type":"string"},"datatype":"string"},"type":"statement","id":"Q916645$02B01BDB-18F8-43DC-8B8E-3FB8230BCCF9","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":"Q916645$5CC6D5A7-5DBE-4105-BE7C-00CEA749D3F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916645$751320B6-6C55-4E37-9F00-37BD44D8442A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88b4944d89960b045c08a3cee294d32998092b2d","datavalue":{"value":"4154418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916645$900A1961-7C6E-4B31-BF79-81D03A110B68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20e0e166bcf7e09dfe2b3487cbc117f4c2236358","datavalue":{"value":"first order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q916645$9F1873A3-BC1F-4637-B9D1-249DBD4A569A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456f428f7d11b77d5dcd68a909e2a07830396d6a","datavalue":{"value":"quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q916645$1E4D391F-6CF6-4134-B899-B03F231803B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ef580dc6ba1451aeadb852ac0dd131e497dec33","datavalue":{"value":"monadic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q916645$29B5A697-8808-44CE-B4B2-D069C74232D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24938459dbf20196734dcf6c3a35c8a8724abee","datavalue":{"value":"trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q916645$0399B556-904A-43CC-A6E3-91CD78E50E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0838118ac08fc907f53788218933dea3a846abd5","datavalue":{"value":"pressing down functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q916645$986253FE-8CC9-4B42-9C2F-5B9D6E84289D","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":"Q916645$704FFECC-4C1A-451F-9149-43675A0E037E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"390883ad78a33fcf623e26f354177bcba16ae9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1250098,"id":"Q1250098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916645$696859B3-B617-415C-8997-A8E537316EFA","rank":"normal"},{"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":"Q916645$87B96ECA-8D1F-44C8-B1C3-DEF8C48F7E37","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":"Q916645$9D14D06F-B85B-49E1-AA48-C23A8DF18D49","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":"Q916645$212E4E1D-4CD1-487A-BEAC-EF3C3B3E8E93","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":"Q916645$4FEE17F5-9627-4098-AAEB-2D2077EAD318","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":"Q916645$8050D833-1F18-41C7-811A-248F297CEFB9","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":"Q916645$927E0963-2EE8-4475-8E0A-294640A1A9A2","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":"Q916645$369E3E24-3230-46A3-A392-D67515FAE6F4","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":"Q916645$D6FE0066-AD02-422C-9CDB-2F4245AA071B","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":"Q916645$0E545AFC-067B-4C6E-87C9-D4DCD1664212","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":"Q916645$71503965-15C0-4FA4-A451-9799DA2FB234","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":"Q916645$0718FF97-F977-48A3-B85A-7B830BE344FC","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":"Q916645$766AD788-FF7E-44CC-820F-8CF5CE681C7D","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":"Q916645$03A3C4CB-2CED-414F-8297-B0C451F8C2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a24a88d6ebb41276fffa3fc4437b80b4fc35e0ba","datavalue":{"value":{"entity-type":"item","numeric-id":912091,"id":"Q912091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916645$FEB20835-12CD-414D-B613-5E3C66C8DE3D","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":"Q916645$45B25EC8-5D00-46BC-A92D-1C08E632634F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b82c609c940e9527fff48b6e1a37f4e8b2984568","datavalue":{"value":"https://doi.org/10.1007/bf02801469","type":"string"},"datatype":"url"},"type":"statement","id":"Q916645$BE995637-0C47-47F0-8C3B-12EAC4496DA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2fd5be37f62ba200f4aed7936cf5409f492b3360","datavalue":{"value":"W2086841212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916645$AB15F81D-0257-4751-8ADB-252D6BED6E85","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":"4acbf36e7e05d80afb40fff49199091575b34a2e","datavalue":{"value":{"amount":"+0.8244102597236633","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":"Q916645$27B2B33F-7967-496D-9A6B-2D6830B2E397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07e9316d068246cada83dbda1bfa6a906536061","datavalue":{"value":{"entity-type":"item","numeric-id":1078169,"id":"Q1078169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4877ef77e649e55551be52b3486ba97363f6825","datavalue":{"value":{"amount":"+0.7686804533004761","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":"Q916645$0D2E6D11-4792-47C1-B438-65D308860046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d1042056f38ea2321279258cdef3767c35276e9","datavalue":{"value":{"entity-type":"item","numeric-id":2639848,"id":"Q2639848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b33161e057dd3473ca41f4ac228aed59a91b671","datavalue":{"value":{"amount":"+0.7514725923538208","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":"Q916645$CD757FEF-3B0D-40CD-8F45-60B455C7C41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b16b9dc3557b9ca74916811b4abc76041fbab4b","datavalue":{"value":{"entity-type":"item","numeric-id":912091,"id":"Q912091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"376c9b297800548b1fb18644945fe9e23a530a9f","datavalue":{"value":{"amount":"+0.7503189444541931","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":"Q916645$F5A09FD6-1338-440D-BE5C-DC74A792CB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec2f311e3e92cfd3aa10a05c7f5e68ec516055b","datavalue":{"value":{"entity-type":"item","numeric-id":3586024,"id":"Q3586024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71eb1373e855e8d5e8b476ff7fb470d4f4cac274","datavalue":{"value":{"amount":"+0.7213469743728638","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":"Q916645$6AD19358-7D2D-4E54-8FF2-28E1D5BBC220","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:916645","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:916645"}}}}}