{"entities":{"Q762060":{"pageid":763909,"ns":120,"title":"Item:Q762060","lastrevid":64138443,"modified":"2026-04-11T17:53:50Z","type":"item","id":"Q762060","labels":{"en":{"language":"en","value":"Countably decomposable admissible sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3889512"}},"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":"Q762060$A7A04127-73BE-48EE-816E-D2B840D2782D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2049043367d033cf21de4c537843173cd867b54","datavalue":{"value":{"text":"Countably decomposable admissible sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q762060$C3CAB00C-8C57-4075-893E-0CFE1B71C778","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8fcb79ae83c79b5ca8f2c922d29634e06f85ac35","datavalue":{"value":"0558.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762060$EE956A8D-D926-4865-A48A-1C27007A5C56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d49e2e0d7b7d269c6bf90866d5e6e5ce7b873eb","datavalue":{"value":"10.1016/0168-0072(84)90006-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762060$D90D855B-7C8F-4029-96AD-C264B701EDE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16de316f302fba13aeaf995a5fa68cb2abb070f8","datavalue":{"value":{"entity-type":"item","numeric-id":225931,"id":"Q225931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762060$05B89833-0F2F-40B1-9154-807AB4504B3B","rank":"normal"},{"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":"Q762060$59CC00EA-CF38-4115-9ECE-EF5D4AA9DEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30c66c4f54d3057409e2ea29dce9ea720e46c393","datavalue":{"value":{"entity-type":"item","numeric-id":762059,"id":"Q762059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762060$88E38CB1-F606-46A2-B2B2-3D317ACC9B29","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":"Q762060$CA5CC14C-CAC8-4D66-ACFA-3BFEEED3A2F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q762060$A1A69488-865B-4C52-BCBF-8F4ABD60A4CC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6f8fe54c6c8046630c281a82daf0d0aa6b365672","datavalue":{"value":"This paper is an important contribution to model and definability theory for infinitary languages unifying work on this subject done by various authors. An admissible structure \\({\\mathcal A}\\) is defined to be countably decomposable if its domain A is the union of countably many of its elements and \\({\\mathcal A}\\) satisfies a certain decomposability property DP. The main result of Part I states that for structures with the DP and theories \\(T\\subseteq {\\mathcal L}_ A\\) such that T is \\({\\mathcal A}\\)-r.e. and a countable union of members of A, (a) the set of consequences of T in A is \\({\\mathcal A}\\)-r.e., (b) if every \\(T_ 0\\subseteq T\\), \\(T_ 0\\in A\\) has a model then T has a model and (c) the least ordinal not pinned down by T is a member of A. This result includes all the known theorems on \\(\\Sigma_ 1\\)-completeness, \\(\\Sigma_ 1\\)-compactness, non-definability of well-orderings, etc. for various admissible structures. (The proof uses the method of open games.) In Part II, it is shown that under the assumption \\(V=L\\) the authors' result is the best possible in a certain sense. The notion of \\(\\Sigma_ 1\\)-compactness is strengthened to stable \\(\\Sigma_ 1\\)-compactness, and in Part III it is proved that \\(L_{\\alpha}\\) is stably \\(\\Sigma_ 1\\)-compact if and only if it satisfies the right decomposability conditions. The paper contains an appendix by \\textit{L. Harrington}: ''Admissible ordinals are not immortal''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q762060$3ED9D97C-A7D9-4364-BB04-2751D7154416","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f98ee58fa25fbd22581b8277cc8492aa7c19b098","datavalue":{"value":{"entity-type":"item","numeric-id":759746,"id":"Q759746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762060$A6215E5F-E042-4C2C-98F8-CAB0B8837430","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"188b6c199125847212533426dfbb43082ee9bc77","datavalue":{"value":"03C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762060$7DDADDFF-1A8A-49F2-9D3A-4B76E75F41EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762060$4E8075C0-AD19-400D-BD29-79CBA8E04687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762060$53494193-7911-4F8C-9E16-30EA1C2CDF20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85267463586efa36e8ba8ab20f29ee95f7936480","datavalue":{"value":"3889512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762060$BE9DB09E-CBFE-4969-8B33-6AC9553F1E5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q762060$AD60DBA2-1997-4A94-B889-67896E151EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce95b28a95528077a174c75b643a8f80cd4fab5e","datavalue":{"value":"infinitary languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q762060$36A6C715-057A-4F37-ABBB-5A98F6BC532B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"788197a91720776e060609e959e986dd6b9e48c5","datavalue":{"value":"admissible structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q762060$20D10F12-6366-40B3-BABC-04D520223314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66bea9b6d9c866baa791493f0615aeab5165082d","datavalue":{"value":"decomposability","type":"string"},"datatype":"string"},"type":"statement","id":"Q762060$12BCFD1B-1188-4E34-9F9D-816A975D2351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q762060$80F8D19E-9FEF-4480-A260-D8F27C2D5896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3362fd2fc14f2b5635a571ebb05f2fe208221ba2","datavalue":{"value":"Admissible ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q762060$1D729458-4188-4693-91A9-88C4CC1A1D43","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":"Q762060$5BD29A1D-D00A-4111-8745-0AC151CF7A23","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762060$9C105C0A-FD34-4A0C-A905-D9E8BCD0E024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c62b6af35dc27a6edf3c77b7b0b9e5d24ddc68c","datavalue":{"value":{"entity-type":"item","numeric-id":2557686,"id":"Q2557686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762060$BDFFF768-C81C-4A2E-82C8-35030A2F81A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f13912b71f7844444a328a15b68fa8068c7034b6","datavalue":{"value":{"entity-type":"item","numeric-id":5549043,"id":"Q5549043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762060$3A1A4618-41A7-46DE-8B1E-DC8F77E8C937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ee5f48e8bb31a1fedb0282bdbb5a31d3693129","datavalue":{"value":{"entity-type":"item","numeric-id":5565095,"id":"Q5565095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762060$31223B0C-DBFC-48A9-A7F0-7BC6D9D3E625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9882612921f689b75e5fb03e092901c07911911","datavalue":{"value":{"entity-type":"item","numeric-id":2550019,"id":"Q2550019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762060$B4D709C0-D793-4E2F-BCA7-7BE19B3385CE","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":"Q762060$2EC25339-D802-49FE-86BD-E5060A7AD24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5bef25bf28ebce0c8dc4719615dc3b84fe63927","datavalue":{"value":{"entity-type":"item","numeric-id":3233344,"id":"Q3233344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762060$71F073DE-868D-41E2-A2AA-47F09830B3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1da2c906127047f6001b9ff5289a7bfc2c3a967","datavalue":{"value":{"entity-type":"item","numeric-id":3215216,"id":"Q3215216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762060$4916289C-1EBE-4D1E-8C93-A78756F85B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e672a7dfe78d4b9cc1f581854952143d695a642e","datavalue":{"value":{"entity-type":"item","numeric-id":3955346,"id":"Q3955346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762060$44E78226-A28C-42E0-AD47-0B14DCEEE18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01f5026871a487f1218a49f7751ddae0e660eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1055768,"id":"Q1055768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762060$9FC43AE6-9D6B-4890-978C-C15CE444273E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39bacb869ac1e9febf1551f80e0f94b8cf8173d0","datavalue":{"value":{"entity-type":"item","numeric-id":4774042,"id":"Q4774042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762060$07C4B279-A164-4413-97CF-821D428032B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024fb24df973ff8f6ac8b9d17e1633ac84120b00","datavalue":{"value":{"entity-type":"item","numeric-id":4147964,"id":"Q4147964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762060$2E2A115B-04DD-42D2-9837-99DA6187DBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638d28b2baea18e6ece5760cb80ce35ea8d92024","datavalue":{"value":{"entity-type":"item","numeric-id":5672886,"id":"Q5672886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762060$8BD5536F-9206-4ACA-B00D-F4EFBEA429E8","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":"Q762060$E4658E81-1196-4FF8-88A6-2F98A9671795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45d6352ff818e739ed161877df554d69cb06807","datavalue":{"value":{"entity-type":"item","numeric-id":4055987,"id":"Q4055987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762060$4432CF0D-90B2-4050-B9D1-31A9DD57E4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd34275a0b7d261cacce11d8e826308eb52dea9","datavalue":{"value":{"entity-type":"item","numeric-id":5643985,"id":"Q5643985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762060$2A7057A7-2E37-42BB-AEE1-6E84145BBEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a277972cb5e97eb8aa2a27896c1b78d948e390c","datavalue":{"value":{"entity-type":"item","numeric-id":3671984,"id":"Q3671984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762060$2B6D40CF-A99D-4CE7-8145-3EDDD11B34A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19c97a50bac2408880096b460ad3cdfb2e7fd274","datavalue":{"value":{"entity-type":"item","numeric-id":4152527,"id":"Q4152527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762060$F1AA2076-4EDA-4427-A5F2-0278236CFC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4dc47413affa602e34d4c3c78983550b4c8c1aa","datavalue":{"value":{"entity-type":"item","numeric-id":4083425,"id":"Q4083425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762060$4938B1B0-997B-497E-9AC2-00F2333E9630","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edbcd4349d24c6c79e5c6fd92252782c4cd5f67f","datavalue":{"value":{"entity-type":"item","numeric-id":3141083,"id":"Q3141083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e02bb71301eaef834993ff0a1a1daeef37a3426","datavalue":{"value":{"amount":"+0.7742785215377808","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":"Q762060$A8951D76-E646-4DB9-8433-C40EF90474C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"953b7840e697485999ccb79692efa7c87f81790a","datavalue":{"value":{"entity-type":"item","numeric-id":4922665,"id":"Q4922665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee8a3b2fa10ade1bbc43ae4148a10fedef508bc9","datavalue":{"value":{"amount":"+0.7670556306838989","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":"Q762060$A4AF39E7-29A5-450D-95C5-2DD7F884AEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"786f53aae52d3bdf5d415b57d295465e44c33ad1","datavalue":{"value":{"entity-type":"item","numeric-id":5717076,"id":"Q5717076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff852e05990242825555123ae8ca2eb502dd6ace","datavalue":{"value":{"amount":"+0.7497029304504395","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":"Q762060$0E4FEBB5-15F7-441D-9D1A-7289F33B48D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d938a3445f5f3467852a4850adc46fdd9a8b23c","datavalue":{"value":{"entity-type":"item","numeric-id":4944918,"id":"Q4944918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76593ca9ad2492d4713b1607003c716593aa10df","datavalue":{"value":{"amount":"+0.7430378794670105","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":"Q762060$6E3AC37D-2A79-4743-89E5-80EEF57B1453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04b4d6452880c987645bcc0054d57524ecef0dd0","datavalue":{"value":{"entity-type":"item","numeric-id":1288078,"id":"Q1288078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76593ca9ad2492d4713b1607003c716593aa10df","datavalue":{"value":{"amount":"+0.7430378794670105","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":"Q762060$46148383-02AA-49B7-991E-495241C1E8C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Countably decomposable admissible sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Countably_decomposable_admissible_sets"}}}}}