Source author record

Ali Enayat

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO

Catalog footprint

Research overview

8works

1topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

End extending models of set theory via power admissible covers

Motivated by problems involving end extensions of models of set theory, we develop the rudiments of the power admissible cover construction (over ill-founded models of set theory), an extension of the machinery of admissible covers invented by Barwise as a versatile tool for generalizing model-theoretic results about countable well-founded models of set theory to countable ill-founded ones. Our development of the power admissible machinery allows us to obtain new results concerning powerset-preserving end extensions and rank extensions of countable models of subsystems of $\mathsf{ZFC}$ . The canonical extension $\mathsf{KP}^\mathcal{P}$ of Kripke-Platek set theory $\mathsf{KP}$ plays a key role in our work; one of our results refines a theorem of Rathjen by showing that $Σ_1^\mathcal{P}\text{-}\mathsf{Foundation}$ is provable in $\mathsf{KP}^\mathcal{P}$ (without invoking the axiom of choice).

preprint2022arXiv

Set theoretical analogues of the Barwise-Schlipf theorem

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 nonstandard models of ZFC that can be expanded to Goedel-Bernays class theory plus $Σ^1_1$ -Choice.

preprint2022arXiv

Set theory with a proper class of indiscernibles

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 of the paper shows that the purely set-theoretical consequences of this extension of ZFC coincide with the theorems of the system of set theory obtained by augmenting ZFC with the (Levy) scheme whose instances assert, for each natural number $n$ in the metatheory, that there is an $n$ -Mahlo cardinal $κ$ with the property that the initial segment of the universe determined by $κ$ is a $Σ_n$ -elementary submodel of the universe.

preprint2020arXiv

An unpublished theorem of Solovay, revisited

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$ .

preprint2020arXiv

The Barwise-Schlipf Theorem

In 1975 Barwise and Schlipf published a landmark paper whose main theorem asserts that a nonstandard model $\mathcal{M}$ of PA (Peano arithmetic) is recursively saturated iff $\mathcal{M}$ has an expansion that satisfies the subsystem $Δ_1^1$ - ${\sf CA}_0$ of second order arithmetic. In this paper we identify a crucial error in the Barwise-Schlipf proof of the right-to-left direction of the theorem, and additionally, we offer a correct proof of the problematic direction.

preprint2019arXiv

Truth and Feasible Reducibility

Let $\mathcal{T}$ be any of the three canonical truth theories $\textsf{CT}^-$ (Compositional truth without extra induction), $\textsf{FS}^-$ (Friedman--Sheard truth without extra induction), and $\textsf{KF}^-$ (Kripke--Feferman truth without extra induction), where the base theory of $\mathcal{T}$ is $\textsf{PA}$ (Peano arithmetic). We show that $\mathcal{T}$ is \textit{feasibly reducible to} $\textsf{PA}$ , i.e., there is a polynomial time computable function $f$ such that for any proof $π$ of an arithmetical sentence $ϕ$ in $\mathcal{T}$ , $f(π)$ is a proof of $ϕ$ in $\textsf{PA}$ . In particular, $\mathcal{T}$ has at most polynomial speed-up over $\textsf{PA}$ , in sharp contrast to the situation for $\mathcal{T}[\textsf{B}]$ for \textit{finitely axiomatizable} base theories $\textsf{B}$ .

preprint2016arXiv

Feferman's Forays into the Foundations of Category Theory

This paper is primarily concerned with assessing a set-theoretical system, $S^*$ , for the foundations of category theory suggested by Solomon Feferman. $S^*$ is an extension of NFU, and may be seen as an attempt to accommodate unrestricted categories such as the category of all groups (without any small/large restrictions), while still obtaining the benefits of ZFC on part of the domain. A substantial part of the paper is devoted to establishing an improved upper bound on the consistency strength of $S^*$ . The assessment of $S^*$ as a foundation of category theory is framed by the following general desiderata (R) and (S). (R) asks for the unrestricted existence of the category of all groups, the category of all categories, the category of all functors between two categories, etc., along with natural implementability of ordinary mathematics and category theory. (S) asks for a certain relative distinction between large and small sets, and the requirement that they both enjoy the full benefits of the $\mathrm{ZFC}$ axioms. $S^*$ satisfies (R) simply because it is an extension of NFU. By means of a recursive construction utilizing the notion of strongly cantorian sets, we argue that it also satisfies (S). Moreover, this construction yields a lower bound on the consistency strength of $S^*$ . We also exhibit a basic positive result for category theory internal to NFU that provides motivation for studying NFU-based foundations of category theory.

preprint2016arXiv

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

Given a model $\mathcal{M}$ of set theory, and a nontrivial automorphism $j$ of $\mathcal{M}$ , let $\mathcal{I}_{\mathrm{fix}}(j)$ be the submodel of $\mathcal{M}$ whose universe consists of elements $m$ of $\mathcal{M}$ such that $j(x)=x$ for every $x$ in the transitive closure of $m$ (where the transitive closure of $m$ is computed within $\mathcal{M}$ ). Here we study the class $\mathcal{C}$ of structures of the form $\mathcal{I}_{\mathrm{fix}}(j)$ , where the ambient model $\mathcal{M}$ satisfies a frugal yet robust fragment of $\mathrm{ZFC}$ known as $\mathrm{MOST}$ , and $j(m)=m$ whenever $m$ is a finite ordinal in the sense of $\mathcal{M}$ . We show that every structure in $\mathcal{C}$ satisfies $\mathrm{MOST}+Δ_0^\mathcal{P}\textrm{-Collection}$ . We also show that the following countable structures are in $\mathcal{C}$ : (a) transitive models of $\mathrm{MOST}+Δ_0^\mathcal{P}\textrm{-Collection}$ , (b) recursively saturated models of $\mathrm{MOST}+Δ_0^\mathcal{P}\textrm{-Collection}$ , (c) models of $\mathrm{ZFC}$ . It follows from (b) that the theory of $\mathcal{C}$ is precisely $\mathrm{MOST+Δ}_{0}^{\mathcal{P}}$ -Collection. We conclude by proving a refinement of a result due to Amir Togha.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Ali Enayat

Research overview

Is this your work?

8 publications

End extending models of set theory via power admissible covers

Set theoretical analogues of the Barwise-Schlipf theorem

Set theory with a proper class of indiscernibles

An unpublished theorem of Solovay, revisited

The Barwise-Schlipf Theorem

Truth and Feasible Reducibility

Feferman's Forays into the Foundations of Category Theory

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

See the researcher in context

Building this map preview