0^# and elementary end extensions of V_k
classification
🧮 math.LO
keywords
cardinalelementaryinnermodelthenabsolutealephcofinality
read the original abstract
In this paper we prove that if k is a cardinal in L[0^#], then there is an inner model M such that M |= (V_k,E) has no elementary end extension. In particular if 0^# exists then weak compactness is never downwards absolute. We complement the result with a lemma stating that any cardinal greater than aleph_1 of uncountable cofinality in L[0^#] is Mahlo in every strict inner model of L[0^#].
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.