{"entities":{"Q947266":{"pageid":949114,"ns":120,"title":"Item:Q947266","lastrevid":57240417,"modified":"2026-03-27T15:00:13Z","type":"item","id":"Q947266","labels":{"en":{"language":"en","value":"More on \\(\\mathrm{SOP}_1\\) and \\(\\mathrm{SOP}_2\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5348353"}},"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":"Q947266$88667035-4CD0-49D3-8988-B2483C25ADEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dbeaf964c06dcec23c563863390c2963df0b4d03","datavalue":{"value":{"text":"More on \\(\\mathrm{SOP}_1\\) and \\(\\mathrm{SOP}_2\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q947266$26CD5041-23B9-4154-BD5A-EB9EA4B4E42D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bcb6cef5e65497d8fe981055575d2224814bdbd","datavalue":{"value":"1154.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947266$586C2FF7-1DD1-44FE-AB52-E3AF5072E7C1","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":"Q947266$4DC33A54-6CF4-47FE-AEE2-6ADA39727FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc8295213a0fbbda3768bef613f47a6c6b902e54","datavalue":{"value":{"entity-type":"item","numeric-id":532607,"id":"Q532607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947266$12F2262D-D101-46DD-A6C3-549829004915","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947266$A0B03DB7-5BBA-4F84-A4B0-985E0622D289","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf6f7b353a66969518a90b0af004266817357ae3","datavalue":{"value":{"time":"+2008-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q947266$E773608E-FF3E-465E-8AC7-EFFEA6046C23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f57dfd9e42c4fe7cfe0401ea79936a90ad97b93e","datavalue":{"value":"https://arxiv.org/abs/math/0404178","type":"string"},"datatype":"url"},"type":"statement","id":"Q947266$85994EF8-8DFA-48B9-9824-172F0B513EA4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"69be436e20953ff3060d07e6aeb4968555995663","datavalue":{"value":"Shelah and his collaborators have been working on clarifying the nature of theories with tree property (i.e., non-simple) and without order properties (SOPs). In a previous paper [\\textit{M. D\u017eamonja} and \\textit{S. Shelah}, Ann. Pure Appl. Logic 125, No. 1--3, 119--158 (2004; Zbl 1040.03029)], the following implications were shown:   \\[ \\text{SOP}_3\\Rightarrow\\triangleleft^*\\text{-maximality}\\Rightarrow \\text{SOP}_2\\Rightarrow\\text{SOP}_1\\Rightarrow\\text{non-simple}. \\]   [A correction is made in this paper.]  Also, it was shown that not all implications are reversible, but which ones was not known. In this paper, the last implication is shown to be non-reversible: the authors show that the model completion of \\(T_{\\text{feq}}\\) (which is not simple) lacks \\(\\text{SOP}_1\\). The converses of the first implications are very interesting, because they show the equivalence between \\(\\triangleleft^*\\)-maximality (a semantical property) and SOPs (a syntactical property). A tantalizing result in this context is obtained; \\(\\text{sop}_2\\Rightarrow\\triangleleft^*\\)-maximality, locally. Also, the model completion of the theory of trees is shown to be \\(\\triangleleft^*\\)-maximal.  The authors give background material and definitions of relevant notions (including SOPs and \\(\\triangleleft^*\\)-maximality). Also, a lot of discussions, strategies, and new problems are here, giving the paper the character of being a report of work in progress.","type":"string"},"datatype":"string"},"type":"statement","id":"Q947266$E65B3AA3-5979-46F5-9CD2-84E56DA2E72C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947266$4CE5E73E-85CF-48D5-BFDA-91BE01CB7F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947266$C13A3C9A-06F9-4A9F-9CC3-A5E0C3A73376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947266$C4B4647D-3543-4311-9B23-6F8B9B1157A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aed5d10b5ebb1eda99715c69b67747c244bd1b00","datavalue":{"value":"5348353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947266$4951F898-0E25-4C7A-B830-C7D3372E9108","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97bc507bb87bbbc28f928ebcedfbfe81cd7ce237","datavalue":{"value":"\\(\\triangleleft^*\\)-maximality","type":"string"},"datatype":"string"},"type":"statement","id":"Q947266$3FAF52CD-3584-474A-BDB0-249B17F331F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"194d9ff25e2119369fc04356ea91011e4795e084","datavalue":{"value":"SOP\\(_{1}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q947266$B5ADB255-82FF-4874-9F88-514F7D2292DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d264d4627026c578e0db077c7bc71668b1b615e","datavalue":{"value":"SOP\\(_{2}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q947266$4E54F2FA-1F69-45DB-9563-371D4CD6C3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e85686c88b6675116cec177bbafff890f9021164","datavalue":{"value":"rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q947266$AD6A67E1-B9C2-4A92-82FB-A4EC86C43E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94a9ab34357333dd7b8f22dd15710f1b16d2d8b8","datavalue":{"value":"Keisler ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q947266$5CCDF850-C19C-4AFF-9E77-725722F62F39","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":"Q947266$1267D9C2-F1DA-4ACF-8827-92E748A85177","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4155389b04e8b9d2e350c717738d18bfadbdb411","datavalue":{"value":"W2152317143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947266$D993D425-ADE1-4FFC-BEFC-10DACEF0E0F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"35ae764abc8affa317e0d0b33856afadc68e8c45","datavalue":{"value":{"entity-type":"item","numeric-id":1428039,"id":"Q1428039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947266$4CFA4DD8-6079-47C0-8D20-63558C77BBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0376df3f9b072633ed90667970c04b9642439a8c","datavalue":{"value":{"entity-type":"item","numeric-id":1188601,"id":"Q1188601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947266$A688E67F-A51E-4565-8551-1D8B62382DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1abd0a9f468a0c29edd15cad309b142bc74d3e98","datavalue":{"value":{"entity-type":"item","numeric-id":4284628,"id":"Q4284628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947266$E93A25E3-2C29-4800-9A32-0FA4640AFA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"852b133ced10d8de6db151a37b95919f3ec5ecb6","datavalue":{"value":{"entity-type":"item","numeric-id":1923564,"id":"Q1923564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947266$C90E03B3-F0B8-4E7F-B54D-51CEE92D6923","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b16327f3063cd724af4c642dbaad5514f3356f1a","datavalue":{"value":"10.1016/J.APAL.2008.02.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947266$F375C3F9-9C06-4DE5-8060-6239C470FACA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee1c20b914d6ce20b2a21aef89e63f882472fd32","datavalue":{"value":{"entity-type":"item","numeric-id":3325703,"id":"Q3325703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7354bcd188a2219f9e033b3ada2fd00457c7ef49","datavalue":{"value":{"amount":"+0.78437835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q947266$502AB68E-8DDF-4ADE-941E-0B4ACA6E52CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5242243aebde68d22e615a166db6c42d01decbcb","datavalue":{"value":{"entity-type":"item","numeric-id":2368916,"id":"Q2368916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"014e316906b14702dfde6cfd75c4208f7e55d8f4","datavalue":{"value":{"amount":"+0.758972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q947266$493D1A43-F062-4930-9616-234E91421EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e671486a7d653c0e9236a46e059a05fe1e2b358","datavalue":{"value":{"entity-type":"item","numeric-id":5491895,"id":"Q5491895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd43f29759f00964ee51c45993a8e0e35e0acd35","datavalue":{"value":{"amount":"+0.7515713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q947266$E39615B2-212B-4C4A-89B2-236686BE0E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebe584145f31375543b2deae1b61dff4c4ac4ae","datavalue":{"value":{"entity-type":"item","numeric-id":3609625,"id":"Q3609625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"952e226f4e00b4bb2bec632f614c3bbd3a5642a3","datavalue":{"value":{"amount":"+0.74959505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q947266$405D2452-C851-4238-9E2D-3DEE8098898C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1575fa266979cc22267c89bc41bcc4aba7c39200","datavalue":{"value":{"entity-type":"item","numeric-id":639673,"id":"Q639673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fb5eee633788c020b7af6951f9511e4d258daf3","datavalue":{"value":{"amount":"+0.7434677","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q947266$0C1183B8-46A0-4150-B25F-95F4673209AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39be264367db8026ea0cbdded388c5e0deda9a5d","datavalue":{"value":{"entity-type":"item","numeric-id":5302901,"id":"Q5302901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"904632dcac5ce13d7f902f65ab4f84f38b1cdb4f","datavalue":{"value":{"amount":"+0.7426891","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q947266$4486B2B6-6DA2-4E09-B9C3-A14D690B37FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"164eb118d880082ae7b264653be26ebcaac5df70","datavalue":{"value":{"entity-type":"item","numeric-id":2104270,"id":"Q2104270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bc72dbb9217a9764ee2cc04440d20f5124f1942","datavalue":{"value":{"amount":"+0.74231917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q947266$46922580-31D4-40FD-A630-0693F429C447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4eab62ccdbff35cce4dadb157a4c6bbd99c0924","datavalue":{"value":{"entity-type":"item","numeric-id":2800972,"id":"Q2800972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f90c4f9989898b32784aacc1cefb4f48a25e1a5e","datavalue":{"value":{"amount":"+0.73835266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q947266$F509A2D6-E43E-44D1-8E3D-00EA6A2879AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7cf3be5fde2acb0db726f7a3906d9db3579fd96","datavalue":{"value":{"entity-type":"item","numeric-id":3066806,"id":"Q3066806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a27284b511165288bfaa52dbe2e256329b26d54c","datavalue":{"value":{"amount":"+0.7319414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q947266$93191DB8-B9F1-426C-A000-A76256A54BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fec3e9e2ab0de60d5ef5620f8967aeee8e60247c","datavalue":{"value":{"entity-type":"item","numeric-id":4284261,"id":"Q4284261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc927f7c13996f9e416d6831806eb25c7640ba87","datavalue":{"value":{"amount":"+0.73077464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q947266$DA993B86-AA84-47C6-9DE6-AC7F453D11D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:947266","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:947266"}}}}}