{"entities":{"Q701741":{"pageid":703590,"ns":120,"title":"Item:Q701741","lastrevid":48390373,"modified":"2026-01-04T14:11:47Z","type":"item","id":"Q701741","labels":{"en":{"language":"en","value":"On unfoldable cardinals, \\(\\omega\\)-closed cardinals, and the beginning of the inner model hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2123160"}},"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":"Q701741$AC864645-79A7-4534-933C-347AE9AC524B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b21fb294dbfada2ad7538ae1218f3a2888079f0","datavalue":{"value":{"text":"On unfoldable cardinals, \\(\\omega\\)-closed cardinals, and the beginning of the inner model hierarchy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q701741$83983AD9-6277-4793-938C-780B5495B892","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02296ad75e8c3cc6eecb9d32d1e86eda2c04a170","datavalue":{"value":"1058.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701741$E5315E9D-F158-47B5-83F3-939AF1EA1B50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"547a70f32038f5698afdc474eeef7f9e925fba61","datavalue":{"value":{"entity-type":"item","numeric-id":699184,"id":"Q699184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701741$99557F91-A33C-40E3-B073-9B5396AD09E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701741$2AA86021-162F-4EFB-A5EF-7AD9A27ED417","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df1e508a21ee9936a7a8f9defc1512d58443c3e3","datavalue":{"value":{"time":"+2004-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q701741$B99944F9-0DF5-4927-882A-1E25B68CAFD6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5542c1b91f455b167b41b69d7b723fcdda0493f1","datavalue":{"value":"Unfoldable cardinals and \\(\\text{On}\\)-unfoldable cardinals have been introduced by \\textit{A. Villaveces} [J. Symb. Log. 63, 1116--1136 (1998; Zbl 0915.03034)]. In the paper under review, the author defines a notion of ``long unfoldability'' (Definition 1.3), which is a set-theoretic version of Villaveces' class-theoretical notion of \\(\\text{On}\\)-unfoldability. Long unfoldability is a generalization of weak compactness incompatible with \\({\\mathbf V}{=}{\\mathbf L}\\) (*). Villaveces had shown that the first unfoldable cardinal is smaller than the first weakly compact \\(\\omega_1\\)-Erd\u0151s cardinal. The author introduces a notion of \\(\\omega\\)-closed cardinal (Definition 1.1) weaker than the notion of an \\(\\omega_1\\)-Erd\u0151s cardinal (Theorem 1.1) and improves Villaveces' result to:  Theorem 1.3. The first long unfoldable cardinal is smaller than the least \\(\\omega\\)-closed cardinal.  Theorem 1.3 and (*) together establish that long unfoldability is a large cardinal property strictly between those consistent with \\({\\mathbf V}{=}{\\mathbf L}\\) and an \\(\\omega_1\\)-Erd\u0151s cardinal. The strength of principles like this can be calibrated with (very) small core models. In \\S~3, the author gives upper and lower bounds in terms of consistency strength:  Upper bound (Theorem 1.4): The consistency strength of \\(\\text{ ZFC}+\\text{Det}(\\omega^2\\)-\\(\\Pi^1_1)\\) is larger than that of \\(\\text{ ZFC}+\\) ``there is a long unfoldable cardinal''.  For an interesting lower bound, some extra assumption is needed, since the theory ZFC + ``there is a long unfoldable cardinal'' does not even imply that \\(0^\\#\\) exists (Theorem 1.11 and the further remarks on p. 448). However, assuming the existence of a long unfoldable in a core model increases the strength of this large cardinal notion:  Lower bound (Theorem 1.7): If \\({\\mathbf V}{=}{\\mathbf K}\\) and \\(\\kappa\\) is long unfoldable, then \\(\\kappa\\) is admissibly measurable (cf. Definition 3.5).  Note that by older results of \\textit{P. D. Welch}'s [J. Symb. Log. 59, 1420--1432 (1994; Zbl 0817.03025)], \\({\\mathbf V}{=}{\\mathbf K}\\) and ``there is an admissibly measurable'' implies ``a subset of \\(\\omega_1\\) is universally Baire if and only if it is constructible from a real''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q701741$74DAB188-F0A9-4B51-AAA6-F16A8F01DD08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701741$8B6BF444-F322-4D01-92CC-31522CA8C352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701741$D35DE695-245C-4027-9400-2CD00FC09AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701741$70BC24A3-E12D-4737-878C-93332D4BFD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d0fbfdd56746b1fac4d86fe54b6e7e79ffa6e12","datavalue":{"value":"03E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701741$E742D2AF-4D46-4C97-8184-3A170F06B950","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1705ed213d49deb524333fefb2bff963a94c80a9","datavalue":{"value":"2123160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701741$C93678A6-1A01-4C17-9021-FE567F4B531A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d758eae9aa55724aecab18336d372d2dca2b73d5","datavalue":{"value":"\\(\\omega\\)-closed cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q701741$462F4AC5-3B1B-4B33-9105-F90F2B75CFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126e01284d834e0003cc7f95deee337ba6b91338","datavalue":{"value":"large cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q701741$232AF6B7-ED10-42DE-9288-78DA44209A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd377d20db7ab1bea4a94764cf257bc81fe7cd64","datavalue":{"value":"long unfoldable cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q701741$10B5BB0C-D12B-4C8C-8C62-124195C92DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03b75f643bf2e53fe8d8ac0b245eb85fd2d649f7","datavalue":{"value":"consistency strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q701741$2A710E96-99C6-49EA-907C-533AE3EDAC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1968dcf3cd7ce02d9451d5c51600f569b2486e0a","datavalue":{"value":"core model","type":"string"},"datatype":"string"},"type":"statement","id":"Q701741$145F4C1C-E8B9-484C-9DBE-7FD48A3BB584","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bf85268203a3a926d9459f86d04a505e47eeb3a6","datavalue":{"value":{"entity-type":"item","numeric-id":1806279,"id":"Q1806279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701741$ADC506FE-F7A2-419D-B139-38898BF1A1C9","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":"Q701741$D9454F9E-654C-4A99-A525-3EE4E11A521B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68211d82aa8efc39f7f0b5a283d9faba947299c6","datavalue":{"value":"https://doi.org/10.1007/s00153-003-0199-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q701741$7D5C6265-412D-4F3B-ACE0-F8099F1BE481","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d39511101f5a17d45edcc10bbc1cd8c2b02fbb1f","datavalue":{"value":"W2104896577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701741$B2FE620A-102D-4A3D-8D8C-1E7488995BC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"355977c56b65ef3d5a7489dbf06e5ece907759e9","datavalue":{"value":"10.1007/S00153-003-0199-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701741$370CDCE2-29DB-4FE5-899A-77242F4B2380","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"933a33c67d778b6ce6e0b7a5e77640c0035a610c","datavalue":{"value":{"entity-type":"item","numeric-id":5502813,"id":"Q5502813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9251586d422e4f8509cb1c399ce6c0b34d6634a3","datavalue":{"value":{"amount":"+0.8009695410728455","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":"Q701741$48E9406E-13CB-403A-AC1E-014BAE0BB704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf3636de538db1aa2d5998baa2382c00f0d4e109","datavalue":{"value":{"entity-type":"item","numeric-id":4227883,"id":"Q4227883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"128e625eca60fd240a331b3800f43cf8140446df","datavalue":{"value":{"amount":"+0.7810847759246826","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":"Q701741$C536E45E-166E-4CD4-B1A2-972E5AC3B833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a25ccc04f10f998067ade95b560b4b37f2bc08a","datavalue":{"value":{"entity-type":"item","numeric-id":3126279,"id":"Q3126279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"128e625eca60fd240a331b3800f43cf8140446df","datavalue":{"value":{"amount":"+0.7810847759246826","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":"Q701741$F8BC4DDB-718C-43B0-BF7E-6E4F3CE8F07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dbe8b0aab9f82ae46d20c9841793abe59068ba3","datavalue":{"value":{"entity-type":"item","numeric-id":2758052,"id":"Q2758052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b2a38bd9e4195d226754dcc7b0eb0f731199b2","datavalue":{"value":{"amount":"+0.7771949768066406","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":"Q701741$9D175C40-E4D9-404B-9E27-E34EB124DF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7962632338e51202ab5bd152c3b2a63564793552","datavalue":{"value":{"entity-type":"item","numeric-id":494636,"id":"Q494636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac090157473705e31b10e5fd702b0c7c8313bfd9","datavalue":{"value":{"amount":"+0.7494534850120544","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":"Q701741$98B21CA3-15A6-4205-B30A-4D679D30E5CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:701741","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:701741"}}}}}