{"entities":{"Q998139":{"pageid":999987,"ns":120,"title":"Item:Q998139","lastrevid":65821341,"modified":"2026-04-12T05:36:01Z","type":"item","id":"Q998139","labels":{"en":{"language":"en","value":"The Vaught conjecture: do uncountable models count?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5178767"}},"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":"Q998139$1ACE4152-0086-4D00-B3BD-D8B025FCA6EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc50434b71c412cdf09739f1fd3a4853b63c49bb","datavalue":{"value":{"text":"The Vaught conjecture: do uncountable models count?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q998139$F5B86333-F9D2-468D-9F83-DFEB463B3107","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47e4014be4bed9de0427414b5c730f5ca2ca571c","datavalue":{"value":"1125.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998139$B3EB12A0-6BCE-4871-A09C-972B2C7CBDE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e64e009c5b29c61a4b3361a7a032b4dde217928","datavalue":{"value":{"entity-type":"item","numeric-id":283126,"id":"Q283126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998139$EDCEE297-A1A5-4DD1-819C-FBF7278F8C5D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998139$282DD403-554B-483A-A5D4-5DE55283A3B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"afb98c4ec1048abba6e7f701413ea5fbc62888f9","datavalue":{"value":{"time":"+2007-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q998139$FB97E8D3-1E7A-48CF-BB61-ECAD3859F580","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"11d2510506e0e94c5d9766d04e27e832566750ff","datavalue":{"value":"The author begins by posing the question: Is the Vaught conjecture model theory? He then uses this question as a guide as he investigates imagined counterexamples to Vaught's conjecture (VC) and the number of models they have in power \\(\\aleph_1\\).   Using admissible set theory, Makkai proved that every counterexample to VC has an uncountable model that realizes only countably many \\(L_{\\omega_1,\\omega}\\)-types. Baldwin offers a model-theoretic proof of this result in which the L\u00f3pez-Escobar theorem replaces the use of admissible set theory. He then goes on to prove a new theorem: a first-order theory that is a counterexample to VC has \\(2^{\\aleph_1}\\) models of cardinality \\(\\aleph_1\\). Two ``hard'' theorems of Shelah make up its proof. The paper ends with a discussion of the possibility of extending this result to \\(L_{\\omega_1,\\omega}\\) under the hypothesis that \\(2^{\\aleph_0}< 2^{\\aleph_1}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q998139$EB912593-263C-4A1A-90A0-F0F579C5DB62","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49ac28ac151a8a9103bbae52e8a00e91b3069fd7","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998139$5785E571-2A26-4222-9236-FD36290EC016","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998139$AC34C7BC-9BB7-4333-B6DC-B34B6AAD9D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998139$B0111E38-43B0-42A0-8DD3-473F665F5980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998139$DFDDF66C-FF9B-4C9D-A9D6-09922DD05906","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2755b5b847e4c8f0b1296835b6c8ed559f13ac19","datavalue":{"value":"5178767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998139$56125E9B-3179-4D22-A158-339215D5D01F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb62defe466aed1915b57d77672c94bfee0b2250","datavalue":{"value":"Vaught's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q998139$064A86BA-5CCF-4B4A-A161-CBF8A1DF9E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce95b28a95528077a174c75b643a8f80cd4fab5e","datavalue":{"value":"infinitary languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q998139$7F7251B2-E4F9-41C2-BE23-A42D9A9AB1AD","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":"Q998139$E1467C71-F683-4A34-AC00-7878F53325DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc9c99137439102b87fb1720d12711d6cf2f5bbb","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1172787546","type":"string"},"datatype":"url"},"type":"statement","id":"Q998139$0A713833-9A61-4470-82DF-D0C43D5C12F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa766df658a460ce9fa65278162c9a7b328667b2","datavalue":{"value":"W1967385200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998139$025B0729-9782-4FE2-AA86-2BEA2987A596","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d9d70c56d9d51fb9de73c88db79160479d1684a6","datavalue":{"value":"Q123281017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998139$C3ED651C-BBC9-4C25-BD81-EEE047685EE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5b631a6798bbecf83f2b13c4a70d8b4bf6b06d6","datavalue":{"value":"10.1305/NDJFL/1172787546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998139$D914C92E-2503-4F20-B90C-C6AD4E2946A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32d67af42c15936101f5647080e659b09adc4266","datavalue":{"value":{"entity-type":"item","numeric-id":998137,"id":"Q998137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ee5ffc2a80d75b99e84d7166e67afc379e087df","datavalue":{"value":{"amount":"+0.8665563464164734","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":"Q998139$F3D65645-284D-43E1-A6EA-BE737B608098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d3a371dbf7515a993634366a5988fece7c3f348","datavalue":{"value":{"entity-type":"item","numeric-id":3722477,"id":"Q3722477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fc68ed27aed6f8bc17039eef293dc1acaa256b5","datavalue":{"value":{"amount":"+0.8529363870620728","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":"Q998139$519D7CB3-C839-4582-BF33-35A4114F39EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e61dc8277e69b0c86ad913c687c622d3b17a5d4","datavalue":{"value":{"entity-type":"item","numeric-id":2277250,"id":"Q2277250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6507791261025f882c08fcb5a80dd57fbe6ff4a5","datavalue":{"value":{"amount":"+0.8377897143363953","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":"Q998139$BC1192D4-92FA-463D-9156-41617CB4D101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8bf79e529af9a8c93d741a17ca156b7df066e30","datavalue":{"value":{"entity-type":"item","numeric-id":1070222,"id":"Q1070222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"778c14a26d8d7c7ee5c684b28c7a62f7f5fe2bfa","datavalue":{"value":{"amount":"+0.8374845385551453","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":"Q998139$D42EDFCD-73BC-415B-B3E1-4A3B070B2CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7e7a75e0381ef2ec43a947e106566b5dbf7921f","datavalue":{"value":{"entity-type":"item","numeric-id":1941142,"id":"Q1941142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d70621f6db2e291ec2c746972c536e2384a0d924","datavalue":{"value":{"amount":"+0.8245612382888794","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":"Q998139$D34A04BD-70A0-43F8-9B69-8F7A4AE34D43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Vaught conjecture: do uncountable models count?","badges":[]}}}}}