8 citations · 17 across the 19 of their papers we have counts for
4 papers · 2 filters
What David Teaches Goliath: An Inevitable Extension of ZFC
Ali Enayat
We examine the metamathematical significance of the Levy scheme , which asserts, for each natural number , the existence of an -Mahlo cardinal such that $V_κ\prec_{Σ_n…
Tarskian truth theories over set theory
Ali Enayat
This work uses mostly model-theoretic methods to establish new proof-theoretic theorems about several axiomatic theories of truth over KP (Kripke-Platek set theory) and stronger th…
Corrigendum & Addendum to "Categoricity-like Properties in the First Order Realm"
Ali Enayat, Mateusz Łełyk
This note complements our paper "Categoricity-like properties in the first order realm" (Journal for the Philosophy of Mathematics, 2024).
Corrigendum & Addendum to: Variations on a Visserian theme
Ali Enayat
We revisit the proof of solidity of KM (Kelley-Morse theory of classes), as presented in the 2016 paper "Variations on a Visserian theme", so as to indicate the role of the scheme…