TAKING REINHARDT’S POWER AWAY

DOI10.1017/JSL.2022.9MaRDI QIDQ5052016zbMATH OpenOpenAlexFDO

Authors Richard Matthews

Publication date 18 November 2022

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

Copyright license Creative Commons Attribution 4.0 International

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

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

Recommendations

• No elementary embedding from v into v is definable from parameters
• Reinhardt cardinals and iterates of V
• The spectrum of elementary embeddings \(j: V \to V\)
• Non-existence of generic elementary embeddings into the ground model
• Non-closure of the image model and absence of fixed points

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?

Cited in

(3)

• Very large set axioms over constructive set theories
• Taking Reinhardt's Power Away
• On a cofinal Reinhardt embedding without powerset

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)