{"entities":{"Q800911":{"pageid":802759,"ns":120,"title":"Item:Q800911","lastrevid":48757090,"modified":"2026-01-05T19:21:49Z","type":"item","id":"Q800911","labels":{"en":{"language":"en","value":"Classification theory for non-elementary classes. I: The number of uncountable models of \\(\\psi \\in L_{\\omega _ 1,\\omega}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3878903"}},"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":"Q800911$628D64BD-7265-449D-BB16-F625972A08E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd2b969e9a33bdaecc04f699b192726045a7ca9a","datavalue":{"value":{"text":"Classification theory for non-elementary classes. I: The number of uncountable models of \\(\\psi \\in L_{\\omega _ 1,\\omega}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800911$2BF0D75B-C5C6-41E1-962D-DE8FA5C10A7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb3f505733d889e4353ea429c2e4b300f700b651","datavalue":{"value":"0552.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800911$5F53EA47-06EE-44B9-893B-16BF87DC1A9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"180a255905073028df9f4c8be68ad4566a0f1163","datavalue":{"value":"10.1007/BF02761954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800911$98B3032A-5950-4C11-8F60-EF20194B6AF2","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":"Q800911$615B8ADF-7956-49FE-9C36-4AE54717BDEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800911$DE24BB5F-7272-460B-9263-ED5DD7B7F9D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q800911$338425AA-7557-45E9-B289-26329DD250BC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c87a368f5c2a2b81a133a17a8c1845b3dec8b178","datavalue":{"value":"The paper is related to the following problem due to Baldwin: Can a sentence of the language L(Q) have exactly one uncountable model? The author continues his investigation from one of his previous papers [Isr. J. Math. 20, 127-148 (1975; Zbl 0324.02038)] in the context of \\(L_{\\omega_ 1,\\omega}\\). Assuming that \\(2^{\\aleph_ n}<2^{\\aleph_{n+1}}\\) holds for every \\(n<\\omega\\), the main theorem states that every sentence in \\(L_{\\omega_ 1,\\omega}\\) has many non- isomorphic models of size \\(\\aleph_ n\\) for some \\(n<\\omega\\) or has models in all infinite cardinalities. It follows from the theorem that every sentence in \\(L_{\\omega_ 1,\\omega}\\) has at least \\(2^{\\aleph_ 1}\\) non-isomorphic uncountable models.    The central idea of the paper is to transfer properties of models of cardinality \\(\\aleph_ n\\) to countable models and then back from countable models to models of higher cardinalities. To this end, the author introduces the concepts of n-dimensional diagrams, good sets and generalized amalgamation which culminate in the concept of excellent classes - the cutting edge for classification of atomic models of some countable theories. Excellent classes are parallel to totally transcendental theories, they have models in all infinite cardinalities, satisfy the amalgamation property and \u0141os conjecture. A non-structure theorem is proved for non-excellent classes stating that they have many non-isomorphic models in some \\(\\aleph_ m\\) if they have an uncountable model and if \\(2^{\\aleph_ n}<2^{\\aleph_{n+1}}\\) holds for an appropriate n.","type":"string"},"datatype":"string"},"type":"statement","id":"Q800911$38CD172A-05BA-4BEC-9871-2CC6E2ECD2E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800911$2E3A674F-F235-4C6F-8028-2EA0CD6B3398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800911$F8FA05CA-985E-4539-B2DC-DAAE3183FCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"188b6c199125847212533426dfbb43082ee9bc77","datavalue":{"value":"03C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800911$EE2E7436-D4F5-49B6-B964-E02719FF654F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cce9d8d95bfe9669346b271abbf4fe08a4317420","datavalue":{"value":"3878903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800911$49417D70-AA89-4845-88F1-3B118C8995A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce95b28a95528077a174c75b643a8f80cd4fab5e","datavalue":{"value":"infinitary languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q800911$6C705E0C-464C-419F-B27B-F7961EB1EB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a384b82ccc8ddba860813de332cc8795ae61f70e","datavalue":{"value":"non-elementary classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q800911$29019687-046B-4174-929B-48A83F5B4A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57ed7073901f2f7d8c4f91151817f094b3fdb912","datavalue":{"value":"number of models","type":"string"},"datatype":"string"},"type":"statement","id":"Q800911$EB31C233-D76F-42B2-B5E0-83FB254F6E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ce663b05beeab77a68fc7e0cc4604ebe880913c","datavalue":{"value":"uncountable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q800911$549C5E8F-85C3-4869-B227-716ED6B20A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2da9c20ba265ab681ed65b2a65be0831b5dab73d","datavalue":{"value":"classification of atomic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q800911$4A1CAACD-3608-4CF8-9EE1-5CB7CA19CB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92430a56760bc4900da11fff3c7dba95a9ba0f9d","datavalue":{"value":"countable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q800911$1EC2A5A1-8CB4-459B-8F62-0E12DE25EEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1cbf1323d20ba4a48a37ee3e1a1140c98285992","datavalue":{"value":"totally transcendental theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q800911$F7DCCD58-C2CE-4441-A32B-4248C220C7CF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e08eb8f357cf37bb9650e048ba3d31ac3a05cf8e","datavalue":{"value":{"entity-type":"item","numeric-id":1226868,"id":"Q1226868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800911$79F53637-04F0-462A-BDD6-D510D5B2FA83","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":"Q800911$38BB9DB3-CED0-47AA-8AB0-3090962E7D78","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda520519f9bb0d7247c9eed54cc3d7bf512bffe","datavalue":{"value":{"entity-type":"item","numeric-id":1059070,"id":"Q1059070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800911$73D62593-2F1B-4E6E-9436-C3C1A4F29ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27aadaedced7c7d0a32e641f99bf0398e1b5db33","datavalue":{"value":{"entity-type":"item","numeric-id":1219884,"id":"Q1219884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800911$D9A4CADE-EC48-4464-B460-B939F2BC9D69","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":"Q800911$C4B50174-4645-4C13-B900-F09662AB1E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800911$16E644C7-874A-422E-9E36-3F275AF54884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9c504d005b7532e27a604f0dc718dbf518825d9","datavalue":{"value":{"entity-type":"item","numeric-id":4116450,"id":"Q4116450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800911$3D2A5167-C7CD-4B4A-BCBC-2E573D4C75A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87b3425983addb17c404996b0ef7817849d5e7a","datavalue":{"value":{"entity-type":"item","numeric-id":594193,"id":"Q594193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800911$317A53A1-6D32-4C67-BE60-C1AA16C2BF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d150e2340319a7a43b1db393c9deb38f8c8ba6f","datavalue":{"value":{"entity-type":"item","numeric-id":1214923,"id":"Q1214923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800911$0174BE58-A766-44AB-8A7A-763C65F18EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07fee9896971180ac0b15b96bf7aa90002dc457d","datavalue":{"value":{"entity-type":"item","numeric-id":2548958,"id":"Q2548958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800911$F0DAE7CC-CBB6-4831-9A9D-4E8744CF8308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f56972959f7e77dafdc2a6b2e161d711fd96aa5","datavalue":{"value":{"entity-type":"item","numeric-id":1224580,"id":"Q1224580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800911$0C248E6A-C4F8-4F7A-849B-B1F4987CE214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a46ffad42e8f7c9090b79a66a81bc098644af40d","datavalue":{"value":{"entity-type":"item","numeric-id":1243715,"id":"Q1243715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800911$300E2DA9-D282-4CA2-8430-F211CA29F1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be3adad5169b26fd437a5e7163e485ebc14e618c","datavalue":{"value":{"entity-type":"item","numeric-id":4083390,"id":"Q4083390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800911$8F59FCA2-B8EF-4E7F-844B-1C723B15595D","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":"Q800911$2D8E1FF1-0493-4226-80ED-3B36D3F981E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edcb0283eff021717f74372fe7d19b39b0dc88c","datavalue":{"value":{"entity-type":"item","numeric-id":3967520,"id":"Q3967520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800911$2E8BC00A-880A-48A3-81B3-B5399936718D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d45cd2ea360d17b085a46e8bc7dd71d81d0bdfcf","datavalue":{"value":{"entity-type":"item","numeric-id":1169456,"id":"Q1169456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800911$2E082474-D35F-48FE-BE2B-B3F9233E53B3","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":"Q800911$B8B253ED-358D-4AA4-A292-A597D7E42917","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b106dc6813e4c3e1042a2f82d3fcb3988bb7f44","datavalue":{"value":"https://doi.org/10.1007/bf02761954","type":"string"},"datatype":"url"},"type":"statement","id":"Q800911$C512D6AE-B7EF-4FB5-BA7A-EC59008F7EF9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02c5140096843d1449fe7905d48d3b402934b4a7","datavalue":{"value":"W1965265111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800911$14C5FF0D-F81C-4F54-BED7-246E49DA9CC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3271d39ff5bb37526c47c1df640bba140785b29d","datavalue":{"value":{"entity-type":"item","numeric-id":3781082,"id":"Q3781082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"106af7812396ac86c95dec07df303aba2dc9ea97","datavalue":{"value":{"amount":"+0.8245784044265747","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":"Q800911$31F69C2C-9198-4F10-B115-99BDB5E24543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8343fae3588f78dfca030c66f1c8df619d8a8cef","datavalue":{"value":{"entity-type":"item","numeric-id":3491527,"id":"Q3491527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a6d3c62c01cc24f7372291b7f4056ba87ddab9d","datavalue":{"value":{"amount":"+0.8152326941490173","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":"Q800911$D5A8D1C9-CC36-4929-82B6-A7C760D9AD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f7feaa2b3cf571c30cdb6766eb132cf930adbe8","datavalue":{"value":{"entity-type":"item","numeric-id":5710727,"id":"Q5710727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1693338c692eb4368d17b43f537af93335cbf9e4","datavalue":{"value":{"amount":"+0.803435206413269","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":"Q800911$82E23F18-44BF-4BBE-A343-240BFB99D51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92a5bc659a7fbf08d7d74bdec7d44bebf7cbd084","datavalue":{"value":{"entity-type":"item","numeric-id":4647117,"id":"Q4647117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a64bca1ba7c804a567de7a4fb87edbec954435fc","datavalue":{"value":{"amount":"+0.7841272354125977","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":"Q800911$EEC2B5E5-4E1C-4D45-81AD-E4B086931BF1","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":"30333bbc22412a7fa6272b57fbb20371e00971bc","datavalue":{"value":{"amount":"+0.7793036699295044","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":"Q800911$33C17DC0-2AC9-4984-BE34-6EA18AA12EAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:800911","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:800911"}}}}}