{"entities":{"Q2884111":{"pageid":2894836,"ns":120,"title":"Item:Q2884111","lastrevid":58048287,"modified":"2026-04-03T14:37:59Z","type":"item","id":"Q2884111","labels":{"en":{"language":"en","value":"When a first order \\(T\\) has limit models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6038258"}},"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":"Q2884111$3537FF4E-13A2-4428-8998-A8C83CAC707C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"983f2be2ffd467607165b791beae7e0a092bc09f","datavalue":{"value":"1260.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884111$930D3C16-18DB-4254-9582-4A2257B6C89C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884111$B7B6F79A-E203-40D0-863F-81273C91E743","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"598fdc84b270f74350f9392fd164ea87813ca117","datavalue":{"value":{"entity-type":"item","numeric-id":2717686,"id":"Q2717686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884111$B16F2526-65E4-411D-9DF2-2EFC06F1A819","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dd357d987d60d499edfc98e682fe931160623b6","datavalue":{"value":{"time":"+2012-05-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":"Q2884111$BD79DED8-861B-44F9-A659-8453F8A0B3FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ffb7e3ec8e36164d91fc093f546912b32d8a051","datavalue":{"value":"https://arxiv.org/abs/math/0603651","type":"string"},"datatype":"url"},"type":"statement","id":"Q2884111$9ED3CF17-2577-4057-9086-1B2D262D63F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884111$DF69730D-8411-405E-978A-EB668C4FA172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884111$51F40DB2-64DA-486E-9932-85E574152B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884111$98AE69AE-505C-4006-A64D-6C7FD3BFF338","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccb378fa050d84bea97f5673e21d6734ded9aed8","datavalue":{"value":"6038258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884111$A9C9BD51-CCA7-4952-94FE-841AEE8D5AAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263805638d1e63a79a3c591e1ad14e8148fe9595","datavalue":{"value":"first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884111$8C0175DA-1837-4EA2-A70A-C0821FC1B507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcfc107f3fa8aada2f75b5171b799455856e5882","datavalue":{"value":"limit model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884111$55B456C9-3113-45E7-BAF7-766EF05A3F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"506738df646487df5b9fab5c1a33c5b165a248f1","datavalue":{"value":"superlimit model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884111$BB1E134F-010D-41F7-A9C6-B1A87455661E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f352f2369a52958b19c72b85640cadea70ea031","datavalue":{"value":"superstable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884111$47245440-B6A7-4540-954C-43D990402360","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":"Q2884111$8E3FEDD4-0CE7-456B-974E-C8C4E2EBC429","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f181dd35e366920ef8fa26e5d55a8ef8b5c3674","datavalue":{"value":"W2963681317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884111$DDC1EC22-4BD5-4800-B2E4-4346F1BED0D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ea3106c81d51908447799e376fefed49461b01b","datavalue":{"value":"10.4064/CM126-2-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884111$147D37F5-377C-4AC3-9A11-98EB9FEB0402","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18004ba71ea5127b1964d596d91cca3f237f77be","datavalue":{"value":{"entity-type":"item","numeric-id":482659,"id":"Q482659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1e223d8b7915312fdb539b983322b2132ece40d","datavalue":{"value":{"amount":"+0.8354003","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":"Q2884111$4B4CEA9E-29D5-44DD-8185-52F8E61E0166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36cec04d5acdb44e2f61c8c7a6f429a4fa550732","datavalue":{"value":{"entity-type":"item","numeric-id":896082,"id":"Q896082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adcd1e00952ba3816b4bbb3dc2ccd6316fa33796","datavalue":{"value":{"amount":"+0.8095449","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":"Q2884111$8BEDD8DE-5E6A-49E9-8F2B-9B2B88FE693A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d169212db50469e25942decb3f9188db1cbc552","datavalue":{"value":{"entity-type":"item","numeric-id":5444035,"id":"Q5444035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1940ab18db210c3240ea4c457d79809fc15bfd37","datavalue":{"value":{"amount":"+0.76990086","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":"Q2884111$4D5AD384-EFD2-477B-AD80-1C8D103FB1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20e086cc735319c1693a4bcc75d3a336d827afd","datavalue":{"value":{"entity-type":"item","numeric-id":813079,"id":"Q813079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d657adee21ac87f74e2aa2066c6bf9ebdb2810fa","datavalue":{"value":{"amount":"+0.7696164","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":"Q2884111$25680C2B-06AA-40C9-A312-69B10883FD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bed53dcec5bfa88fb348953369fa7785118f8da","datavalue":{"value":{"entity-type":"item","numeric-id":3211650,"id":"Q3211650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d71ac5c640ff788a62db179dad2b1cfd8a87d8d","datavalue":{"value":{"amount":"+0.7640847","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":"Q2884111$80EFB9F2-2A06-4547-BAA7-F9AE42080FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"463b782942974906871925c13d16e58891b78619","datavalue":{"value":{"entity-type":"item","numeric-id":4008844,"id":"Q4008844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99a7865ead3a5e9cc1077ee8cf51e97aa3762e49","datavalue":{"value":{"amount":"+0.76280415","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":"Q2884111$BD251432-4749-4DB8-9F82-8EDAFB6EE018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aac389cffdb378b8e502d2444add659735cadc8","datavalue":{"value":{"entity-type":"item","numeric-id":4359310,"id":"Q4359310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78da8dba6b4cca7a9d3c6a43f35a56f7392cc138","datavalue":{"value":{"amount":"+0.762435","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":"Q2884111$77D25033-E936-4154-88B8-69E50808C87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e7ae6d5188806b5c9810d784fffb466bc338b13","datavalue":{"value":{"entity-type":"item","numeric-id":6075561,"id":"Q6075561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"458635c302da9b5648445b91ef5a18f3f6497326","datavalue":{"value":{"amount":"+0.75933385","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":"Q2884111$73E918C0-4CD1-4E5F-BC20-6E2780E7C4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d274c641034bb36811e31b725c715a5bdf326bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3674876,"id":"Q3674876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6747b2a9804968fa1b8b0be64457db115196a28e","datavalue":{"value":{"amount":"+0.7590009","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":"Q2884111$844AD593-BBB8-483D-BB7B-34D0F47DA3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e307ceb4dbfe97ab0d26e91d19d37017ebd79dd","datavalue":{"value":{"entity-type":"item","numeric-id":1769688,"id":"Q1769688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a308b024689cc4fdf9970e070bb4b1a9f2ea4004","datavalue":{"value":{"amount":"+0.7556696","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":"Q2884111$6FD9A839-8F1C-4AA0-961F-27068621698E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6433cd34d2598df34d99642a2ae931480ef1b4b8","datavalue":{"value":{"text":"When a first order \\(T\\) has limit models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2884111$4CE5F79A-7897-45AD-A0FC-ED87D4CA3F3A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9066241d26ab872ff0d3f6a80c07af01e4b3b6b3","datavalue":{"value":"A structure \\(M\\) of cardinality \\(\\lambda\\) is a \\textit{superlimit}, or \\textit{\\(\\lambda\\)-superlimit}, if it is universal and for every limit ordinal \\(\\delta<\\lambda^+\\) and continuous elementary chain \\((M_i:i\\leq\\delta)\\), if \\(M_i\\) is isomorphic to \\(M\\) for all \\(i<\\delta\\), then \\(M_\\delta\\) is isomorphic to \\(M\\). This notion first occurred in the study of abstract elementary classes, but is meaningful even in the first-order context. If Th\\((M)\\) is superstable, then \\(\\lambda\\)-superlimits exist iff saturated models of cardinality \\(\\lambda\\) exist. The author exhibits a superstable complete first-order theory \\(T\\) such that it is consistent with ZFC that \\(\\aleph_1<2^{\\aleph_0}\\) and \\(T\\) has an \\(\\aleph_1\\)-superlimit. He also considers a properly stable variant of \\(T\\) which has a non-saturated model of cardinality \\(\\aleph_1\\) which is similar to being a superlimit (in fact, the author considers eight families of variants of superlimiticity.NEWLINENEWLINEFinally, the author shows that an unstable theory has no \\(\\lambda\\)-superlimit for \\(\\lambda>\\aleph_1+| T|\\). A similar result holds for a properly stable theory, except possibly for cardinals \\(\\lambda<\\min\\{\\lambda^{\\aleph_0},\\beth_\\omega\\}\\).NEWLINENEWLINEAs usual, on would wish the author gave explanations rather than annotations, and tried to limit the use of symbols.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884111$31802074-E33C-4A3E-A7B1-5953B5923017","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2884111","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2884111"}}}}}