A. Enayat

activity

20162026

most citedTruth and Feasible Reducibility

8 citations · 17 across the 19 of their papers we have counts for

collaborators

Showing 2018Show all

2 papers · 1 filter

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…