Taking Reinhardt's Power Away

DOI10.1017/JSL.2022.9MaRDI QIDQ6348253arXivFDO

Authors Richard Matthews

Publication date 2 September 2020

Mathematics Subject Classification ID

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

Abstract: We study the notion of non-trivial elementary embeddings $j:VightarrowV$ under the assumption that $V$ satisfies $ZFC$ without Power Set but with the Collection Scheme. We show that no such embedding can exist under the additional assumption that it is cofinal and either $V_{extrmcrit(j)}$ is a set or that the Dependent Choice Schemes holds. We then study failures of instances of collection in symmetric submodels of class forcings.

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 Q6348253)