{"entities":{"Q1066894":{"pageid":1077646,"ns":120,"title":"Item:Q1066894","lastrevid":66074448,"modified":"2026-04-12T07:21:57Z","type":"item","id":"Q1066894","labels":{"en":{"language":"en","value":"Some exact equiconsistency results in set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3926907"}},"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":"Q1066894$2E06DACC-5061-4FE7-82DC-F904FCB82206","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"660ee4cf6198df32a15e8f3a10c6e0c05ffc53b2","datavalue":{"value":{"text":"Some exact equiconsistency results in set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1066894$4967D7EC-5EE2-4C78-B70D-18130BE1057B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b682cefaab4e22af38af966a51ce7365469c8a9f","datavalue":{"value":"0579.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1066894$E5CDCA80-D6D7-4200-95CE-3CAE415693C9","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":"Q1066894$FA6D62D7-5FDB-43CA-8E34-3C6CF0689C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e35639c576039c3cf55c9111f0b0abefd918533","datavalue":{"value":{"entity-type":"item","numeric-id":6482531,"id":"Q6482531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1066894$D1C7FD5E-D9ED-4671-909C-A9A9FAB458C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1066894$6B35E36F-A46E-41F7-AB02-7B20D89879D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1066894$61C23C95-9A2C-4DF6-97C2-9272147F7776","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7737e6ef6cefa426e228282817dcf9943b8cb8d7","datavalue":{"value":"If we have: \\(ZFC+A\\) consistent iff \\(ZFC+B\\) consistent, then we say that A is equiconsistent with B (modulo ZFC). This paper gives two equiconsistency results. Theorem A is that between (i) the existence of a Mahlo cardinal and (ii) every stationary subset of \\(\\aleph_ 2\\) consisting of cofinality \\(\\omega\\) ordinals is stationary in some ordinal \\(<\\aleph_ 2\\). (Formally one can show that (ii) is consistent only under the assumption of the existence of a weakly compact cardinal.) Theorem B says that the following are equiconsistent: (i) the existence of a weakly compact cardinal, (ii) Martin's axiom (MA) \\(+ every\\) projective set of reals is Lebesgue measurable, (iii) MA \\(+ every\\) projective set of reals has the property of Baire. (Formally one can show from (ii) whithout MA the existence of inaccessible cardinal and that (iii) without MA is outright consistent.) The equiconsistency result of theorem B comes from theorem C: Assuming MA: (i) Either there is a real a such that \\(\\aleph_ 1=(\\aleph_ 1)^{L[a]}\\) or \\(\\aleph_ 1\\) is weakly compact in L; (ii) If \\(\\aleph_ 1=(\\aleph_ 1)^ L\\), then there is a \\(\\Sigma^ 1_ 3\\) set which is not Lebesgue measurable and which does not have the property of Baire.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1066894$233D77CE-7CC2-49E0-A562-7195AC7BA712","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1066894$7588858D-4296-4A1A-AE6B-033EF46B5A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1066894$BB8DF473-610D-420B-882D-F7CC2E194211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1066894$118F529E-F09D-4B72-A0FB-7276715FF306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1066894$4B11DB2A-4051-4B81-B01E-D3E3019578F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28ff2d258458ad58224134fc0ec84b2b1bd15d07","datavalue":{"value":"3926907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1066894$BE7C0C63-3EFC-4864-8D0D-B89D25704841","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1066894$1AE56F4F-C4E2-49E6-9814-B3F30B10726F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b445fbf5ce14875e40abed1d3a39e6dcdf2c88f3","datavalue":{"value":"Baire property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1066894$FFD38001-FC36-473E-A5DD-2319F1FA56B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43c117d52851a76bd4a4cff099c1e6125ce7c14e","datavalue":{"value":"Mahlo cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1066894$3FEB645F-494A-4646-8CE6-015424503F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ebe08c363ffa0cba994f252965dc6865d68bb89","datavalue":{"value":"stationary subset","type":"string"},"datatype":"string"},"type":"statement","id":"Q1066894$59A73436-755F-48A5-8464-D157A52DE491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f83b9a23f9d3a7b28b00abcc573d8cf2f8182af","datavalue":{"value":"weakly compact cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1066894$A0C81A97-DED7-48D0-9177-32129DB910DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c6c31ec43218662a954d1edc2c3c26c723c9f8","datavalue":{"value":"Martin's axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1066894$F472381D-5DF6-4BA2-AC7E-01CC7A329998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93f133349131660ac6629d2f1cbc1a2c5f64eb9b","datavalue":{"value":"projective set of reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1066894$97373B38-123C-4634-97F3-C9AE2F546945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ace92d9b682597a9606ba294023abe4f8e5bc9c0","datavalue":{"value":"Lebesgue measurable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1066894$BEAFD15E-EE0D-4871-B3C3-01A7C2575283","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":"Q1066894$90CF65A1-014B-4FC6-8175-7ECB3C7C2C0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"280d253ce3b2997c5f3a372ff21a11e941dc646c","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870823","type":"string"},"datatype":"url"},"type":"statement","id":"Q1066894$A75E9B88-2787-4809-B20C-F116FD403007","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"617962b98836b5cf6adbdb3b6162be9a87dde5ee","datavalue":{"value":"W2017595981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1066894$49E776A6-0CB9-43DB-9F66-E10325880E78","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"449199b39c6a4692ca369d59533a07a21cc315d2","datavalue":{"value":"10.1305/NDJFL/1093870823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1066894$D8E849AE-3BA9-463D-A2E9-FC2EDC5C59FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e28c279db838524eb66faa265998124f3b321b5","datavalue":{"value":{"entity-type":"item","numeric-id":3826546,"id":"Q3826546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d679e2667db64aadcb05f4e9307711097fe112e","datavalue":{"value":{"amount":"+0.8894913792610168","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":"Q1066894$FCBA3091-1020-4714-8E3C-7000F8D0D6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e79f7660aec512a1bae38de9af8539d8aad0ec","datavalue":{"value":{"entity-type":"item","numeric-id":3691664,"id":"Q3691664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c3b6d7b3a2a423996d662f89f0c1ec231884b3a","datavalue":{"value":{"amount":"+0.7982701659202576","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":"Q1066894$FF82E8E7-4BC2-4F94-B992-1603079C1FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"655e895d4d9fc5f279929b02160ebee9bea360c4","datavalue":{"value":{"entity-type":"item","numeric-id":688847,"id":"Q688847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac5b854c3763c342872baa9c9c72b9bed61fe01f","datavalue":{"value":{"amount":"+0.7847492694854736","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":"Q1066894$96661E7E-BB50-4F19-9FF4-0C354FFE4504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e3406d8be4e984c34a5948555b77a142457fba8","datavalue":{"value":{"entity-type":"item","numeric-id":3343979,"id":"Q3343979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccd9954e49cd17d8379b29980d392c547bc4e4ad","datavalue":{"value":{"amount":"+0.783787727355957","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":"Q1066894$0236974D-A5FA-4EB2-8BFF-A718D979B772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beafc730c0baac7d1aa1497f0a6047a8d806ced2","datavalue":{"value":{"entity-type":"item","numeric-id":1081601,"id":"Q1081601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd5e6bb49e89db0677d0747dbc0377bfa4cddc3f","datavalue":{"value":{"amount":"+0.775871992111206","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":"Q1066894$0D52C364-5D0D-40CE-BA8F-C567214671F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some exact equiconsistency results in set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_exact_equiconsistency_results_in_set_theory"}}}}}