{"entities":{"Q678765":{"pageid":680614,"ns":120,"title":"Item:Q678765","lastrevid":57126903,"modified":"2026-03-26T17:25:37Z","type":"item","id":"Q678765","labels":{"en":{"language":"en","value":"The covering lemma up to a Woodin cardinal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1004150"}},"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":"Q678765$B51FB490-C3DC-4FB5-96E5-39FCC6287FBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0076e5526ed7146ba75ad5b5c683fa1f99106493","datavalue":{"value":{"text":"The covering lemma up to a Woodin cardinal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q678765$1B451529-AD5A-4C62-95E2-E6D4B209F4D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad0e860e04e3d530c4259f304cdbd4878e2e7975","datavalue":{"value":"0868.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678765$4E9E9A14-1E6D-4356-B7C3-6C9E00F3A68C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1df341dd871cf0042c90c37bc01af7a952f5ebe3","datavalue":{"value":"10.1016/S0168-0072(96)00032-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678765$5CCB123C-EB87-4882-9ED1-0FE220C4C0BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e8a79b3296417ed8f62218edcdbc11634bb2940","datavalue":{"value":{"entity-type":"item","numeric-id":403402,"id":"Q403402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678765$D4C45F9A-5C3C-4EAF-9E93-395FDB1F7415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a3fc036e9bb495a4fb42d2c9f76fe53da20ea97","datavalue":{"value":{"entity-type":"item","numeric-id":242612,"id":"Q242612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678765$A035AD1B-FC3F-47B1-ACD3-F106383A3025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92eef4e9a5af5c6d9a93c12981d2af2e638e4b2b","datavalue":{"value":{"entity-type":"item","numeric-id":365674,"id":"Q365674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678765$863AF088-4EC7-48E0-80FF-230499B4BDA9","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":"Q678765$E941CCBB-EA8B-4AF0-BF46-91EA44504CE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b55b40827dd032c1078babc37101bd70ae56ee5","datavalue":{"value":{"time":"+1997-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q678765$F0DEAE8E-B681-430C-A3D5-C0AFD3721001","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eaabb9a68e5f2ad3962fbf0563b042b36058e290","datavalue":{"value":"https://arxiv.org/abs/math/9702207","type":"string"},"datatype":"url"},"type":"statement","id":"Q678765$E657BF56-D184-4BA3-BF9C-F5AEC7B8ADFD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"53592c6154a384a979ff06d7464295f7286cc51d","datavalue":{"value":"\\(K\\) is the core model for one Woodin cardinal as introduced by \\textit{J.R. Steel} [The core model iterability problem (Lecture Notes Logic 8) (1996; Zbl 0864.03035)]. The authors prove the following covering lemma. \\(\\Omega\\) is a measurable cardinal and there is no inner model with a Woodin cardinal. \\(K\\) is the core model constructed in \\(V_\\Omega\\). \\(\\kappa<\\Omega\\) is a \\(K\\)-cardinal such that card(\\(\\kappa\\)) is countably closed, i.e., for all \\(\\gamma<\\text{card}(\\kappa)\\), \\(\\gamma^{\\aleph_0}<\\text{card}(\\kappa)\\). Let \\(\\lambda=(\\kappa^+)^K\\). Then \\(\\lambda<\\kappa^+\\) implies cf\\((\\lambda)=\\text{card}(\\kappa)\\).    Thus in \\(K\\) successors of countably closed, singular cardinals are computed correctly. As part of the proof the authors investigate the fine structure of \\(K\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q678765$6CF63381-EF23-4A26-80D4-EBA040F6D5AA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49ac28ac151a8a9103bbae52e8a00e91b3069fd7","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678765$68529BF3-F364-44CF-9583-6FAB72368D75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678765$DE837A69-3526-47BE-9F82-6E1B28A9D518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678765$17C00073-3D5C-4008-9D2B-F04B9D6439A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10ac33daa4c925485a97960c2187d4c9d01dcb5c","datavalue":{"value":"1004150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678765$7CC53B99-9E91-432A-847D-A9420F62545C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d3b45fdf3de69ddb0a22a1384b03eedf1ad7e14","datavalue":{"value":"covering lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q678765$511D01EE-F9EA-4F76-A023-0ECDD5A63FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e549ce9cb41d663cf25b09ff9f89674cc4546d1","datavalue":{"value":"Woodin cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q678765$ECE2CEE1-888D-4195-9F2D-88DE3FC3307B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1968dcf3cd7ce02d9451d5c51600f569b2486e0a","datavalue":{"value":"core model","type":"string"},"datatype":"string"},"type":"statement","id":"Q678765$9489E166-D080-4647-983C-10327C0663E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a98e0cc0618991df6f1d1b0fc51bd008fce994b4","datavalue":{"value":"successors of singular cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q678765$1556342D-BE28-4F10-9A36-1028FFB85A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66cabac1d9c0f192ae0509f1bcd62615b02663d7","datavalue":{"value":"fine structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q678765$0466C78D-523A-483A-9C0C-E7C9FFDF527D","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":"Q678765$2D9015D2-3C01-43C8-8498-CA47981C7824","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7969b73976abff0ede2e843cc8a1d8ad6462e4a8","datavalue":{"value":"Q124964864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678765$90650F0B-5DF8-4954-8A39-26C0F597EDD2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b0eb072ea0d5308b432065c9b8eb95644c2c21","datavalue":{"value":{"entity-type":"item","numeric-id":3329455,"id":"Q3329455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678765$4C052BA4-23E4-47DE-85EF-0D250D18F224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d56f2ed253e035a09ff7810220a140bbc578947","datavalue":{"value":{"entity-type":"item","numeric-id":3318772,"id":"Q3318772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678765$8B3A496F-A06C-44FD-B522-7AC59BAEAAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fda8da851a3bd922f54f5e11ff004e1ab10a037","datavalue":{"value":{"entity-type":"item","numeric-id":3905272,"id":"Q3905272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678765$40013E4D-49EE-4316-98FA-8433880A82ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac6a5f830937429e346b92b981f00e78ce91dcf","datavalue":{"value":{"entity-type":"item","numeric-id":3953756,"id":"Q3953756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678765$4BA652BA-69A3-42C2-AE2F-EE37FEE5F8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36fa1337f6b07110a31e0512755583cc4f3dfa66","datavalue":{"value":{"entity-type":"item","numeric-id":3671961,"id":"Q3671961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678765$842F7FAC-03B6-4E29-B5C4-5F8CB275493A","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":"Q678765$24616A1A-431A-4015-BD6F-12C3B79E9148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abe9e3d52131032099759134248cf40dee0775cf","datavalue":{"value":{"entity-type":"item","numeric-id":4276535,"id":"Q4276535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678765$A1277B4A-E309-4AE0-AEA2-0A041810A633","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":"Q678765$329B2FCD-F5EF-4BA9-B1FE-35C0605D97C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"335c6898b623e4f1b597b8de51ac68b03bb50c1d","datavalue":{"value":{"entity-type":"item","numeric-id":1910658,"id":"Q1910658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678765$A2779546-8A78-41FC-8AB5-CA04F7DEFD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f55333bc31a49bd999856db7ce681bd44da7180","datavalue":{"value":{"entity-type":"item","numeric-id":4291791,"id":"Q4291791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678765$C0C9BE6F-DFC9-4B6D-86E1-7BA9A68507BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cba8a8919b1f1b4c4e1fea2717501e322b031d42","datavalue":{"value":{"entity-type":"item","numeric-id":1896486,"id":"Q1896486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678765$F8B79475-A196-4AD4-A513-69CE9B889721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"336da9d8e2fc9bdf62b91aca44dd8a2b37643c8f","datavalue":{"value":{"entity-type":"item","numeric-id":4243638,"id":"Q4243638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678765$26F8786C-89EA-4C4A-98FD-F265039B0A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c4e2fdca0f86fb2644598f5d09f996798090f1a","datavalue":{"value":{"entity-type":"item","numeric-id":4894730,"id":"Q4894730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678765$DB377C88-FEBD-4F1F-9A9B-65C567E5BCF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d84607d10e5f92adb96a98fa6c23622bd15ca077","datavalue":{"value":{"entity-type":"item","numeric-id":4276029,"id":"Q4276029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678765$72E9B7B6-AB61-476A-AEFB-A891DA560BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff4d5c03506aa8e1392e030a50892db8d6a95bb","datavalue":{"value":{"entity-type":"item","numeric-id":1314641,"id":"Q1314641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678765$4E5EF129-03C2-467F-9F4D-C6AC0194909F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64527fef4b906e17ba8fb3bb677fb4a237760c16","datavalue":{"value":{"entity-type":"item","numeric-id":4779661,"id":"Q4779661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678765$004F3476-ECD7-43AA-A3E7-F030F6F30181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea6a8bf8b994d68b52578a6bb51287e3b6c09cc8","datavalue":{"value":{"entity-type":"item","numeric-id":5690487,"id":"Q5690487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678765$3C1323D4-8104-450E-978F-3C718615BC1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac6321f5bd1733f6d62d3732502f18e327b2356a","datavalue":{"value":"W2007636328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678765$33CD61A5-8C24-4BD2-AAB9-7D5312B8204D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ee1feef4610d87480d3989f39a69a4208dc643","datavalue":{"value":{"entity-type":"item","numeric-id":4325777,"id":"Q4325777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0525fff86165c66b8b737c5206cba7106f31c38d","datavalue":{"value":{"amount":"+0.8189128041267395","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":"Q678765$8D86675F-F1F9-4EF5-8BD4-9EB9B4C3B79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"574b2f1cfdd41a5234aca27f599f89273a0b43e5","datavalue":{"value":{"entity-type":"item","numeric-id":4379935,"id":"Q4379935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40d4434552972c2ad333543abba26da5f410c9b9","datavalue":{"value":{"amount":"+0.8125179409980774","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":"Q678765$F8F7880A-960F-420E-B724-F03EFBD3812A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60164c644061e7918f0f1c2202d218919b1630e8","datavalue":{"value":{"entity-type":"item","numeric-id":4539859,"id":"Q4539859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95561974d1df53f8407b7d025472014645cb873a","datavalue":{"value":{"amount":"+0.7965208292007446","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":"Q678765$FCA1ACD1-D2F2-4FB2-84A8-139E96A1CA36","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":"23c2b1454afd4e317b3647ef77c498e68e8700ac","datavalue":{"value":{"amount":"+0.7943615317344666","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":"Q678765$AF651813-0D98-4728-8D24-37FD1C8D205D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:678765","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:678765"}}}}}