8 citations · 17 across the 19 of their papers we have counts for
5 papers · 1 filter
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…
Mathematics in the age of the reproduction of intelligence
Ali Enayat
Drawing on Walter Benjamin's account of technological reproducibility and aura in relation to art, together with insights from Yehuda Rav and Ludwig Wittgenstein, this speculative…
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…