{"entities":{"Q1129865":{"pageid":1140614,"ns":120,"title":"Item:Q1129865","lastrevid":69709596,"modified":"2026-04-13T08:52:35Z","type":"item","id":"Q1129865","labels":{"en":{"language":"en","value":"o-minimality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1194166"}},"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":"Q1129865$A3673D58-F82E-4CDC-A858-D3173A7AD877","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"413bc60b4d5bde4b34a477af8ef3d44446b0402d","datavalue":{"value":{"text":"o-minimality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1129865$5DDE89F5-D018-4D08-A3E4-3970DEDBC85F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d0b822fdb3a930135ca602e37eb4c446131566c","datavalue":{"value":"0906.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129865$C96EB2E2-BADF-4F88-9ACC-D9B47BFEEF6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30f57550dde9f482f0fb1e31a266606abdea62d8","datavalue":{"value":{"entity-type":"item","numeric-id":372639,"id":"Q372639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129865$FA5F5A3C-819C-4F7E-BDBD-0CC623BD2EFD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4add3c5163a5eee9bbe20dc8a36386ab43b68fd6","datavalue":{"value":{"entity-type":"item","numeric-id":168490,"id":"Q168490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129865$E7C397DF-C9F9-439A-A471-F0ECA5219107","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e28fe26505b9b122204fda482843b764d5f67e5","datavalue":{"value":{"time":"+1998-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1129865$FCAD99AC-5DBB-4AC5-BD37-C7372B0221A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c707f48ede6cf51a2058bbb4b5c8c2a8cd4ff73","datavalue":{"value":"http://www.emis.de/journals/DMJDMV/xvol-icm/99/1Wilkie.MAN.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q1129865$616B99A4-6AB1-472B-B320-E41FAD5D0498","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"814b74711e69eab4f62251d1644afea9e4ad7890","datavalue":{"value":"A structure \\({\\mathcal M} =(M,<, \\dots)\\), where \\(<\\) is a dense linear order (without endpoints) of the domain \\(M\\), is called o-minimal if every definable (without parameters) subset of \\(M\\) is a finite union of points and open intervals (with endpoints in \\(M\\cup \\{\\pm \\infty \\})\\).    Tarski proved that if \\(\\mathbb R\\) is the real numbers, then the ordered ring \\((\\mathbb R; +,\\cdot,0, 1,<)\\) is o-minimal.   Let \\(\\overline{\\mathbb R}\\) be any expansion of the real ordered field \\(\\mathbb R\\) with a language \\(\\overline L\\). Call a formula \\(\\psi\\) of \\(\\overline L\\) tame if there exists a natural number \\(N\\) (depending only on \\(\\psi)\\) such that whenever the free variables of \\(\\psi\\) are partitioned into two classes  \\[ \\psi= \\psi(x_1, \\dots, x_m,y_1, \\dots, y_r), \\]  then the set  \\[ \\bigl\\{ \\langle b_1,\\dots, b_r\\rangle \\in\\mathbb R^r: \\overline{\\mathbb R}\\models\\psi [a_1, \\dots, a_n,b_1, \\dots, b_r] \\bigr\\} \\]  has at most \\(N\\) connected components for any choice of \\(\\langle a_1, \\dots, a_n \\rangle \\in\\mathbb R^n\\).   In this paper the author asks for counterexamples to the following conjecture: With \\(\\overline{\\mathbb R}\\) as above, if every quantifier-free formula of \\(L\\) is tame, then is \\(\\mathbb R\\) o-minimal? -- Which, in fact, would imply that every formula of \\(\\overline L\\) is tame.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129865$632F8AEC-43B6-4789-A580-1002399BAC64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129865$C7BE840E-EC52-4966-8215-1BF595B9F281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129865$4742090E-5E88-4A59-BAE6-250BBC2BF874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129865$6E19738A-1449-462F-A456-B3B395DABBE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b05582bae3cb87395c51b65b3a586d212c38ec62","datavalue":{"value":"1194166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129865$A092D548-6DFC-4E46-A59E-CF0B30326BF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129865$50CA11BA-2963-4925-9253-073AD0F10399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4eb313d3005a5865e8a1b33f13a1c66f607feb6","datavalue":{"value":"elementary equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129865$327AFCCE-87E9-4FE9-84BB-A38957E299B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e2c4f46eeb58bdc78dd0618f1bb6eb8b973236e","datavalue":{"value":"o-minimality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129865$B1D42E0F-66FA-4D0C-A212-023BA0C70981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d349f55341643aed4713a8858c85e23ae6417dd1","datavalue":{"value":"quantifier-free formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129865$79E12F50-533E-44AB-BEA7-FA0DF6D8CAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d51e5d9174c68dd80acf18c95b5b44d64619e97","datavalue":{"value":"tame formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129865$DA1E575D-67DC-49F3-AF44-059B064239E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b3add8d95a3980ee7401e4612fe6a61da2b3dd","datavalue":{"value":"expansion of the real ordered field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129865$B6688EAC-6D1E-4960-A458-C16FB4670ACD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35ea846fbd37eef2bf04aa3916128060dde76b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129865$C54DBC23-AD1C-4FEB-8AC6-A59097618090","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":"Q1129865$AA5E7001-FFD2-4927-B0A4-34F3E505BC03","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"bdd82f40ecbf6fed861b54496029f195a6f9dfdf","datavalue":{"value":"bafkreibe43j4p46vs23nwpomimjs76morssvnmvkbmfggfpf4klaquxntu","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129865$5873D797-14ED-4231-ACE0-20221F000CC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8ea9abc9de88852047b1f686ea21fe14465bf6","datavalue":{"value":{"entity-type":"item","numeric-id":3812218,"id":"Q3812218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b02604e8aa7e8b563aee628d5b5bd532abd4f16b","datavalue":{"value":{"amount":"+0.8128117322921753","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":"Q1129865$AC3EDA9F-CB7C-4DCD-BC9B-F690DD732663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be58fa8ca3cb6e1356e543efc321f5f6ace78261","datavalue":{"value":{"entity-type":"item","numeric-id":958486,"id":"Q958486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3854a2cdac88fc9892ff31ce72b08094b31e696b","datavalue":{"value":{"amount":"+0.8098793029785156","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":"Q1129865$DD574187-2DBA-43BA-A538-11806154A7C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8a80d354932287485e442f128cbe2384708740f","datavalue":{"value":{"entity-type":"item","numeric-id":1775356,"id":"Q1775356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37d12692b7e50c4bef1288bfa47f10dcdea3ef54","datavalue":{"value":{"amount":"+0.8068855404853821","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":"Q1129865$3D495134-F4EC-4CA1-83A8-A18DFE3E1D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3118d25e956be29be6ee8edd23232190d05889","datavalue":{"value":{"entity-type":"item","numeric-id":3566607,"id":"Q3566607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ca42405235aeb5b4d55bbd75bafe0d3e361384b","datavalue":{"value":{"amount":"+0.8053730726242065","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":"Q1129865$EACD5416-9B41-43B8-9F08-B0E6A5F71987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3d7758ac57f2113643b359c6cc7dd490b0aa192","datavalue":{"value":{"entity-type":"item","numeric-id":3329447,"id":"Q3329447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d297955274c3bb7d8124f8015d6979452edc880","datavalue":{"value":{"amount":"+0.8037940859794617","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":"Q1129865$D6FB6F66-C3EA-4092-B0D6-1270812750B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"O-minimality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/O-minimality"}}}}}