TAKING REINHARDT’S POWER AWAY
From MaRDI portal
Publication:5052016
Recommendations
Cites work
- scientific article; zbMATH DE number 3532947 (Why is no real title available?)
- scientific article; zbMATH DE number 941487 (Why is no real title available?)
- A model of second-order arithmetic satisfying AC but not DC
- Characterizations of pretameness and the Ord-cc
- Class forcing, the forcing theorem and Boolean completions
- Elementary embeddings and infinitary combinatorics
- Fine structure and class forcing
- Independence results concerning Dedekindfinite sets
- No elementary embedding from v into v is definable from parameters
- Preserving dependent choice
- Set Theory
- Strong axioms of infinity and elementary embeddings
- Sufficient conditions for the forcing theorem, and turning proper classes into sets
- The Morris model
- The higher infinite. Large cardinals in set theory from their beginnings.
- The interdependence of certain consequences of the axiom of choice
- The vectorization of ITPACK 2C
- What is the theory ZFC without power set?
This page was built for publication: TAKING REINHARDT’S POWER AWAY
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5052016)