{"entities":{"Q1912778":{"pageid":1923520,"ns":120,"title":"Item:Q1912778","lastrevid":69443058,"modified":"2026-04-13T07:01:44Z","type":"item","id":"Q1912778","labels":{"en":{"language":"en","value":"Consistency strength of the axiom of full reflection at large cardinals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 878284"}},"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":"Q1912778$54A971C5-083D-4B90-B1E1-D7FEFBC5DE96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aac066ce0c4e16ab0588ce3e24e4a0891bcd3bce","datavalue":{"value":{"text":"Consistency strength of the axiom of full reflection at large cardinals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1912778$37910F6C-836D-469D-98B9-0F9614CC3786","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99d3c9ba098e92f3cff6e174533da32b690c9eee","datavalue":{"value":"0848.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1912778$C345245A-A737-4E76-A3A7-06954FC523FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d2bb7c1cad146451e57f6c310c4e698e86ea508","datavalue":{"value":"10.1007/BF02761096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1912778$9DA41FF1-3A72-4573-8C45-86D78D7EDFA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53d244db65bc3e56835cdb93c0c1d7330c2e0036","datavalue":{"value":{"entity-type":"item","numeric-id":1912777,"id":"Q1912777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1912778$1AECEEE5-1961-4977-9B4E-9D5CF8FFCB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d84e6e76f4e370b4f0cdf241935af18cad5ae955","datavalue":{"value":{"entity-type":"item","numeric-id":1256455,"id":"Q1256455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1912778$98F35BB9-217C-444A-80E8-FD5AC18AB914","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1912778$BA875E80-A87C-4B7E-BA4E-2940423F9160","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3532100dce8aca59dbf3233b7cf352b688cc102","datavalue":{"value":{"time":"+1996-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1912778$A5A8FB59-0144-43C0-A3FB-DC971649C9A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"986f836da71d29aceffaa8186d68a827b017ff48","datavalue":{"value":"https://arxiv.org/abs/math/9404205","type":"string"},"datatype":"url"},"type":"statement","id":"Q1912778$96B8291C-B82D-4BFC-BAEF-34CDE5C623FB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a1e3881b3500e9d7edf5df0ce674a2efdfcac3a4","datavalue":{"value":"Let \\(\\kappa\\) be an uncountable regular cardinal and let \\(S\\) be a stationary subset of \\(\\kappa\\) consisting of regular cardinals. We say that \\(S\\) reflects fully at regular cardinals if whenever \\(T\\) is a stationary subset of \\(\\kappa\\) consisting of regular cardinals, with higher order than \\(S\\), then \\(S \\cap \\alpha\\) is stationary in \\(\\alpha\\) for almost all \\(\\alpha\\) in \\(T\\). The Axiom of Full Reflection at \\(\\kappa\\) is the statement that every stationary subset of \\(\\kappa\\) reflects fully at regular cardinals.   In this paper the authors prove that the Axiom of Full Reflection at a measurable cardinal is equiconsistent with the existence of a measurable cardinal. They show the corresponding result holds for some other large cardinals, including strong cardinals and supercompact cardinals. The proof is by a complicated iterated forcing argument.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1912778$EC1F2EAC-29DF-4B52-A785-295CC466075B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1912778$1C13BB8D-DD63-4621-8C0F-8BD23FA6273F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1912778$E088E342-E2FF-4730-8F13-83A043312002","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e37ffcf5734cd2018646905e70b1527754e936f3","datavalue":{"value":"878284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1912778$1D5F9D63-BF23-4575-9E8A-749285470693","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1912778$44712BEE-AF4A-40D5-B7FE-86E36A959D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38ea274f44b21ef3be2482cccdf11a7da286f801","datavalue":{"value":"axiom of full reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1912778$869F37BC-2363-452B-BA75-3A2A06283D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1d05e3b4848f1c5fc4abe6d3027ac7da7539cb8","datavalue":{"value":"measurable cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1912778$EF1EBF9F-5C7F-4430-8B4D-E75855EB844D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebca3a6c115ad9fc460e4a0debbc4ce171f41fbc","datavalue":{"value":"large cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1912778$ED7B7FEB-A7CF-4A10-8205-620FF17C86CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5de1fb83a15b790be110a8a711efb9f2abab39cc","datavalue":{"value":"strong cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1912778$32690D4B-C8A0-46D7-BB88-935E4A0DD968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"629e675e09a99464764414f539b6164eab11dbca","datavalue":{"value":"supercompact cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1912778$6A7321E4-7D72-4085-9CC9-07B8224C764B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aea395cfac88785ba6388ee1fe1129625f58023","datavalue":{"value":"iterated forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1912778$0B3D2CE7-4E4E-45D6-94B9-12912B75D3AF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d8bcd4204cbd211b49d90c58f0c776572c81ec26","datavalue":{"value":"Q114018416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1912778$4883CCEE-CEB0-45B5-AB72-CED139BB45E4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e895f7d767724f4ff7f1c864b815a28e2d8e0b38","datavalue":{"value":{"entity-type":"item","numeric-id":916652,"id":"Q916652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1912778$9E7CD595-F71A-4EAB-9386-F6BFB3C5D1A0","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":"Q1912778$0E8FAE60-DC6A-4BDA-97B5-49F8A1C79D23","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1433dd9c42a76832666efb9efef53dc066134f10","datavalue":{"value":{"entity-type":"item","numeric-id":3218117,"id":"Q3218117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1912778$777CF0C0-42E1-4F1C-BEF6-C2C80193C7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aedfc69a6d594a5772261a263d97d8d46b71105e","datavalue":{"value":{"entity-type":"item","numeric-id":4693424,"id":"Q4693424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1912778$5E5B1AAA-E17B-42C6-9CC3-1F90C35FABF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b307cfdea07cb8c7da6f37120cb9e9ed5bb7ce7","datavalue":{"value":{"entity-type":"item","numeric-id":4302358,"id":"Q4302358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1912778$1378EDB9-B071-4F4C-8854-FD7621774AED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb6a1bade48227cea34f34280bb9f680ab146b4c","datavalue":{"value":{"entity-type":"item","numeric-id":4302358,"id":"Q4302358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d643d2b14f96d23f5c74a1909b4e9229558330ba","datavalue":{"value":{"amount":"+0.8302000761032104","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":"Q1912778$9E45968C-9F19-4FD2-BAC5-0A3241C81585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7db41ca947ef9fbf7d79773db628d0398f9ff2ff","datavalue":{"value":{"entity-type":"item","numeric-id":4693424,"id":"Q4693424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ff6238897ca7f58fc9d95755ef60f0cbfa6d7ce","datavalue":{"value":{"amount":"+0.8046757578849792","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":"Q1912778$93256F08-6BEC-487C-9487-251497DD0603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"197f1904d849992d3385c0ebc3d8118980f708a4","datavalue":{"value":{"entity-type":"item","numeric-id":908907,"id":"Q908907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"720ea32ed8efdcb8ad5ee3779c44f2524f5f14d4","datavalue":{"value":{"amount":"+0.7905445098876953","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":"Q1912778$DA4C64EA-7E3F-4EBA-833D-6EB832F46F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"170b8c72f0496ccd5d41e9bfd5340908744eca36","datavalue":{"value":{"entity-type":"item","numeric-id":5114811,"id":"Q5114811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94993025565b89589df3b8a9bce3a1040af3b2e9","datavalue":{"value":{"amount":"+0.7633915543556213","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":"Q1912778$7938E958-77AB-4AF0-826C-9B535B2C6875","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Consistency strength of the axiom of full reflection at large cardinals","badges":[]}}}}}