A. Enayat

activity

20162026

most citedTruth and Feasible Reducibility

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

collaborators

Showing 2020Show all

3 papers · 1 filter

math.LO2020★ 1 cited

Set theory with a proper class of indiscernibles

Ali Enayat

We investigate an extension of ZFC set theory (in an extended language) that stipulates the existence of a proper class of indiscernibles over the universe. One of the main results…

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.LO2020★ 2 cited

Set theoretical analogues of the Barwise-Schlipf theorem

Ali Enayat

We characterize nonstandard models of ZF (of arbitrary cardinality) that can be expanded to Goedel-Bernays class theory plus $Δ_{1}^{1}$ -Comprehension. We also characterize countable n…