{"entities":{"Q482659":{"pageid":484426,"ns":120,"title":"Item:Q482659","lastrevid":57367134,"modified":"2026-03-30T16:51:31Z","type":"item","id":"Q482659","labels":{"en":{"language":"en","value":"Dependent \\(T\\) and existence of limit models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6383516"}},"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":"Q482659$D1224DF7-C78C-4D12-AB21-052D463D2480","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab277ea97305e44d24a187186882a2ef886cb871","datavalue":{"value":{"text":"Dependent \\(T\\) and existence of limit models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q482659$84F1F9F0-DD12-45D4-A943-0762E4E314BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d92bf6adde87754437b44255c80f411ab53a2426","datavalue":{"value":"1335.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q482659$C770D678-D873-49DD-8096-A1D7F562731C","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":"Q482659$273BA668-BBC4-4885-85CD-8542CB241089","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0b20184a6fff1652901d0ca49b1ea674e3d21708","datavalue":{"value":{"entity-type":"item","numeric-id":250605,"id":"Q250605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482659$960AE309-1692-4877-A3A5-52D663C05A1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39d11daed231ddc9c09fdaf1d1bb16c5de77d47a","datavalue":{"value":{"time":"+2015-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q482659$3E78EFFB-6550-466A-A7C4-EE940361CE37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"704bb39268163f2ff0d3f61180c47fed6ece8cba","datavalue":{"value":"https://arxiv.org/abs/math/0609636","type":"string"},"datatype":"url"},"type":"statement","id":"Q482659$C679EFDE-0E8B-415A-BE59-C64DBC836EB2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"297926cb88530e72bc8b4e63b7e03f0a05741399","datavalue":{"value":"It is well-known that saturated models of a complete first-order theory are unique up to isomorphism given their cardinality. The author generalized this to abstract elementary classes, considering the so-called \\((\\lambda,\\kappa)\\) limit models for pairs of cardinals \\(\\kappa<\\lambda\\). In this paper, he studies the question when such models exist in a complete first-order theory.  Recall that a universal model \\(M\\models T\\) of cardinality \\(\\lambda\\) is a \\textit{\\((\\lambda,\\kappa)\\) superlimit} model if for all ordinals \\(\\delta<\\lambda^+\\) of cofinality \\(\\kappa\\) and for all \\(\\prec\\)-continuous increasing sequences \\((M_i:i\\leq\\delta)\\) with \\(M_i\\cong M\\) for all \\(i<\\delta\\), one has \\(M_\\delta\\cong M\\). More generally, if there is a function \\(F\\) from the collection of models of \\(T\\) of cardinality \\(\\lambda\\) to itself satisfying \\(N\\prec F(N)\\) for all \\(N\\), such that {\\parindent=6mm \\begin{itemize} \\item[(a)] for all ordinals \\(\\delta<\\lambda^+\\) of cofinality \\(\\kappa\\) and all \\(\\prec\\)-continuous increasing sequences \\((M_i:i\\leq\\delta)\\) with \\(F(M_{i+1})\\prec M_{i+2}\\) for all \\(i<\\delta\\) one has \\(M\\cong\\bigcup_{i<\\delta}M_i\\), then \\(M\\) is a \\textit{\\((\\lambda,\\kappa)\\) strong limit}; \\item [(b)] for all \\(\\prec\\)-continuous increasing sequences \\((M_i:i<\\lambda^+)\\) with \\(F(M_{i+1})\\prec M_{i+2}\\) for all \\(i<\\lambda^+\\) there is a closed unbounded subset \\(C\\subseteq\\lambda^+\\) such that \\(M\\cong M_\\delta\\) for all \\(\\delta\\in C\\) of cofinality \\(\\kappa\\), then \\(M\\) is a \\textit{\\((\\lambda,\\kappa)\\) normal limit}.   \\end{itemize}} If \\(F\\) takes \\(\\prec\\)-increasing continuous sequences as argument, and we replace the condition \\(M_{i+1}\\prec F(M_{i+1})\\prec M_{i+2}\\) by \\(M_{i+1}\\prec F(M_j:j\\leq i+1)\\prec M_{i+2}\\), we obtain the notion of \\textit{\\((\\lambda,\\kappa)\\) medium limit} from (a) and \\textit{\\((\\lambda,\\kappa)\\) weak limit} from (b). If we replace \\(M_{i+1}\\prec F(M_{i+1})\\prec M_{i+2}\\) by \\(M_{i+1}\\prec N\\prec M_{i+2}\\) for some \\(N\\equiv_{M_{i+1}}F(M_{i+1})\\) (and similarly for sequences), we obtain the notions of \\textit{\\((\\lambda,\\kappa)\\) invariantly strong/normal/medium/weak limit}. Clearly, superlimit implies strong limit, which implies both medium and normal limit, either of which implies weak limit. There are also variants \\textit{limit\\(^+\\)}, \\textit{limit\\(^-\\)}, and for replacing the set of ordinals of cofinality \\(\\kappa\\) by some arbitrary stationary subset of \\(\\lambda^+\\), but this would go beyond the limits of this review.  The author shows that {\\parindent=6mm \\begin{itemize} \\item[(1)] The theory of dense linear orders has \\((\\lambda,\\kappa)\\) invariantly medium limits, but no \\((\\lambda,\\kappa)\\) superlimit. \\item [(2)] Strongly independent theories have no \\((\\lambda,\\kappa)\\) invariantly medium limit; independent theories have no \\((\\lambda,\\kappa)\\) medium limit.   \\end{itemize}} He conjectures that dependent theories have \\((\\lambda,\\kappa)\\) invariantly medium limits.","type":"string"},"datatype":"string"},"type":"statement","id":"Q482659$4480A7A6-06FD-4A11-9A97-C398B876E073","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q482659$3299FFC9-621D-4B92-9AF6-CAB6AAAEF671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q482659$79B4162E-7058-4715-90BA-743B0D77312F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24363e421bb7b6dfa7fe7a9b1ee54d8da8a06bf1","datavalue":{"value":"06A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q482659$721B664B-693F-4B34-809D-446378E697A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b2b2c8f2c06d0afe6b7417a3f2afe89d0ea512c","datavalue":{"value":"6383516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q482659$87810667-5A8D-483C-BBA9-8E987FE1EA32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcfc107f3fa8aada2f75b5171b799455856e5882","datavalue":{"value":"limit model","type":"string"},"datatype":"string"},"type":"statement","id":"Q482659$AE137E5E-27D5-49F8-9C4F-1A2DD64BB0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f393842e4bab743075839d648a361e4843e310d2","datavalue":{"value":"dense linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q482659$C62B9DB5-616A-4CAC-B523-5DC52A7C1BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffbb1dc244615486c6986d36062b7d6af34fb6f1","datavalue":{"value":"strong dependence","type":"string"},"datatype":"string"},"type":"statement","id":"Q482659$2CC932B8-8313-4FF8-9B60-2E16614DD471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f11623e8bdd574efe0f1231b6fc5a6ec4e26cba","datavalue":{"value":"dependence","type":"string"},"datatype":"string"},"type":"statement","id":"Q482659$7D5FC3F0-00CB-46BF-8A7D-05E168DEFFC0","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":"Q482659$374D1ED8-C21D-4032-87D2-D672B5F2208D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5fc64579c711cda4880c5f67c35f9463a91673d","datavalue":{"value":"W1635850309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q482659$E2DEEAF1-AB17-4450-B2AC-C465CAB9208B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f333e78f9087325ea38f45f309c26c544040cbb7","datavalue":{"value":{"entity-type":"item","numeric-id":5511984,"id":"Q5511984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482659$898C92DC-B2DB-46F5-B58D-46E8560DA2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482659$34D9D34C-9BE1-4B3A-80FE-DF54D22C77E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ea70696f7bf390ae8163d05ecdeddc1e2ab7fcd","datavalue":{"value":{"entity-type":"item","numeric-id":3242211,"id":"Q3242211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482659$C100D94F-05DA-4F75-B8CC-B4E4888D29F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33797ecab46f01d24d65f8ebc9e630803e09eee","datavalue":{"value":{"entity-type":"item","numeric-id":5559227,"id":"Q5559227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482659$248680C9-4394-42BF-A7C7-BB411A9C1A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc2dd2242cd8338cbdf122e9cbf34f6156ca8a1c","datavalue":{"value":{"entity-type":"item","numeric-id":4032868,"id":"Q4032868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482659$AF26EDDA-06F7-437B-8643-71D39A6E13A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ecbabc63ba67e4a76c7039ab8e9fb4c0a085d75","datavalue":{"value":{"entity-type":"item","numeric-id":816289,"id":"Q816289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482659$32A17CB1-EC07-48FD-A091-30A0BD7D96C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36098492b6ecee545076174685f711fa91f90dd1","datavalue":{"value":{"entity-type":"item","numeric-id":3848966,"id":"Q3848966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482659$37E4BDA1-E5EF-4330-9942-9B4846366050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"616430cdd3de1e53cd754b9e6d4c801112b8908c","datavalue":{"value":{"entity-type":"item","numeric-id":3586891,"id":"Q3586891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482659$29A17DD4-FE00-4EB2-994F-C644CFA25775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b42fbc5d00cf937acff847795b1ee4a17181186","datavalue":{"value":{"entity-type":"item","numeric-id":4804133,"id":"Q4804133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482659$58EAE986-D333-428F-B8BC-9A01178C5ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0daed4f3909fed17b5577c8576d7dbea1d6f9ae1","datavalue":{"value":{"entity-type":"item","numeric-id":5496352,"id":"Q5496352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482659$E208C465-6522-4061-83C0-ABD341D73FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ca4e17783bf4393d569286524b3541ccb3dcd4","datavalue":{"value":{"entity-type":"item","numeric-id":2884111,"id":"Q2884111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482659$60DF20AA-C719-4561-8368-2FC3E5BFC804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d070651218e9680b39ddf82ecd706f74ff778b6","datavalue":{"value":{"entity-type":"item","numeric-id":3897044,"id":"Q3897044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482659$C165F970-F569-4E2F-8826-AA6301CAC4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7d4a799934141da7c29f01edc10e0b00564a284","datavalue":{"value":{"entity-type":"item","numeric-id":3781082,"id":"Q3781082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482659$8F4FDC77-FDE6-4976-A914-C55EA5C8076A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0376df3f9b072633ed90667970c04b9642439a8c","datavalue":{"value":{"entity-type":"item","numeric-id":1188601,"id":"Q1188601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482659$A78D9DA5-E722-48A2-8292-F3EDDE05F988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"346c74a322fd563368828553a35521220cff4452","datavalue":{"value":{"entity-type":"item","numeric-id":2655752,"id":"Q2655752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482659$DF9681E6-7868-4A82-A92F-AFC21CE4200E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20740102248a014cb2f69e897a22131a40f6b810","datavalue":{"value":{"entity-type":"item","numeric-id":3093872,"id":"Q3093872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482659$85EBACFB-F4A9-4398-BBEE-7AEC323FC786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f887bc269b630a0e3cabe7af3b44757cde27f72f","datavalue":{"value":{"entity-type":"item","numeric-id":2630870,"id":"Q2630870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482659$DB0BA292-14AA-46C7-B752-583292D83190","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab94cf57efe09f06826bb905a18b3ff7e25198ea","datavalue":{"value":"10.2478/TMJ-2014-0010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q482659$20D8602D-85E3-45EA-882D-35FCFC2F8988","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85ee8ee688337f5c657f9f644943c883ce61d8e1","datavalue":{"value":{"entity-type":"item","numeric-id":2884111,"id":"Q2884111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0689c06eb53257b99943126acda637007649bf81","datavalue":{"value":{"amount":"+0.8108898997306824","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":"Q482659$99BC1A59-85CD-4BCA-9066-E471773DEB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80a5c5e2252499f719821a3cb2aa414ed36b6c7a","datavalue":{"value":{"entity-type":"item","numeric-id":3093872,"id":"Q3093872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31391231dfbbff4d1061af45d4652097f2d61247","datavalue":{"value":{"amount":"+0.7794175148010254","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":"Q482659$F6326711-1564-4577-8C14-38ED6CDE798B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3ef80f7010658c630fc7b15822ddf0f4bf6be18","datavalue":{"value":{"entity-type":"item","numeric-id":278558,"id":"Q278558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"899d3ace5be5fe8d7ad65da0acf143a81d7f459d","datavalue":{"value":{"amount":"+0.77273029088974","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":"Q482659$407491E0-2364-4FD0-AE9F-C45174D5294A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7614e845766d587632b61e4d51d5372c2cea444f","datavalue":{"value":{"entity-type":"item","numeric-id":2827948,"id":"Q2827948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d29d5fa6023b4a57978030b0f464ec42f0f2b4ce","datavalue":{"value":{"amount":"+0.7604852914810181","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":"Q482659$C98F4DA6-78FE-41C8-8EB7-2809355E33D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2bc56fbb7e6df814fc89b2a52d60c2d106e6f4d","datavalue":{"value":{"entity-type":"item","numeric-id":2655752,"id":"Q2655752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc9896daeff12d6876c80c5822ba17e2cf4c880f","datavalue":{"value":{"amount":"+0.7558658719062805","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":"Q482659$68B3AC7D-2E49-41EB-A58A-C744C9387FE7","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6e2260e47a2889770c9d5516a7c5ae827b188d2b","datavalue":{"value":{"entity-type":"item","numeric-id":6830563,"id":"Q6830563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q482659$30A132D3-FE58-4FD3-96AA-3E4E7AAE614F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:482659","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:482659"}}}}}