Equivalence in Mathematical Foundations: A Critique of Bi-interpretability Proofs Between the Elementary Theory of the Category of Sets and Zermelo-Fraenkel Set Theory with Choice

Halvorson, HansMcConnell, MarkRosen, GideonGold-Rappe, Laney2025-08-072025-08-072025-04-28https://theses-dissertations.princeton.edu/handle/88435/dsp01kk91fq010en-USEquivalence in Mathematical Foundations: A Critique of Bi-interpretability Proofs Between the Elementary Theory of the Category of Sets and Zermelo-Fraenkel Set Theory with ChoicePrinceton University Senior Theses