A new proof of Kunen’s inconsistency

DOI10.1090/S0002-9939-96-03281-9MaRDI QIDQ4890291zbMATH OpenOpenAlexFDO

Authors Jindřich Zapletal

Publication date 4 November 1996

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9309207

zbMATH Keywords

elementary embeddingKunen's inconsistency theorempossible cofinalitiesset-theoretical universe

Mathematics Subject Classification ID

Large cardinals (03E55)

Abstract: Using elementary pcf, we show that there is no $j:VoM,$ $M$ transitive, $jlambda=lambda>crit(j),$ $j^{primeprime}lambdainM.$

Recommendations

• Generalizations of the Kunen inconsistency
• The spectrum of elementary embeddings \(j: V \to V\)
• Non-existence of generic elementary embeddings into the ground model
• No elementary embedding from v into v is definable from parameters

Cites work

• Elementary embeddings and infinitary combinatorics
• scientific article; zbMATH DE number 4168669 (Why is no real title available?)
• scientific article; zbMATH DE number 3652325 (Why is no real title available?)
• scientific article; zbMATH DE number 734993 (Why is no real title available?)

Cited in

(11)

• Non-existence of generic elementary embeddings into the ground model
• Infinitary Jónsson functions and elementary embeddings
• Implications between strong large cardinal axioms
• Reflection of elementary embedding axioms on the \(L[V_{\lambda+1}]\) hierarchy
• An axiomatic re-characterization of the Kemeny rule
• Untestable Properties in the Kahr-Moore-Wang Class
• Guessing models and generalized Laver diamond
• Kunen and set theory
• Very large set axioms over constructive set theories
• Generalizations of the Kunen inconsistency
• No cardinal correct inner model elementarily embeds into the universe

This page was built for publication: A new proof of Kunen’s inconsistency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4890291)