Ali Enayat - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2023

Axiomatizations of Peano Arithmetic: a Truth-Theoretic ViewAli Enayat, Mateusz Lelyk. JSYML, 88(4):1526-1555, 2023. [doi]

2022

Set theoretical analogues of the Barwise-Schlipf theoremAli Enayat. APAL, 173(9):103158, 2022. [doi]

Condensable models of set theoryAli Enayat. AML, 61(3-4):299-315, 2022. [doi]

End extending models of set theory via power admissible coversZachiri McKenzie, Ali Enayat. APAL, 173(8):103132, 2022. [doi]

2021

Initial Self-Embeddings of Models of Set TheoryAli Enayat, Zachiri McKenzie. JSYML, 86(4):1584-1611, 2021. [doi]

An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisitedAli Enayat, Vladimir Kanovei. jml, 21(3), 2021. [doi]

2020

Truth and Feasible ReducibilityAli Enayat, Mateusz Lelyk, Bartosz Wcislo. JSYML, 85(1):367-421, 2020. [doi]

2019

Truth, disjunction, and inductionAli Enayat, Fedor Pakhomov. AML, 58(5-6):753-766, 2019. [doi]

2018

Elementary equivalence of rings with finitely generated additive groupsSaeideh Bahrami, Ali Enayat. APAL, 169(6):487-513, 2018. [doi]

Largest initial segments pointwise fixed by automorphisms of models of set theoryAli Enayat, Matt Kaufmann, Zachiri McKenzie. AML, 57(1-2):91-139, 2018. [doi]

Zfc Proves that the class of Ordinals is not Weakly Compact for Definable ClassesAli Enayat, Joel David Hamkins. JSYML, 83(1):146-164, 2018. [doi]

PrefaceAli Enayat, Massoud Pourmahdian, Ralf Schindler. AML, 57(1-2):1-2, 2018. [doi]

Iterated ultrapowers for the massesAli Enayat, Matt Kaufmann, Zachiri McKenzie. AML, 57(5-6):557-576, 2018. [doi]

2017

Marginalia on a Theorem of WoodinRasmus Blanck, Ali Enayat. JSYML, 82(1):359-374, 2017. [doi]

Unifying the model theory of first-order and second-order arithmetic viaAli Enayat, Tin Lok Wong. APAL, 168(6):1247-1283, 2017. [doi]

2010

PrefaceAli Enayat, Iraj Kalantari. APAL, 161(6):709-710, 2010. [doi]

2008

Model theory of the regularity and reflection schemesAli Enayat, Shahram Mohsenipour. AML, 47(5):447-464, 2008. [doi]

A standard model of Peano arithmetic with no conservative elementary extensionAli Enayat. APAL, 156(2-3):308-318, 2008. [doi]

2007

Automorphisms of models of arithmetic: A unified viewAli Enayat. APAL, 145(1):16-36, 2007. [doi]

2005

Models of set theory with definable ordinalsAli Enayat. AML, 44(3):363-385, 2005. [doi]

2004

Leibnizian models of set theoryAli Enayat. JSYML, 69(3):775-789, 2004. [doi]

2001

Trees and Keislers problemAli Enayat. AML, 40(4):273-276, 2001. [doi]

Power-Like Models of Set TheoryAli Enayat. JSYML, 66(4):1766-1782, 2001.

2000

δ as a Continuous Function of x and εAli Enayat. tamm, 107(2):151-155, 2000. [doi]

1990

Minimal elementary extensions of models of set theory and arithmeticAli Enayat. AML, 30(3):181-192, 1990. [doi]

1986

Conservative Extensions of Models of Set Theory and GeneralizationsAli Enayat. JSYML, 51(4):1005-1021, 1986.

1985

Weakly Compact Cardinals in Models of Set TheoryAli Enayat. JSYML, 50(2):476-486, 1985.

Sign in or sign up to see more results.

runs on WebDSL