{"entities":{"Q1076012":{"pageid":1086764,"ns":120,"title":"Item:Q1076012","lastrevid":66087129,"modified":"2026-04-12T07:27:49Z","type":"item","id":"Q1076012","labels":{"en":{"language":"en","value":"\\(\\omega_ 1\\)-constructible universe and measurable cardinals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3952741"}},"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":"Q1076012$26AA1446-ED6F-4E08-85E7-2E7DB7E81E93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e40387960bc13c9577748e24f1e4c413d2a8eae","datavalue":{"value":{"text":"\\(\\omega_ 1\\)-constructible universe and measurable cardinals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1076012$9B646EE5-5C82-4226-A78B-E8D66A96F316","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"603ce66992a44d634c58146a9e923be6ea1ac711","datavalue":{"value":"0593.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076012$99233457-38DA-41E5-A3AE-5138C9FB22FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9543bf19a02d20063320c573bc0920a3b2db77e","datavalue":{"value":"10.1016/0168-0072(86)90024-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076012$E9BD1942-B675-4C00-823D-E1CDC9C0979E","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":"Q1076012$37D01B03-80AF-48B2-B15B-6AE838D8BDEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1076012$43CA1ABE-FCDE-4AD9-9AA0-93C6C8457C7E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"79cb3c71a0d6d0ffbc949097e095fc5b8eca93ea","datavalue":{"value":"In analogy with K. G\u00f6del's model L, C. Chang formulated the \\(\\omega_ 1\\)-constructible universe \\(C^{\\omega_ 1}\\) using the infinitary language \\(L_{\\omega_ 1\\omega_ 1}\\) instead of the language of set theory \\(L_{\\omega \\omega}\\). \\(C^{\\omega_ 1}\\) can also be characterized as the least inner model closed under arbitrary countable sequences.    This paper is inspired by results of R. Jensen and J. Silver concerning the existence of \\(O^{\\#}\\) and the covering property for L. We consider here a stronger notion of indiscernibles and we say that \\(C^{\\omega_ 1}\\) satisfies the ''covering property'' if any set of ordinals X in the universe can be covered by a set in \\(C^{\\omega_ 1}\\) of cardinality \\(| X|^{\\aleph_ 0}\\). The existence of ''indiscernibles'' for \\(C^{\\omega_ 1}\\) is also linked to large cardinal assumptions, and we show (in ZFC) that the existence of \\(\\omega_ 1\\) measurable cardinals implies the violation of the covering property by \\(C^{\\omega_ 1}\\) which in turn yields the existence, for any \\(\\alpha <\\omega_ 1\\), of an inner model with \\(\\alpha\\) measurable cardinals.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076012$C85CCB0E-920F-4B19-94FD-1256FA9FEE4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076012$6737A318-DDE0-44A9-BBF0-39093066C818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076012$A9E12E04-3C70-4FCB-A544-B3DA586991FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"322011113f9075b7002bf9b70dce1d4591f8a24f","datavalue":{"value":"3952741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076012$78D5E9A8-6744-4D20-AAC1-158A10FF4C19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"538803dfa9244ccb4481282b357ecf6aed323729","datavalue":{"value":"covering property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076012$334BA28A-2181-418A-B9C9-FAF5E2AFB417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86891df2c64c418d041cac5b7c11ec6b3530884a","datavalue":{"value":"indiscernibles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076012$BC38B4C0-BA41-4D02-9ED3-E49146D3B7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"455f7028ce20d8220e961432a243eeaf98da4981","datavalue":{"value":"inner model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076012$74A74273-664E-4F7B-AE8B-2A5B840E1988","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc1cdcd255eff78b2730e15f75c940173ccaf950","datavalue":{"value":{"entity-type":"item","numeric-id":329715,"id":"Q329715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076012$FBA36989-161C-4943-B423-E562D2CD6AB0","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":"Q1076012$19F384B7-B412-4026-9800-565C2E4B7E1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9cdc948edf1e3d849f24cacdc3c8d1ab73a15b06","datavalue":{"value":"https://doi.org/10.1016/0168-0072(86)90024-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1076012$B7A3E488-7E39-476E-8AEC-D3E7E7835580","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0637e55fd0cfa4d16176a84c725773cacd18b88","datavalue":{"value":"W1967278813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076012$F5CD7EA0-282E-43FA-9EE4-BF0BEF04CB0A","rank":"normal"}],"P223":[{"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":"Q1076012$E9510F17-85AC-48B2-8170-D77CE161C2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7473165a46f692de46f81644a10983097732bcc2","datavalue":{"value":{"entity-type":"item","numeric-id":4106202,"id":"Q4106202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076012$0FE63DF0-E217-4D67-886C-16E85135FF47","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":"Q1076012$3D8E5830-8C04-41E5-A432-057BD5127F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1d6aa8771d831b76ce84d229a9e335539dc75ab","datavalue":{"value":{"entity-type":"item","numeric-id":4159049,"id":"Q4159049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076012$B16E3CCA-5AE9-4DD8-83C0-4B403AE23B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff421539903c14ff8cc2d3dae22e0ae4478ffc2","datavalue":{"value":{"entity-type":"item","numeric-id":5645417,"id":"Q5645417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076012$0F5B4548-8B2B-487E-A99D-230C807A46AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d903d1833aae529d94947a022e98c3b5bcf2f1a5","datavalue":{"value":{"entity-type":"item","numeric-id":5654042,"id":"Q5654042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076012$D8F1C5D9-BA9D-4158-A53E-A27197EC7C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7b8e22a79c2aba342401eef5dbc6e10a48e45c3","datavalue":{"value":{"entity-type":"item","numeric-id":5685080,"id":"Q5685080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076012$37B36AAB-D362-488C-8110-4675FC710AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a9f292ca2e3addf0ca1e26f87fa6b03b4c3f2d","datavalue":{"value":{"entity-type":"item","numeric-id":3325716,"id":"Q3325716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076012$74B90A8D-F3FC-4083-8110-A38EFFE6E444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443a94991de37c834859383ccee6be54813a2722","datavalue":{"value":{"entity-type":"item","numeric-id":5618359,"id":"Q5618359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076012$818E1769-222F-4E9D-94DE-DBB62864B7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14f31aa7a5be9baab94169af29148ca674666fed","datavalue":{"value":{"entity-type":"item","numeric-id":1069933,"id":"Q1069933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076012$A4F44B45-0CC7-4325-8551-FDB03BE6DCDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db3da560e24bcd07d16f34118772e8890bdde46b","datavalue":{"value":{"entity-type":"item","numeric-id":1119631,"id":"Q1119631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"359ff3e9de7568f07bd70639f0a2dc8174f0ebd8","datavalue":{"value":{"amount":"+0.8210336565971375","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":"Q1076012$4B702913-650C-4AB5-9B6E-FDEECC355B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01f2bf355d0952e5462fe004694cc1f0c6ff7ed5","datavalue":{"value":{"entity-type":"item","numeric-id":1105592,"id":"Q1105592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e0805ab24581a8f52d304be601ef13396ea918c","datavalue":{"value":{"amount":"+0.7505196928977966","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":"Q1076012$0DDFD961-C736-4B06-A97B-3965F73AE3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daa00250a1eaa92cc46b03245cc44b7e9abed268","datavalue":{"value":{"entity-type":"item","numeric-id":4333463,"id":"Q4333463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebe62a0758653f7309ca832aea163d5c7f7c32e0","datavalue":{"value":{"amount":"+0.7420721650123596","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":"Q1076012$C1CEEDF0-40FD-449C-8459-04B074CDD197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e253bc1f9c9399b5ec36a4d28c71ad5f6314708","datavalue":{"value":{"entity-type":"item","numeric-id":678765,"id":"Q678765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eab52ef63d7d2b6f715b8a01587bfba1184118d9","datavalue":{"value":{"amount":"+0.7410247325897217","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":"Q1076012$793A7F87-48DF-4EFF-B2B0-70D8A3A84179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd73eeddf423aaf6179e50e92f5548f5eec16cb","datavalue":{"value":{"entity-type":"item","numeric-id":3222184,"id":"Q3222184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7180e84c19c241ec0886af98828c185596acb2f","datavalue":{"value":{"amount":"+0.7406456470489502","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":"Q1076012$1ADADA41-51F8-4464-885A-DE0F086E14A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\omega 1\\)-constructible universe and measurable cardinals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(%5Comega_1%5C)-constructible_universe_and_measurable_cardinals"}}}}}