6 papers
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…
Models of Set Theory: Extensions and Dead-ends
Ali Enayat
This paper is a contribution to the study of extensions of arbitrary models of ZF (Zermelo-Fraenkel set theory), with no regard to countability or well-foundedness of the models in…
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…
The Mostowski Bridge
Ali Enayat
In 1950, Novak and Mostowski showed that GB (Gödel-Bernays theory of classes) is conservative over ZF, and therefore by Gödel's second incompleteness theorem the consistency of ZF…
Satisfaction classes with approximate disjunctive correctness
Ali Enayat
We present two new constructions of satisfaction/truth classes over models of PA (Peano Arithmetic) that provide a foil to the fact that the existence of a disjunctively correct fu…