Mathematics, 1934-2025
Permanent URI for this collectionhttps://theses-dissertations.princeton.edu/handle/88435/dsp01z029p4795
Permanent URI for this collectionhttps://theses-dissertations.princeton.edu/handle/88435/dsp01z029p4795
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