Showing 2024Show all
2 papers · 1 filter
math.LO2024
On a cofinal Reinhardt embedding without Powerset
Hanul Jeon
In this paper, we provide a positive answer to the question of Matthews whether is consistent with a non-trivial cofinal Reinhardt elementary embedding $j\colon V\t…
math.LO2024
The behavior of higher proof theory I: Case
Hanul Jeon
Walsh [MR4525964, Zbl 1569.03151] has shown that comparing proof-theoretic ordinals is equivalent to comparing -consequence comparison and -reflection comparison, all…