Ali Enayat

Available identifiers

zbMath Open enayat.aliMaRDI QIDQ204231

List of research outcomes

Publication	Date of Publication	Type
AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW	2023-12-22	Paper
Set theory with a proper class of indiscernibles	2022-08-30	Paper
Set theoretical analogues of the Barwise-Schlipf theorem	2022-08-02	Paper
Condensable models of set theory	2022-06-14	Paper
End extending models of set theory via power admissible covers	2022-06-08	Paper
Topological models of arithmetic	2022-02-11	Paper
INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY	2022-01-17	Paper
An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited	2021-11-03	Paper
The Barwise-Schlipf theorem	2021-01-26	Paper
TRUTH AND FEASIBLE REDUCIBILITY	2020-04-17	Paper
https://portal.mardi4nfdi.de/entity/Q5222077	2020-03-30	Paper
Feferman’s Forays into the Foundations of Category Theory	2020-02-05	Paper
Variations on a Visserian Theme	2019-07-24	Paper
Truth, disjunction, and induction	2019-07-04	Paper
Iterated ultrapowers for the masses	2018-08-16	Paper
ZFC PROVES THAT THE CLASS OF ORDINALS IS NOT WEAKLY COMPACT FOR DEFINABLE CLASSES	2018-05-02	Paper
Fixed points of self-embeddings of models of arithmetic	2018-04-06	Paper
Largest initial segments pointwise fixed by automorphisms of models of set theory	2018-02-09	Paper
Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)	2017-08-29	Paper
MARGINALIA ON A THEOREM OF WOODIN	2017-06-01	Paper
https://portal.mardi4nfdi.de/entity/Q3118396	2012-03-02	Paper
An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN	2011-12-02	Paper
A standard model of Peano arithmetic with no conservative elementary extension	2009-01-28	Paper
Model theory of the regularity and reflection schemes	2008-08-18	Paper
Automorphisms of models of arithmetic: a unified view	2007-02-14	Paper
Automorphisms of models of bounded arithmetic	2007-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q5393634	2006-10-23	Paper
Leibnizian models of set theory	2005-08-29	Paper
Models of set theory with definable ordinals	2005-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q4656800	2005-03-14	Paper
On the Leibniz–Mycielski axiom in set theory	2004-11-29	Paper
Counting models of set theory	2002-08-27	Paper
Power-like models of set theory	2002-04-29	Paper
δ as a Continuous Function of x and ɛ	2001-11-26	Paper
Trees and Keisler's problem	2001-09-19	Paper
https://portal.mardi4nfdi.de/entity/Q4247804	2000-01-09	Paper
Minimal elementary extensions of models of set theory and arithmetic	1990-01-01	Paper
Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic	1988-01-01	Paper
Conservative extensions of models of set theory and generalizations	1986-01-01	Paper
Weakly compact cardinals in models of set theory	1985-01-01	Paper
On Certain Elementary Extensions of Models of Set Theory	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3915632	1981-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ali Enayat