Ali Enayat

According to our database, Ali Enayat authored at least 27 papers between 1985 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Axiomatizations of Peano Arithmetic: a Truth-Theoretic View.

Ali Enayat, Mateusz Lelyk

J. Symb. Log., 2023

2022

End extending models of set theory via power admissible covers.

Zachiri McKenzie, Ali Enayat

Ann. Pure Appl. Log., 2022

Set theoretical analogues of the Barwise-Schlipf theorem.

Ali Enayat

Ann. Pure Appl. Log., 2022

Condensable models of set theory.

Ali Enayat

Arch. Math. Log., 2022

2021

Initial Self-Embeddings of Models of Set Theory.

Ali Enayat, Zachiri McKenzie

J. Symb. Log., 2021

An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited.

Ali Enayat, Vladimir Kanovei

J. Math. Log., 2021

2020

Truth and Feasible Reducibility.

Ali Enayat, Mateusz Lelyk, Bartosz Wcislo

J. Symb. Log., 2020

2019

Truth, disjunction, and induction.

Ali Enayat, Fedor Pakhomov

Arch. Math. Log., 2019

2018

Zfc Proves that the class of Ordinals is not Weakly Compact for Definable Classes.

Ali Enayat, Joel David Hamkins

J. Symb. Log., 2018

Elementary equivalence of rings with finitely generated additive groups.

Saeideh Bahrami, Ali Enayat

Ann. Pure Appl. Log., 2018

Preface.

Ali Enayat, Massoud Pourmahdian, Ralf Schindler

Arch. Math. Log., 2018

Iterated ultrapowers for the masses.

Ali Enayat, Matt Kaufmann, Zachiri McKenzie

Arch. Math. Log., 2018

Largest initial segments pointwise fixed by automorphisms of models of set theory.

Ali Enayat, Matt Kaufmann, Zachiri McKenzie

Arch. Math. Log., 2018

2017

Marginalia on a Theorem of Woodin.

Rasmus Blanck, Ali Enayat

J. Symb. Log., 2017

Unifying the model theory of first-order and second-order arithmetic via.

Ali Enayat, Tin Lok Wong

Ann. Pure Appl. Log., 2017

2010

Preface.

Ali Enayat, Iraj Kalantari

Ann. Pure Appl. Log., 2010

2008

A standard model of Peano arithmetic with no conservative elementary extension.

Ali Enayat

Ann. Pure Appl. Log., 2008

Model theory of the regularity and reflection schemes.

Ali Enayat, Shahram Mohsenipour

Arch. Math. Log., 2008

2007

Automorphisms of models of arithmetic: A unified view.

Ali Enayat

Ann. Pure Appl. Log., 2007

2005

Models of set theory with definable ordinals.

Ali Enayat

Arch. Math. Log., 2005

2004

Leibnizian models of set theory.

Ali Enayat

J. Symb. Log., 2004

2001

Power-Like Models of Set Theory.

Ali Enayat

J. Symb. Log., 2001

Trees and Keislers problem.

Ali Enayat

Arch. Math. Log., 2001

2000

δ as a Continuous Function of x and ε.

Ali Enayat

Am. Math. Mon., 2000

1990

Minimal elementary extensions of models of set theory and arithmetic.

Ali Enayat

Arch. Math. Log., 1990

1986

Conservative Extensions of Models of Set Theory and Generalizations.

Ali Enayat

J. Symb. Log., 1986

1985

Weakly Compact Cardinals in Models of Set Theory.

Ali Enayat

J. Symb. Log., 1985