{"entities":{"Q1964015":{"pageid":1974757,"ns":120,"title":"Item:Q1964015","lastrevid":43449062,"modified":"2025-07-25T23:09:21Z","type":"item","id":"Q1964015","labels":{"en":{"language":"en","value":"On \\(\\aleph_0\\)-categorical weakly o-minimal structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1398638"}},"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":"Q1964015$7AF87EFB-7075-4A92-BD86-26518489B80A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"acb7ad49a848cbcf7a65e0a39ad4922d5af4dd2a","datavalue":{"value":{"text":"On \\(\\aleph_0\\)-categorical weakly o-minimal structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1964015$33853404-344E-40ED-A84B-EE8847A088C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b801412025750c7bfe94b497cdc5353c2422bb9d","datavalue":{"value":"0945.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964015$3DB40B3F-A4D7-4512-9F2A-3500FA51D050","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7705b9b0212eb628410311cb9c3b432cf7ad6cfe","datavalue":{"value":"10.1016/S0168-0072(99)00029-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964015$A094346D-78D7-498F-B8BD-3707DCB5921A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964015$597566AD-5035-452B-B7A9-3955DFF5BC17","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":"Q1964015$62E35725-237D-46C8-9B86-DEF937F45AD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a21e07de487f67db9a06dfe5a09ead0ebef66850","datavalue":{"value":{"time":"+2000-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1964015$EFCE3ED3-810F-404E-8F62-B6266D1A20F5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"20310a54797d76cdf9123d78ea8951a1e5bacc44","datavalue":{"value":"A structure \\(M\\) is o-minimal, if it carries a linear order such that every definable subset of \\(M\\) is a finite union of intervals of this order. A complete classification of \\(\\aleph_0\\)-categorical, o-minimal structures was given by \\textit{A. Pillay} and \\textit{C. Steinhorn} [``Definable sets in ordered structures'', Bull. Am. Math. Soc., New Ser. 11, 159-162 (1984; Zbl 0542.03016)].    The paper under review continues this work to give a classification of \\(\\aleph_0\\)-categorical, weakly o-minimal structures. Call a subset \\(C\\) of \\(M\\) convex, if for any two points \\(x, y \\in C\\) all points between \\(x\\) and \\(y\\) are also contained in \\(C\\). Then \\(M\\) is called weakly o-minimal, if every definable subset is a finite union of convex subsets.    The authors consider only 1-indiscernible structures, i.e. structures with a single 1-type. They show that up to binary structure, \\(Q^n\\) ordered lexicographically and equipped with the metric \\(d: Q^n \\times Q^n \\to \\{0,\\ldots, n\\}\\) described below, is essentially the only \\(\\aleph_0\\)-categorical, weakly o-minimal structure with \\(n\\) 2-types. The metric \\(d\\) is given by \\(d(x_0,\\dots{},x_{n-1},y_0,\\dots{},y_{n-1})=k\\) iff \\(x_k \\neq y_k\\) and for all \\(j<k\\) \\(x_j = y_j\\). The metric \\(d\\) is an ultrametric in the sense that \\(d(x,z) \\leq\\max(d(x,y), d(y,z))\\) for all \\(x,y,z\\).    For 2-indiscernible structures the classification is carried out in a similar spirit up to ternary structure, using the concept of C-relations. It turns out that the \\(\\aleph_0\\)-categorical, weakly o-minimal structures with one 2-type and exactly \\(n\\) 3-types admit an axiomatisation in terms of ultrametrics.    Structures that are 3-indiscernible are in fact \\(k\\)-indiscernible for every finite \\(k\\) and hence essentially isomorphic to the ordered set of the rationals, \\((Q,<)\\). The picture is rounded by a number of examples and considering relations of higher arities.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964015$B94EF165-B28D-400F-ACA6-0411380EE348","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964015$4D96FB01-D39C-4D47-AD16-B9F5684C2C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964015$66E02126-0413-4D92-8E4A-EE325217B94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964015$D3943B61-FF59-4940-92D8-D3471A0CAA8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"738bc2490f62f125173020b221c57f839da7a578","datavalue":{"value":"1398638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964015$B920CE7A-D900-4406-852E-6FE083A22FAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66dd4d597c3af60992cd372ab7a0f46dd50f6f1f","datavalue":{"value":"o-minimal structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964015$1CAD9D0F-60E1-4B8E-B230-3209A0379563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1f94161aa56cd8a9c3c74efa75dffc38beddd55","datavalue":{"value":"weakly o-minimal structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964015$D2840E86-9ABE-4DFF-82ED-29D39E3BFF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c6bfcb33a62f23095fc4a017447624cbcc38f18","datavalue":{"value":"\\(\\aleph_0\\)-categorical structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964015$A731AA82-1F98-4638-8F72-B616B707AE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1df535b1d50678b463b7190133f9d3f6e4a1ccc0","datavalue":{"value":"C-relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964015$ADAC6021-7B63-463A-880A-682AA3D3E363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"763a6b6ac86a06b1183033ef82c2b01236d3ebb6","datavalue":{"value":"ultrametric space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964015$8D1104FD-D911-4A3D-B58B-A209FDECDD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fbecb7139e10cd6250cf2f83b088e0c1d0abc81","datavalue":{"value":"1-indiscernible structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964015$2079904F-C97C-4CEC-9134-F2D982855E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edec64909bb4eeb389df60a5fad502d588b65c60","datavalue":{"value":"2-indiscernible structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964015$00A5D076-150B-4CB3-B19A-87B8A73A354E","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":"Q1964015$8D65BD17-CD5F-41E3-97E8-2454106567A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e880d1b1b52fe554c7f378f04a0661469414c104","datavalue":{"value":{"entity-type":"item","numeric-id":3418086,"id":"Q3418086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cbe6458b4139e640dd823c1365462a97cd53dc0","datavalue":{"value":{"amount":"+0.9690445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1964015$CFAC904E-66D5-44DC-8C1E-0F1BD32BF156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0962fb78bbf74ce12dc488391a687b8670931daf","datavalue":{"value":{"entity-type":"item","numeric-id":2662832,"id":"Q2662832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e12988d17689c58f1b5cf3b78992e19ee4313ac","datavalue":{"value":{"amount":"+0.94932973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1964015$DB304E38-FEC2-487F-9612-30BA5DC430C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a986ab682129d33e9a95db05aa6b3517d6a9334a","datavalue":{"value":{"entity-type":"item","numeric-id":5459339,"id":"Q5459339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de5eab39452227b43b15c3f3cc6a065c439ad2a8","datavalue":{"value":{"amount":"+0.9455454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1964015$B254A221-5F61-447E-AA7E-2630BA5CB671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ced566c5f14e162df73e2096b9977cfce4f46ce","datavalue":{"value":{"entity-type":"item","numeric-id":4802727,"id":"Q4802727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d80d4d953b9deaf6d6b22e7b1e47e4ecb4f51c0","datavalue":{"value":{"amount":"+0.94522816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1964015$DA536F57-8A9C-445F-85CC-3F6D2C0EFBB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5261c8e81b34cec9ed2df4fd9f1d2dc50529e21","datavalue":{"value":{"entity-type":"item","numeric-id":2898991,"id":"Q2898991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3e56e8bf4a4199954ae94822b6c860d8bb1f8cc","datavalue":{"value":{"amount":"+0.94152105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1964015$385CD556-F5DF-4090-A60E-7527D2E8C44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e66ac830c96621a8ba80ce71e4cee2b93bf4f18c","datavalue":{"value":{"entity-type":"item","numeric-id":890934,"id":"Q890934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee319a1a223e4bf3b3657a765e9869428546fa69","datavalue":{"value":{"amount":"+0.93639183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1964015$E78B33D8-B150-4BA8-839F-981BFF2F747D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"744dd8d29d6c7f59208ae47a82bd1a8b6b605d5a","datavalue":{"value":{"entity-type":"item","numeric-id":3379955,"id":"Q3379955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1de232935c8710b26a9e8414a004b64cf83173a","datavalue":{"value":{"amount":"+0.91793776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1964015$31D016AA-9097-461D-9A02-3289EAF8F028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a5e46ea724b3f00fbd8312d0c3e2abce84e8875","datavalue":{"value":{"entity-type":"item","numeric-id":866573,"id":"Q866573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4ef01e0600bf141da6f6d71f3edbaa46fa92bba","datavalue":{"value":{"amount":"+0.9146666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1964015$23B7A66D-BD82-4639-B4DA-11916DACD73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"235c05f9bc893a5444f0fc61476fc84c47e5c340","datavalue":{"value":{"entity-type":"item","numeric-id":3409448,"id":"Q3409448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22870ece406a5feb1f7dfaca7ac7b8e60b5306f2","datavalue":{"value":{"amount":"+0.9146485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1964015$19C5CE85-87B5-4B30-A888-F46F5D1FAE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b37343e4db523cf33167be5b3a54beac7fe20edf","datavalue":{"value":{"entity-type":"item","numeric-id":2030138,"id":"Q2030138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7909370e6336becd0e37f8de69b39b10608e0d0","datavalue":{"value":{"amount":"+0.9134475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1964015$572C9928-1FFC-403C-9BF5-4522763C80AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1964015","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1964015"}}}}}