{"entities":{"Q1791051":{"pageid":1801793,"ns":120,"title":"Item:Q1791051","lastrevid":69139239,"modified":"2026-04-13T05:01:36Z","type":"item","id":"Q1791051","labels":{"en":{"language":"en","value":"Vaught's conjecture for weakly o-minimal theories of convexity rank 1"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6946834"}},"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":"Q1791051$0F4737C0-097C-41E7-9DF7-595C8F56972D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16ef4e85f4adfabaf9e5b2754feea95b805e8c5d","datavalue":{"value":{"text":"Vaught's conjecture for weakly o-minimal theories of convexity rank 1","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1791051$9C387D72-3772-43EE-B438-F27A25B64985","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5ce46119ab970bf33a17575f751afaaa55f4413","datavalue":{"value":"1412.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791051$D0FBC3D9-3BE6-44BF-9585-F532320499E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00ca52e24e5cf7c93e52569c1a46c0bd43b0deb8","datavalue":{"value":{"entity-type":"item","numeric-id":1791049,"id":"Q1791049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791051$B29F746E-1B87-4D5F-9003-7293449B556A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"991c44e16a29e005173c606dbff473c0476984c8","datavalue":{"value":{"entity-type":"item","numeric-id":331051,"id":"Q331051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791051$21AD956D-D066-47A2-BAB2-EF5DA68A8D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd6502178602b7b14c112f73c95fd81b1b61d531","datavalue":{"value":{"entity-type":"item","numeric-id":1669767,"id":"Q1669767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791051$70F8A817-F009-46D5-973C-3425BD9E03B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8d2a3b7070540256b6fdbaadffb16f91e1a11aa","datavalue":{"value":{"entity-type":"item","numeric-id":1669768,"id":"Q1669768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791051$13652A9A-08D1-4E5B-8221-D8E99836EA37","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":"Q1791051$DE1A6E5B-9826-4F64-8EAB-44410E14A94D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1791051$C099E597-0BB5-4400-9B8B-35BEB321A984","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f1b70286a077b5e81f8e9dd0cca8b3db21086683","datavalue":{"value":"The main result of this paper states that the number of countable models of a weakly o-minimal theory of convexity rank $1$ in a countable language is equal to a positive integer different from $2$ or $\\omega$ or $2^{\\omega}$. If it is less than $2^{\\omega}$, then the theory is binary (each formula is equivalent to a Boolean combination of formulas with at most two free variables). The tools used include a detailed analysis of sets of realizations of non-isolated types, weak orthogonality and quasirationality of types, $(p,q)$-splitting formulas and the Rudin-Keisler preorder.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791051$F4EDEB9F-97B8-4671-A0F1-E028A24F6AD5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8c2bd62dc5ea44804a8decc307dda68e19bec635","datavalue":{"value":{"entity-type":"item","numeric-id":350787,"id":"Q350787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791051$8EBA5E8F-679B-4DC7-B700-5CC00ED570D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791051$D9E05DF4-E43C-4C07-BF8B-005B2A39924A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791051$7A205454-56D7-4454-A287-F7E2EBBFDE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791051$67791840-30AE-44F4-B539-C281186BC89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791051$41A3F94B-1593-4CF4-B1DF-A011F99EB803","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea8f70c293aa20d5e570ea140cfb722af14ea335","datavalue":{"value":"6946834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791051$E8ABF682-A16A-4612-9A4E-6267669112A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62ec92c361a3047d77d4594f9b58d862b528fc22","datavalue":{"value":"weak o-minimality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791051$1E2F38E2-5E3F-4C2B-9523-7541AAF2D609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdc894c7377128dc1b365909248b80d92973ae33","datavalue":{"value":"convexity rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791051$E4E2A894-0210-418B-A957-C97977204B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb62defe466aed1915b57d77672c94bfee0b2250","datavalue":{"value":"Vaught's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791051$63D16752-F2A0-485D-A446-596720C621E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70e8618466c0ce9246c3e67ffa10167bb73c3389","datavalue":{"value":"countable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791051$C534D616-7693-46F4-80DA-4FAA7066D4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e97af327d3e4dc892207414899328ffe9ef2184","datavalue":{"value":"binary theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791051$8EC0D457-45D7-45F5-8E52-FB33CB586D6E","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":"Q1791051$09FDE428-292A-4538-961E-8226339925BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ec82b0aeebf2a3e8dc266e987391a08ef30ab5d","datavalue":{"value":"https://doi.org/10.1016/j.apal.2018.06.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791051$EEA4513F-6387-4A7F-B123-B231C992BAD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54808fd0a7033312c2f97d39220e50142f97e876","datavalue":{"value":"W2809050109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791051$7F5173D5-61C4-4451-ABEF-7EA7EECCED29","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e5d0a1e9bf56dbd66f23b9216bc1cedf60d8dc84","datavalue":{"value":"Q122938686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791051$EDFADD3A-E182-45FA-9EA5-7C2FF4CA6A2A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7129b9e99b6b9109bbb17e62b100e03800c45dbf","datavalue":{"value":{"entity-type":"item","numeric-id":5177694,"id":"Q5177694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791051$2790A421-9FB8-4613-90E0-2ED3D6086DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6efbccd9aa0b252367777bd518bdf4ebf5144aab","datavalue":{"value":{"entity-type":"item","numeric-id":2758066,"id":"Q2758066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791051$08558CFB-85EF-4918-809C-D78EC728D264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95d22fa434f35a1ea4ebe2a961adf7854e0ddfea","datavalue":{"value":{"entity-type":"item","numeric-id":3434482,"id":"Q3434482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791051$481AB7DC-8724-49BE-AD7C-26B4BD08AB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be4728d9b5ad1b9cf09d856211a380e1d4e5e29b","datavalue":{"value":{"entity-type":"item","numeric-id":4254696,"id":"Q4254696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791051$5840CED6-F1B1-45B6-9FA1-D6C01CBA7231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8327b51b3a248c9b8c14833322ac2391ea028c0","datavalue":{"value":{"entity-type":"item","numeric-id":866573,"id":"Q866573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791051$39757653-CD95-444A-BB1A-BC6B42E450B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a73de7b0af6382d0d992feb18bea13e5d1199b51","datavalue":{"value":{"entity-type":"item","numeric-id":3008054,"id":"Q3008054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791051$D48BBB90-035B-4A06-88FD-1A6A88264983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c19d0f9dfdd180e4b9c573f354e0f07ae758587","datavalue":{"value":{"entity-type":"item","numeric-id":1948660,"id":"Q1948660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791051$653D9A42-E07A-4B69-8CD6-5C6AD4068D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b37b5fcae9f7cb9a990a17670641299266449dd","datavalue":{"value":{"entity-type":"item","numeric-id":331052,"id":"Q331052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791051$E881B5A2-D3D2-48CD-9CC0-11534D569447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c8bd87fbc9af88f5b1aa7245ba64bb0c527c56b","datavalue":{"value":{"entity-type":"item","numeric-id":4505928,"id":"Q4505928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791051$C6388EC3-F47F-447B-87B7-D0A8E725CDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e2998ffc768bb6c248b94d338329f960793704b","datavalue":{"value":{"entity-type":"item","numeric-id":3791129,"id":"Q3791129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791051$D2F3A370-38E0-400F-AAB1-B1B9C44EA6D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14020298c8c0e997d878a09fea95cdd3e81fbe76","datavalue":{"value":"10.1016/J.APAL.2018.06.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791051$7AEB7ED8-5AD3-4E79-919F-C6E64F4AC09E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3011afb216d12ed36c887d589498aed598d3fbc","datavalue":{"value":{"entity-type":"item","numeric-id":5112467,"id":"Q5112467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c15b88e3b90192fbd8b115962327ee138fb491f3","datavalue":{"value":{"amount":"+0.9437522888183594","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":"Q1791051$3FC89D92-7D04-4AC0-9E32-DB7E7BF0B246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17d166c03a919b186fa3e666b99e127e034a3d86","datavalue":{"value":{"entity-type":"item","numeric-id":3792667,"id":"Q3792667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e83658c9212d0636491d958204cffe625a004415","datavalue":{"value":{"amount":"+0.8663110733032227","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":"Q1791051$5F62D56D-7398-46D2-9285-16192953F085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3ab4212c301adaaaf5296dddf7ba8f4f39f9cf1","datavalue":{"value":{"entity-type":"item","numeric-id":331052,"id":"Q331052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"620146df7eb573c38169587a8fb26b1a3fd9a136","datavalue":{"value":{"amount":"+0.8489271998405457","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":"Q1791051$55500396-4DFB-4B9C-877A-6201857EBC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f46cbf9145ee42a7182439df96f5aaff60bbccdb","datavalue":{"value":{"entity-type":"item","numeric-id":3791129,"id":"Q3791129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f4e1cf3d785579b0c381b1e3044f6e27f1af479","datavalue":{"value":{"amount":"+0.835632860660553","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":"Q1791051$05D735FB-1A73-4F18-B882-E219359BE12E","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":"7ed4f08d9a53db1dce5e365ad56d595b24738235","datavalue":{"value":{"amount":"+0.8322197198867798","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":"Q1791051$E097C07B-105B-42D1-8237-8416A75F090F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Vaught's conjecture for weakly o-minimal theories of convexity rank 1","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Vaught%27s_conjecture_for_weakly_o-minimal_theories_of_convexity_rank_1"}}}}}