{"entities":{"Q916644":{"pageid":918492,"ns":120,"title":"Item:Q916644","lastrevid":49395031,"modified":"2026-01-07T02:17:48Z","type":"item","id":"Q916644","labels":{"en":{"language":"en","value":"Categoricity of theories in \\(L_{\\kappa \\omega}\\), with \\(\\kappa\\) a compact cardinal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4154417"}},"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":"Q916644$916387D6-0403-4912-AE02-012F82DF0E00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"311164e03f7279ac02357b7935d989ae4a87f3a5","datavalue":{"value":{"text":"Categoricity of theories in \\(L_{\\kappa \\omega}\\), with \\(\\kappa\\) a compact cardinal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q916644$8B1556D4-39F8-43C1-A9A0-0C22512A0408","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0528e63a391956d1613fa0162a94f217d628c9d","datavalue":{"value":"0704.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916644$C073B167-C176-433C-912D-A85FB497BEB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13e4a47f694129822ab659706416be9499ea1b66","datavalue":{"value":"10.1016/0168-0072(90)90016-U","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916644$82579564-C1C1-400A-A317-50966317EA08","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":"Q916644$404135C8-86B7-47BB-80BC-DE28BE63AABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a65d0161e2b1499280c869048154b5d85ad8a69e","datavalue":{"value":{"entity-type":"item","numeric-id":175558,"id":"Q175558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916644$BBE20849-E015-41AD-A556-CC9D56F2F660","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":"Q916644$5F665180-512C-48DB-8294-4C1B6CB3C9DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q916644$A04EE360-55CF-404F-8877-F4C94D777B3D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2b22284f8d702bd4d368775e6f6f3ce1d3b08952","datavalue":{"value":"In this paper the authors generalize the classical Morley categoricity theorem to a particular kind of infinitary languages, \\(L_{\\kappa \\omega}\\) with \\(\\kappa\\) a compact cardinal. One of the main results of the paper is the following Theorem: Let \\(\\kappa\\) be an uncountable strongly compact cardinal, \\(T\\) a theory in a fragment \\(F\\) of \\(L_{\\kappa \\omega}\\) and \\(\\kappa '=\\max (\\kappa,| F|)\\). Let \\(\\lambda\\) be a successor cardinal with \\(\\lambda >((\\kappa ')^{<\\kappa})^+\\). If \\(T\\) is categorical in \\(\\lambda\\) then \\(T\\) is categorical in every cardinal greater or equal to \\(\\min (\\lambda,\\beth_{(2^{\\kappa '})^+})\\).   This paper should be seen as part of the program of classification theory. In Section 1 the necessary preliminaries are given, amalgamation and joint embedding property are investigated. In Section 2 types are studied under the assumption of amalgamation and joint embedding property. In Section 3 the authors deal with order indiscernibles and introduce the Skolem hull. In Section 4 an extension of an elementary part of stability is given. A suitable notion of non-forking over models is developed and used to obtain the categoricity result. Section 5 gives a summary. An appendix contains set-theoretic material used in Section 1. It gives the necessary background concerning modified square-systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q916644$D9DBE654-0B99-4330-89A8-AAA1659AA2B9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"72d629dee104d470ea1a2d2922a2117edf0da3ae","datavalue":{"value":{"entity-type":"item","numeric-id":587432,"id":"Q587432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916644$3EE09FCB-4AF9-41CF-BFD2-3521B8D351B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916644$55447421-B7F8-4038-85A0-AE4F80625194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916644$95832E73-90D2-45F0-93CB-E723D0BA9674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916644$AD596F58-97FF-47EA-BCB9-CA921955DB6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d202b54804d177f9aee21c0ae58f5216dafdb23","datavalue":{"value":"4154417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916644$82FF8CC0-3FCE-471C-924E-F025C92B18B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3b417213f1366c965da801b8e017a31000b8ab","datavalue":{"value":"categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q916644$526AD3F5-6ED6-4715-AD92-D9BE5F2BE0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce95b28a95528077a174c75b643a8f80cd4fab5e","datavalue":{"value":"infinitary languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q916644$B7A69B7C-F2FB-4A65-8D1F-2CEE07DEF3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f96ae76f54d1139e49b3289341510e39c89acfb7","datavalue":{"value":"compact cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q916644$6F8148B6-10F3-4DEC-9EF1-B2D58B7ADA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a601e03ced548944d0dd2fdce6d345531d4742","datavalue":{"value":"classification theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q916644$B256304E-8CD4-40F2-82DE-03E16292005C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"432652e04fe08e5ccce183afcb0500983354a3c6","datavalue":{"value":"order indiscernibles","type":"string"},"datatype":"string"},"type":"statement","id":"Q916644$1D0F6611-4D79-4867-AA75-0B94B494C07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68892819bdb20d1f1a6c8b4b6ae2280bb134a31c","datavalue":{"value":"Skolem hull","type":"string"},"datatype":"string"},"type":"statement","id":"Q916644$34A0980F-7A42-46C7-A482-561D1F9FC570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c320da311778615ba0cbcbd76a5d4c3cc61973f3","datavalue":{"value":"non-forking over models","type":"string"},"datatype":"string"},"type":"statement","id":"Q916644$92090927-1CFA-45E8-8BFB-46FD541D858B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5d015ebf4f079792b202c693b5f58af1927a046","datavalue":{"value":"modified square-systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q916644$B80A3992-1CB4-4D94-96B1-8797F9E9F86A","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":"Q916644$ED6852C6-CA48-49EA-97B1-38058BF2B936","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916644$B07202D7-F9AD-46CC-8868-456702415936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22cf81cdb8d0c75b884815a320b4be63e72a937c","datavalue":{"value":{"entity-type":"item","numeric-id":1224571,"id":"Q1224571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916644$B944675B-7917-4272-B6E6-D7EECE8AA19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25d0aefaeeeb7ed27edff98f8ae0b72602e4605d","datavalue":{"value":{"entity-type":"item","numeric-id":1255946,"id":"Q1255946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916644$20550486-B0B8-4D1B-AAD0-D3015B70FCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916644$9FA9A23A-9704-4CC8-83F4-14AD6F6EEEBC","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":"Q916644$9E6BE3BF-1561-4C0F-921E-D9FAD3A2580A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01e2ffc1c93aaed1a818294aea2644d622de3c6","datavalue":{"value":{"entity-type":"item","numeric-id":5529481,"id":"Q5529481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916644$6FD90748-66CA-4135-8775-0DD08173AF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52f04653d17e284960141ec53f4232d2645cd0a6","datavalue":{"value":{"entity-type":"item","numeric-id":5554949,"id":"Q5554949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916644$0C042346-E931-4FBF-853F-CE092999DCA7","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":"Q916644$A79E37C4-A84B-48FD-BFC0-A10060E333C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390883ad78a33fcf623e26f354177bcba16ae9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1250098,"id":"Q1250098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916644$914A62A4-28AC-4933-84A9-98441F80FF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6c36a6c34e0bf81cf659995b5896e6dc0373203","datavalue":{"value":{"entity-type":"item","numeric-id":800911,"id":"Q800911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916644$42AD0695-7023-4C00-9F2A-C37F73DB3C4A","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":"Q916644$22108842-AE0F-41F2-B7DD-2A56E88D7E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eaf251446f1affa8083554c5ff954004ed26a9b","datavalue":{"value":{"entity-type":"item","numeric-id":3895456,"id":"Q3895456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916644$B7C7C169-4A2A-4D97-B50B-2D967670FB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdd537d7c79629a306b1c31a7edd488677c2371b","datavalue":{"value":{"entity-type":"item","numeric-id":1088651,"id":"Q1088651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916644$565A006C-AD5F-48D3-BEE4-B84E2B8B7B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a31ec2c1b062ddb63399a267cda2482e94ba18","datavalue":{"value":{"entity-type":"item","numeric-id":3778001,"id":"Q3778001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916644$09F4E500-A51D-4C75-9BF1-FA729F3DADBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e94578bc09f15fc9565825cc3765e93aa0ccf4ff","datavalue":{"value":{"entity-type":"item","numeric-id":4078034,"id":"Q4078034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916644$A066D558-272E-49DB-BE75-BF392C128894","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c1373bf936d043fa6059acae52058dc792715f","datavalue":{"value":{"entity-type":"item","numeric-id":4344958,"id":"Q4344958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d7024f2f097626e8524e42015c3e3bee22372f7","datavalue":{"value":{"amount":"+0.8509664535522461","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":"Q916644$648F1F6E-89D4-40D5-A5ED-C84E60C7F17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d4c550d4933e65e7d12dd8ace0d0268884d1a43","datavalue":{"value":{"entity-type":"item","numeric-id":5957365,"id":"Q5957365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60811dee990e7e19a60be4918eb013b81872c049","datavalue":{"value":{"amount":"+0.8507241606712341","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":"Q916644$C6773757-8B1E-4C75-B1CA-4C876E4DCC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3ad13cfd421790f325a631c8bdebefdda5d966b","datavalue":{"value":{"entity-type":"item","numeric-id":2773244,"id":"Q2773244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63e1c6f82788b0c36fe67a433f4ebba88c28f1ec","datavalue":{"value":{"amount":"+0.8235061168670654","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":"Q916644$79F2AC84-7BBC-4582-A88E-5058D3155132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c2412e2abe42e02be0b67f0cdca439f679c6f50","datavalue":{"value":{"entity-type":"item","numeric-id":5718680,"id":"Q5718680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84c5738e614a291d3c93e35cd7e55c3667128973","datavalue":{"value":{"amount":"+0.822697639465332","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":"Q916644$9265FF95-8364-4F4E-859F-87937A151340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc37c91d2c8cfd8e9e53150349bcbafa16418dcb","datavalue":{"value":{"entity-type":"item","numeric-id":757348,"id":"Q757348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1695bda868bbf9cbb4acbc977dc58a60962a346","datavalue":{"value":{"amount":"+0.7886771559715271","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":"Q916644$E9AF2CC3-AC58-4A3D-9A19-35C5D5FD102C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:916644","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:916644"}}}}}