2021/07/28 by Gabriel Goldberg, Goldberg, Gabriel
Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO)
paper · pdf · doi:10.48550/arxiv.2107.13119
openalex publication_date 2021/07/28 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
A cardinal is weakly Reinhardt if it is the critical point of an elementary embedding from the universe of sets into a model that contains the double powerset of every ordinal. This note establishes the equiconsistency of a proper class of weakly Reinhardt cardinals with a proper class of Reinhardt cardinals in the context of second-order set theory without the Axiom of Choice.