Taking Reinhardt's Power Away

DOI10.1017/JSL.2022.9arXiv2009.01127MaRDI QIDQ6348253FDOQ6348253

Authors: Richard Matthews 

Publication date: 2 September 2020

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.

Mathematics Subject Classification ID

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

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)