{"entities":{"Q1908810":{"pageid":1919552,"ns":120,"title":"Item:Q1908810","lastrevid":69431790,"modified":"2026-04-13T06:57:46Z","type":"item","id":"Q1908810","labels":{"en":{"language":"en","value":"\\(1\\)-based theories -- the main gap for \\(a\\)-models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 851900"}},"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":"Q1908810$03B6B0BD-5984-4CB4-861F-7D722196BCA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0cb57cb0f2dbcb14e3c5306e182b7e68b89589d5","datavalue":{"value":{"text":"\\(1\\)-based theories -- the main gap for \\(a\\)-models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1908810$D1E98297-6DCD-48FF-A01F-19CEA5E8DC1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2963fbff534adbe36592991ea4d5ab2bb4aaf43d","datavalue":{"value":"0849.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908810$95F732B2-9BD1-481A-9265-61C83A6FA931","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"824231740ca0a4d8eabfc51e38ff349826d12a75","datavalue":{"value":{"entity-type":"item","numeric-id":372633,"id":"Q372633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908810$E53066BA-3C3A-4E33-B435-676CFD4248CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cd8d2903264ba36c56b2453e30dfe1c0918e364","datavalue":{"value":{"entity-type":"item","numeric-id":466084,"id":"Q466084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908810$73C7657D-DDBC-4E25-8974-3F74D2C99E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53795df750abe7c92a6f4dcfe26448110eca5d15","datavalue":{"value":{"entity-type":"item","numeric-id":372617,"id":"Q372617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908810$190758B4-58B2-4875-9E10-E4C6D998BF8D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908810$EEABCD66-436E-4354-BC09-0E6F5C1D538F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a8d1237d32ec5eadec6067ce7ffbf57e42f0929","datavalue":{"value":{"time":"+1996-11-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":"Q1908810$4FC84A7F-AA35-4C16-AD48-BE9838EC6088","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"94c05a216f4f43f27a44735de41204cf501a37b4","datavalue":{"value":"For a 1-based theory \\(T\\) with NDOP, any \\(a\\)-\\(k_p(T)\\)-saturated model is proved to be prime (in the category of \\(a\\)-\\(k_p(T)\\)-saturated models) over a non-forking tree of elements, where the tree height is at most \\(|T|^+\\) (usually called a structure theorem). For a shallow theory of this kind, the number of \\(a\\)-\\(k_p(T)\\)-saturated models of \\(T\\) of cardinality \\(\\aleph_a\\) is less than \\({\\mathcal J}_{(2^{|T|})^+} (|\\omega + \\alpha|)\\). Otherwise \\(T\\) has \\(2^\\lambda\\) of \\(a\\)-\\(k_p(T)\\)-saturated models of cardinality \\(\\lambda\\), for most \\(\\lambda\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908810$38D4EC0A-A92C-488D-9967-EA0A1FBF16CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908810$8BE530E6-F3BE-4C71-8870-5955AD62C919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908810$692FF444-5CC2-4F82-BA3E-F08B23680D65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c276cf68b92d7ceeae43de0fac992c7da5c8aca9","datavalue":{"value":"851900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908810$668C895D-030C-43B6-AB8D-1C02070EAEBE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a1f0da3b3a9ceea147f0137c46e4c4cdaa2bea","datavalue":{"value":"forking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908810$832A07ED-5522-476E-A2DD-0C1337D4D451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7ff83ccb3216558b5d7916dab7b40bc538cad19","datavalue":{"value":"deep theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908810$D6A1A8D3-E225-4E19-BFAD-0695151B396B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dc52107eae4f3a883bdb60996233b6da7c80365","datavalue":{"value":"orthogonality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908810$76A699AE-D4EB-47F2-90A0-D89CF3FAEFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34e2aea82bcbc1785116ba1a7fd2c55f61b952f1","datavalue":{"value":"prime model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908810$4309A6D4-3654-46D5-910C-1E2EE8A33FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dcc686482d70eae7146a2aaf2025feae23b1b27","datavalue":{"value":"saturated model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908810$90554D29-9FA6-47F6-AD09-B589187C8A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"104db5c777472f455e83baf604ed0de79e53c1e9","datavalue":{"value":"regular type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908810$72ABFA15-F28F-4E21-9772-E3900C98966E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b07aa2001252d86b58d6d2b5524e8fbb5f455d75","datavalue":{"value":"1-based theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908810$5973E042-A275-406A-9827-9B5DBEA8F6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38844db7d9d0a01be43e8d5bc4afccd5ab8820cd","datavalue":{"value":"NDOP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908810$69F46A80-1335-4760-88E6-59014806F6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe76a0b23ac4480777f95d561060e2ef2a85f269","datavalue":{"value":"shallow theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908810$5488BC73-76AC-4F6D-8311-193421701665","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":"Q1908810$B90B2394-153D-4B0D-B9F6-5272867271D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d5d7db6dfe21411608044a883de207d423a71f3","datavalue":{"value":{"entity-type":"item","numeric-id":788713,"id":"Q788713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7054ec4b5c1a3b26c29fc453c13e600eaeb7178e","datavalue":{"value":{"amount":"+0.7765839695930481","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":"Q1908810$F3AADDB5-95B4-43A7-B699-700BC195C871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2085fc9542fd2fb35d362ae6bd5a3b6db2878f59","datavalue":{"value":{"entity-type":"item","numeric-id":1190615,"id":"Q1190615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a57d1bf7cb56278a34b3642680139859d4415f51","datavalue":{"value":{"amount":"+0.7599710822105408","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":"Q1908810$73BA6C37-40F9-441D-A2E2-C3283B829E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc916255f613a0a222b2ee873c7d62dbcd85af4e","datavalue":{"value":{"entity-type":"item","numeric-id":1903589,"id":"Q1903589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ad9a184d21018dcc213c831d05d8e7bf1835e12","datavalue":{"value":{"amount":"+0.7473434805870056","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":"Q1908810$F075ACE4-9A1C-49F2-8C88-AD7CF29B0BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74060b39a8a3e3e47c791dcb1d06cce0cb8ed6dc","datavalue":{"value":{"entity-type":"item","numeric-id":1188601,"id":"Q1188601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dfa4c444f3c0d678a9279097296998b9d622524","datavalue":{"value":{"amount":"+0.7374345064163208","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":"Q1908810$F9C8BBEA-D2C2-4C04-8AA9-0B2C9CB3B1F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(1\\)-based theories -- the main gap for \\(a\\)-models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(1%5C)-based_theories_--_the_main_gap_for_%5C(a%5C)-models"}}}}}