Consistency strength of the Axiom of Full Reflection at large cardinals

Moti Gitik; Jiri Witzany

doi:10.1007/BF02761096

Consistency strength of the Axiom of Full Reflection at large cardinals

Moti Gitik^*, Jiri Witzany

^*Corresponding author for this work

School of Mathematical Sciences

University of California at Los Angeles

Research output: Contribution to journal › Article › peer-review

Abstract

We prove that the Axiom of Full Reflection at a measurable cardinal is equiconsistent with the existence of a measurable cardinal. We generalize the result also to larger cardinals such as strong or supercompact cardinals.

Original language	English
Pages (from-to)	113-124
Number of pages	12
Journal	Israel Journal of Mathematics
Volume	93
DOIs	https://doi.org/10.1007/BF02761096
State	Published - 1996

Access to Document

10.1007/BF02761096

Cite this

@article{5ede830119f442da9ccd5b2e593a6eb8,

title = "Consistency strength of the Axiom of Full Reflection at large cardinals",

abstract = "We prove that the Axiom of Full Reflection at a measurable cardinal is equiconsistent with the existence of a measurable cardinal. We generalize the result also to larger cardinals such as strong or supercompact cardinals.",

author = "Moti Gitik and Jiri Witzany",

year = "1996",

doi = "10.1007/BF02761096",

language = "אנגלית",

volume = "93",

pages = "113--124",

journal = "Israel Journal of Mathematics",

issn = "0021-2172",

publisher = "Springer New York",

}

TY - JOUR

T1 - Consistency strength of the Axiom of Full Reflection at large cardinals

AU - Gitik, Moti

AU - Witzany, Jiri

PY - 1996

Y1 - 1996

N2 - We prove that the Axiom of Full Reflection at a measurable cardinal is equiconsistent with the existence of a measurable cardinal. We generalize the result also to larger cardinals such as strong or supercompact cardinals.

AB - We prove that the Axiom of Full Reflection at a measurable cardinal is equiconsistent with the existence of a measurable cardinal. We generalize the result also to larger cardinals such as strong or supercompact cardinals.

UR - http://www.scopus.com/inward/record.url?scp=0030460638&partnerID=8YFLogxK

U2 - 10.1007/BF02761096

DO - 10.1007/BF02761096

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0030460638

SN - 0021-2172

VL - 93

SP - 113

EP - 124

JO - Israel Journal of Mathematics

JF - Israel Journal of Mathematics

ER -

Consistency strength of the Axiom of Full Reflection at large cardinals

Abstract

Access to Document

Other files and links

Fingerprint

Cite this