{"entities":{"Q1428039":{"pageid":1438779,"ns":120,"title":"Item:Q1428039","lastrevid":48252208,"modified":"2026-01-04T03:09:17Z","type":"item","id":"Q1428039","labels":{"en":{"language":"en","value":"On \\(\\vartriangleleft^{*}\\)-maximality."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2056208"}},"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":"Q1428039$C341AA89-B8C1-437C-865A-693911CA59AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26c7522161d15cc2b474095d5fa1dfb4a177d0a6","datavalue":{"value":{"text":"On \\(\\vartriangleleft^{*}\\)-maximality.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1428039$C888273F-EAAD-44B1-88E5-DD8D0B3D66A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a9b7c204bfb11af40c95ff1edbab94bdf146ed8","datavalue":{"value":"1040.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428039$FE49DB50-650E-4E0A-A68E-2803D13070AD","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":"Q1428039$CF129401-5C58-4080-9D3B-4FBA799CB4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7de47c3ec68b0b7b2a80923314e788ab2246fa9a","datavalue":{"value":{"entity-type":"item","numeric-id":446250,"id":"Q446250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428039$7C8BAA73-6FB9-4C7B-ACD9-1228694E15E2","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":"Q1428039$72CA64BC-ED86-46A6-8DD7-0A1A67F44BFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"947fc07e6e3c9508b7adeaf87fe542c1ae2d0058","datavalue":{"value":{"time":"+2004-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1428039$06DDCB9B-98E1-4A8F-A557-8C36F05FBBCB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c905c8a8143b4efcdc46c5aeb4a56d3ee73c6b9d","datavalue":{"value":"https://ueaeprints.uea.ac.uk/id/eprint/19951/1/692.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1428039$25ADDAAA-C9EE-4B7B-9B89-ADD8D551E672","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d9310cee65b8b7e35c0eb19c9b0db2f11ab0ab2e","datavalue":{"value":"This article belongs to the group of papers about the classification of unstable theories without strict order property (SOP) by Shelah and others. The authors compare the model-theoretic notion \\(\\vartriangleleft^*\\) and the syntactic \\(\\text{SOP}_i\\), \\(i= 1,2,3\\), and they establish the implications:  \\[ \\text{SOP}_3\\Rightarrow\\;\\vartriangleleft^*\\!\\text{-maximality}\\Rightarrow \\text{SOP}_2\\Rightarrow \\text{SOP}_1\\Rightarrow\\text{not simple}. \\]  Not all implications are reversible, but which one is or is not is a ``burning question'', they say.   Here are some indications of notions involved. Between two theories \\(T_0\\) and \\(T_1\\), \\(T_0\\vartriangleleft^* T_1\\) holds if there is a third theory \\(T\\) into which \\(T_0\\) and \\(T_1\\) are interpretable, and in each \\({\\mathfrak M}\\models T\\) when the inner model of \\(T_1\\) in \\({\\mathfrak M}\\) is \\(\\lambda\\)-saturated, so is that of \\(T_0\\) for all large enough \\(\\lambda\\). The notions \\(\\text{SOP}_i\\) for \\(i\\geq 3\\) were used previously. The new notions \\(\\text{SOP}_2\\) and \\(\\text{SOP}_1\\) are derived from a reformulation of the old \\(\\text{SOP}_3\\). \\(\\text{SOP}_2\\) declares the existence of a formula \\(\\varphi(x,y)\\) and elements \\(a_\\eta\\) (in the `monster' model) indexed by all the finite sequences of \\(0\\) and \\(1\\) such that although \\(\\{\\varphi(x, a_\\eta), \\varphi(x, a_\\nu)\\}\\) is inconsistent if \\(\\eta\\) and \\(\\nu\\) are incompatible, the set \\(\\{\\varphi(x, a_{\\rho| n})/n\\in \\omega\\}\\) is consistent for any \\(\\rho: \\omega\\to \\{0,1\\}\\). \\(\\text{SOP}_1\\) is seemingly weaker but whether it is, is an open question.   On the way to obtaining these results, the authors build the theory \\(T_{\\text{feq}}\\) which is not simple and is not SOP\\(_3\\) (hence irreversibility of the above implications somewhere), and is strictly below the theory of dense linear order with respect to \\(\\vartriangleleft^*\\). They also give detailed studies of SOP's -- equivalent conditions, comparisons, etc.   This paper is well organized and pleasantly written. Many definitions, constructions, and proofs are long and complicated. But the authors break them up into stages with good explanations of motivations and strategies.   Remark: Mathematics is not literature. Neverthless, it is delightful to come across ``Before laying down the organisation of the paper\\dots'', and the like.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428039$2E728CAE-9835-47A4-9312-BA66B3EDE725","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428039$F6A58647-E7C5-4940-848D-51FA5ACD4B87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01ae93bf22fbdbf60130867e32a841770efcdaca","datavalue":{"value":"2056208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428039$F8B7D655-17FA-4439-A4E0-F3E37A6CCCA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a601e03ced548944d0dd2fdce6d345531d4742","datavalue":{"value":"classification theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428039$0420EFAF-EBAB-4736-8280-6BA2A4BD0C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5823a670e70215a5a1546f71b12bffa4bb60bc5","datavalue":{"value":"unstable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428039$76752C4E-FC32-4268-ACE0-C0F249954E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e61e91113c5a4047a079025062fefbe5988e753","datavalue":{"value":"SOP hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428039$C484CAB6-6479-4131-B71B-E0260B7CB5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f62a93680408fe2791b5a7c299b7fba796aa4a29","datavalue":{"value":"Oak property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428039$EE9260F7-F956-4CB1-8842-3BE3D0D90A90","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":"Q1428039$C610332A-15F8-4340-96D5-A86D25C506AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33af7f9dc192dbd6b70aacf5a14c68ade4345f41","datavalue":{"value":"W4213347674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428039$54D07BE5-CF11-4493-B752-1CADCD03A141","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428039$C453E86D-A737-47D0-8DB5-4B9F2F7910EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807c1f0985806ae84b60646360b7bdb8afe767b7","datavalue":{"value":{"entity-type":"item","numeric-id":3160546,"id":"Q3160546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428039$662A4CFD-3A0C-4369-9553-2315F0644EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87b3425983addb17c404996b0ef7817849d5e7a","datavalue":{"value":{"entity-type":"item","numeric-id":594193,"id":"Q594193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428039$BDDD452C-729A-4E43-ABFD-1E9A6DBF2402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7597068ac110925e9a522a2ccf924621f26f7471","datavalue":{"value":{"entity-type":"item","numeric-id":5541372,"id":"Q5541372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428039$C1567BB6-D6D7-446D-896F-D0D18C96DE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f2108638814405c9ac92bc43812401c16cf1509","datavalue":{"value":{"entity-type":"item","numeric-id":4109667,"id":"Q4109667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428039$449AB627-3C50-440D-955A-557CE671685C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cabcb33c6d666b779eda8df6727aad36d59e3e70","datavalue":{"value":{"entity-type":"item","numeric-id":1377641,"id":"Q1377641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428039$3BC48204-F20E-4C5F-AF9B-CDFD29B9760D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc2dd2242cd8338cbdf122e9cbf34f6156ca8a1c","datavalue":{"value":{"entity-type":"item","numeric-id":4032868,"id":"Q4032868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428039$9AAA4347-F66D-475E-8C17-17943DCF9B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b22d622ac7292dba42bf8c3ba806f0f3af3c30d","datavalue":{"value":{"entity-type":"item","numeric-id":1194244,"id":"Q1194244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428039$93FEF07B-5D91-4D76-A994-E6F103C3B38A","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":"Q1428039$0B5EFFF8-7D27-4F03-963E-B2EF484C984A","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":"Q1428039$643E17C9-557C-4401-A075-A3F920793983","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":"Q1428039$FC19A3D6-3C55-4673-AB52-164EEDFC796D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8d7f51cb5917a26faf0891ad4213fa8ebe463d0","datavalue":{"value":"10.1016/J.APAL.2003.11.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428039$6546226A-3071-48BF-9C41-0F3D64D54908","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca60534a4a02671e86602e1a855c13244be2a552","datavalue":{"value":{"entity-type":"item","numeric-id":947266,"id":"Q947266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"868a01f877c1a160aa684a843b4d5ee4e8eb7957","datavalue":{"value":{"amount":"+0.8874617218971252","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":"Q1428039$3C09B755-8A23-42EA-9716-D54C09A3B5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fb086211c7a7d798a5301784c8395f87f4baf13","datavalue":{"value":{"entity-type":"item","numeric-id":3450267,"id":"Q3450267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35c1b7073c7497a1845c857474b082500e7bf50f","datavalue":{"value":{"amount":"+0.8532149791717529","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":"Q1428039$67614509-2D37-4091-A497-530E01D510B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a57fb1d3d69253600d4f0a145b9f026aa84ebdd8","datavalue":{"value":{"entity-type":"item","numeric-id":1923564,"id":"Q1923564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fe0fe575d18f3facc4320b132d9819a6abdd49b","datavalue":{"value":{"amount":"+0.7507915496826172","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":"Q1428039$FDAC4601-A38C-418C-B186-E9EA378013F4","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":"72279b4613ef80be8ca3c74f1b7d3aa710df348e","datavalue":{"value":{"amount":"+0.7507909536361694","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":"Q1428039$2056BE41-437A-47A8-962F-129D28B94925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2754e53961762564306376aca5d9e9bfde3fc50b","datavalue":{"value":{"entity-type":"item","numeric-id":4628688,"id":"Q4628688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"201c1d1bbeb23eacb3d0be6267ab34c70fc57d72","datavalue":{"value":{"amount":"+0.7443418502807617","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":"Q1428039$AF557CB8-BA48-4D93-A667-F0185F654E79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1428039","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1428039"}}}}}