Taking Reinhardt's Power Away

Richard Matthews

We study the notion of non-trivial elementary embeddings $j:V\to V$ under the assumption that $V$ satisfies $ZFC$ without Power Set but with the Collection Scheme. We sh…