TAKING REINHARDT’S POWER AWAY

DOI10.1017/JSL.2022.9OpenAlexW4210831422MaRDI QIDQ5052016FDOQ5052016

Authors: Richard Matthews 

Publication date: 18 November 2022

Published in: 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

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

Cites Work

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

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)