On a cofinal Reinhardt embedding without powerset
From MaRDI portal
Cites work
- DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS
- scientific article; zbMATH DE number 3829895 (Why is no real title available?)
- scientific article; zbMATH DE number 3508498 (Why is no real title available?)
- Hyperclass forcing in Morse-Kelley class theory
- Implications between strong large cardinal axioms
- No elementary embedding from v into v is definable from parameters
- On the consistency of ZF with an elementary embedding from \(V_{\lambda + 2}\) into \(V_{\lambda + 2}\)
- On the regular extension axiom and its variants
- Periodicity in the cumulative hierarchy
- Strong axioms of infinity and elementary embeddings
- Subsystems of second order arithmetic
- TAKING REINHARDT’S POWER AWAY
- What is the theory ZFC without power set?
- ZFC without power set II: Reflection strikes back
This page was built for publication: On a cofinal Reinhardt embedding without powerset
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6930709)