No elementary embedding from v into v is definable from parameters
From MaRDI portal
Recommendations
Cited in
(20)- Non-existence of generic elementary embeddings into the ground model
- The iterability hierarchy above \(\mathsf {I3}\)
- I0 and rank-into-rank axioms
- Reinhardt cardinals and iterates of V
- The spectrum of elementary embeddings \(j: V \to V\)
- A new proof of Kunen’s inconsistency
- Embeddings into outer models
- TAKING REINHARDT’S POWER AWAY
- Naturality and Definability, I
- Standard sets in nonstandard set theory
- Jonsson-like partition relations and j: V → V
- VARIETIES OF CLASS-THEORETIC POTENTIALISM
- Extenders under \(\mathrm{ZF}\) and constructibility of rank-to-rank embeddings
- Fregean abstraction in Zermelo-Fraenkel set theory: a deflationary account
- Realizability models for large cardinals
- Intrinsic justification for large cardinals and structural reflection
- On a cofinal Reinhardt embedding without powerset
- On the consistency of ZF with an elementary embedding from \(V_{\lambda + 2}\) into \(V_{\lambda + 2}\)
- Very large set axioms over constructive set theories
- Generalizations of the Kunen inconsistency
This page was built for publication: No elementary embedding from v into v is definable from parameters
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4948529)
