A. Enayat

activity

20162020

most citedVariations on a Visserian Theme

2 citations · 2 across the 2 of their papers we have counts for

collaborators

Showing math.LOShow all

7 papers · 1 filter

math.LO2020

An unpublished theorem of Solovay, revisited

Ali Enayat, Vladimir Kanovei

A definable pair of disjoint non-OD sets of reals (hence, indiscernible sets) exists in the Sacks and $E_{0}$ -large generic extensions of the constructible universe $L$ .

math.LO2019

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 $M$ of PA (Peano arithmetic) is recursively saturated iff $\mat…

math.LO2019

Truth and Feasible Reducibility

Ali Enayat, Mateusz Łełyk, Bartosz Wcisło

Let $T$ be any of the three canonical truth theories $CT^{-}$ (Compositional truth without extra induction), $FS^{-}$ (Friedman--Sheard truth without extra…

math.LO2018

Topological models of arithmetic

Ali Enayat, Joel David Hamkins, Bartosz Wcisło

Ali Enayat had asked whether there is a nonstandard model of Peano arithmetic (PA) that can be represented as $⟨ Q, \oplus, \otimes ⟩$ , where $\oplus$ and $\otimes…

math.LO2018

Truth, Disjunction, and Induction

Ali Enayat, Fedor Pakhomov

By a well-known result of Kotlarski, Krajewski, and Lachlan (1981), first-order Peano arithmetic $P A$ can be conservatively extended to the theory $C T^{-} [P A]$ of a truth predicate…

math.LO2017★ 2 cited

Variations on a Visserian Theme

Ali Enayat

A first order theory T is said to be "tight" if for any two deductively closed extensions U and V of T (both of which are formulated in the language of T), U and V are bi-interpret…