{"entities":{"Q2773244":{"pageid":2783982,"ns":120,"title":"Item:Q2773244","lastrevid":57995814,"modified":"2026-04-03T09:31:37Z","type":"item","id":"Q2773244","labels":{"en":{"language":"en","value":"Categoricity of theories in \\(L_{\\kappa^*,\\omega}\\), when \\(\\kappa^*\\) is a measurable cardinal. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1709832"}},"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":"Q2773244$F0AF8C48-3D37-4FAB-8AF3-704C10983F5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3046df1c5729860ae07c03c22e2663e8923cf182","datavalue":{"value":"0994.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773244$1E9B2D4C-22EE-48BB-A423-48ACF178610C","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":"Q2773244$C7ECB6FD-25C5-4814-BE78-EA47DEB31196","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2773244$B07A64D8-8E5F-45A2-8CF0-75BE3745D74F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f09bdbef578a377222c0ed9ff0b2d47d2ab3402","datavalue":{"value":{"time":"+2002-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2773244$72C3BD7D-50AD-4ADF-AFD4-468087E34A28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c288717f023f20b8cc50ac49e3bd95479e439d8","datavalue":{"value":"https://arxiv.org/abs/math/9604241","type":"string"},"datatype":"url"},"type":"statement","id":"Q2773244$2A82D9B4-98BA-4F15-97EC-FB6B74C0BDEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773244$B757EE21-3309-4BFB-93BD-3FC47330EC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773244$A0EC8F4C-02C0-473A-9137-2ED1EC77E2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2785a964739681e8231fee4de8f7d657fb50f4f","datavalue":{"value":"03C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773244$18DE97EB-D02C-4BA0-BDED-A404CFDD0A97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f55a325df111f1f2729fbe39b9b9ed2660be2ab","datavalue":{"value":"1709832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773244$635A0F79-52E8-41B8-8FD0-045E3F856351","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a36dbd2a1775192b1b649f15da273a78acce77","datavalue":{"value":"infinitary logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773244$B415B299-DB79-4C0E-ADDC-F3F46E594E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a601e03ced548944d0dd2fdce6d345531d4742","datavalue":{"value":"classification theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773244$E2C4CA6B-2EB1-46AB-B8EE-04DB11737589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3b417213f1366c965da801b8e017a31000b8ab","datavalue":{"value":"categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773244$665B17A6-6BC4-45B9-9211-C46AC75F3761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3122ffbbc5ed6f80b803a76e7d39cc0e13d29e6","datavalue":{"value":"\u0141o\u015b theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773244$21DDBC36-C966-4E7C-9C58-3913E85FBD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1d05e3b4848f1c5fc4abe6d3027ac7da7539cb8","datavalue":{"value":"measurable cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773244$4FF9C6D5-77DB-44B5-A42B-5EC3F87C92AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"589df642526ff7905495ae8fd29acdc0f770274e","datavalue":{"value":"limit ultrapower","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773244$C98E522F-4414-4C77-B093-A6265174A20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"174fbdbe4dca0a39b5b8d63dda3bddd360d01dfb","datavalue":{"value":"infinitary language \\(L_{\\kappa,\\omega}\\) with measurable \\(\\kappa\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773244$7AD662F4-F454-4D49-A43B-9B4D4C068F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a1f0da3b3a9ceea147f0137c46e4c4cdaa2bea","datavalue":{"value":"forking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773244$AA657CC7-44F7-456C-B321-CEFFBB92753F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3f4c88d51d59ea9e335b5f7be3d9e4292657f95","datavalue":{"value":"nonisomorphic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773244$3239BE8E-8C5E-438D-B2BF-AE93DDF85B8C","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":"Q2773244$E4BE793A-7570-4E42-9D8C-81FEAABB8427","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dab6150547a89c073232cd26d23118cfe6c75801","datavalue":{"value":"W2951193284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773244$8395C790-DA0C-4B88-86F3-D1BEC6F5CE0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0163d855db00556f6b6f4dc400a707f5a2c8c69c","datavalue":{"value":"10.4064/FM170-1-10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773244$623E753F-17C0-4BF8-8AFF-AA4438F53DD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b9c0cdba4e9e6f6dae6670241e8d51e0ba73b8e","datavalue":{"value":{"text":"Categoricity of theories in \\(L_{\\kappa^*,\\omega}\\), when \\(\\kappa^*\\) is a measurable cardinal. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2773244$CB71B665-2D9A-496E-A3BB-A79EE9826DA1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4e5d94f79253d37777d865a1d61c7cd4efd3fbeb","datavalue":{"value":"In this `Part II' [for Part I see \\textit{S. Shelah} and \\textit{O. Kolman}, ibid. 151, No. 3, 209-240 (1996; Zbl 0882.03039)], the author establishes the categoricity result of a theory in \\(L_{\\kappa,\\omega}\\), with measurable \\(\\kappa\\). (`Part I' was about the amalgamation property.) For this review, let \\(\\tau:= \\kappa+|T|\\), where \\(T\\) is the theory in question, and \\(\\nu:= \\beth_{(2^\\tau)^+}\\).NEWLINENEWLINENEWLINEThe theorem reads: If \\(T\\) is categorical at a successor cardinal \\(\\lambda> \\nu\\), then \\(T\\) is categorical at every \\(\\mu\\) between \\(\\nu\\) and \\(\\lambda\\), i.e. \\(\\nu\\leq \\mu<\\lambda\\).NEWLINENEWLINENEWLINEOf course, this is only a crude ``sub-head-line'' of ardurous work on the analysis of types, of forking, and of constructions of nonisomorphic models. The theorem itself is sharpened by considering \\(\\mu\\) outside of the above range.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773244$43B24DE3-B449-4406-9054-ACA1957FAD3A","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":"569a2954d0d95a2549b7eacf96c5142adbe72632","datavalue":{"value":{"amount":"+0.8769842982292175","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":"Q2773244$48A7751B-D647-404F-A5DA-605126F2CA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30cbb3b313aa63a6fe7c6e87059ad3db8197c87b","datavalue":{"value":{"entity-type":"item","numeric-id":4922658,"id":"Q4922658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c79739359dc0e6596dc6ffa3d1ad5ff49a957a75","datavalue":{"value":{"amount":"+0.8767945766448975","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":"Q2773244$94C46455-F1B5-416D-AD98-2B31FB9EA510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"683a509ea8abf0985378e2ea3cb1a4e344c31a48","datavalue":{"value":{"entity-type":"item","numeric-id":916644,"id":"Q916644"},"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":"Q2773244$64E7609E-37AD-462E-9CDC-7D24F9DAB945","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":"bda1a84bfd99cc141ca52851b74c3e49c10a892a","datavalue":{"value":{"amount":"+0.7587141394615173","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":"Q2773244$BA1237E2-6952-4CB1-9210-155E7F806FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8b36bed02cbe827cfdeb2634356aa955616208d","datavalue":{"value":{"entity-type":"item","numeric-id":1095888,"id":"Q1095888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d81fc33c0793418e496a9f5d0ff7a45136928934","datavalue":{"value":{"amount":"+0.7573715448379517","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":"Q2773244$3AF1B3BC-4B37-47A1-97AD-D9AF3B2EA520","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2773244","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2773244"}}}}}