8 citations · 17 across the 19 of their papers we have counts for
4 papers · 1 filter
The Barwise-Schlipf Theorem
Ali Enayat, James H. Schmerl
In 1975 Barwise and Schlipf published a landmark paper whose main theorem asserts that a nonstandard model of PA (Peano arithmetic) is recursively saturated iff $\mat…
Condensable models of set theory
Ali Enayat
We study models M of set theory that are "condensable", in the sense that there is an "ordinal" v of M such that the rank initial segment of M determined by v is both isomorphic to…
Initial self-embeddings of models of set theory
Ali Enayat, Zachiri McKenzie
By a classical theorem of Harvey Friedman (1973), every countable nonstandard model of a sufficiently strong fragment of ZF has a proper rank-initial self-embedding $…
Truth and Feasible Reducibility
Ali Enayat, Mateusz Łełyk, Bartosz Wcisło
Let be any of the three canonical truth theories (Compositional truth without extra induction), (Friedman--Sheard truth without extra…