TAKING REINHARDT’S POWER AWAY

DOI10.1017/jsl.2022.9OpenAlexW4210831422MaRDI QIDQ5052016

Richard Matthews

Publication date: 18 November 2022

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

large cardinalselementary embeddingsdependent choice schemeset theory without power set

Mathematics Subject Classification ID

Large cardinals (03E55) Axiomatics of classical set theory and its fragments (03E30) Axiom of choice and related propositions (03E25)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fine structure and class forcing
• Characterizations of pretameness and the Ord-cc
• What is the theory without power set?
• CLASS FORCING, THE FORCING THEOREM AND BOOLEAN COMPLETIONS
• The vectorization of ITPACK 2C
• Elementary embeddings and infinitary combinatorics
• Independence results concerning Dedekindfinite sets
• Strong axioms of infinity and elementary embeddings
• Set Theory
• No elementary embedding from v into v is definable from parameters
• The Morris model
• A model of second-order arithmetic satisfying AC but not DC
• The interdependence of certain consequences of the axiom of choice
• Sufficient conditions for the forcing theorem, and turning proper classes into sets
• Preserving Dependent Choice