Zobrazeno 1 - 10
of 204
pro vyhledávání: '"ENAYAT, ALI"'
Autor:
Enayat, Ali
This paper is a contribution to the study of extensions of arbitrary models of ZF (Zermelo-Fraenkel set theory), with no regard to countability or well-foundedness of the models involved. We present some new constructions of certain types of extensio
Externí odkaz:
http://arxiv.org/abs/2406.14790
Autor:
Enayat, Ali, Visser, Albert
Our main result (Theorem A) shows the incompleteness of any consistent sequential theory T formulated in a finite language such that T is axiomatized by a collection of sentences of bounded quantifier-alternation-depth. Our proof employs an appropria
Externí odkaz:
http://arxiv.org/abs/2311.14025
Autor:
Enayat, Ali
We present two new constructions of satisfaction/truth classes over models of PA (Peano Arithmetic) that provide a foil to the fact that the existence of a disjunctively correct full truth class over a model M of PA implies that Con(PA) holds in M.
Externí odkaz:
http://arxiv.org/abs/2308.07463
Autor:
Enayat, Ali
We investigate the theory PAI (Peano Arithmetic with Indiscernibles). Models of PAI are of the form (M, I), where M is a model of PA, I is an unbounded set of order indiscernibles over M, and (M, I) satisfies the extended induction scheme for formula
Externí odkaz:
http://arxiv.org/abs/2212.08411
Autor:
McKenzie, Zachiri, Enayat, Ali
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 Barwis
Externí odkaz:
http://arxiv.org/abs/2108.02677
Autor:
Enayat, Ali
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 th
Externí odkaz:
http://arxiv.org/abs/2008.07706
Autor:
Enayat, Ali, Kanovei, Vladimir
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$.
Comment: More thoroughful treatment of Lemma 4.3
Comment: More thoroughful treatment of Lemma 4.3
Externí odkaz:
http://arxiv.org/abs/2001.11058
Autor:
Enayat, Ali
We characterize nonstandard models of ZF (of arbitrary cardinality) that can be expanded to Goedel-Bernays class theory plus $\Delta^1_1$-Comprehension. We also characterize countable nonstandard models of ZFC that can be expanded to Goedel-Bernays c
Externí odkaz:
http://arxiv.org/abs/2001.09243
Autor:
Enayat, Ali, Schmerl, James H.
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 $\Delta_1^1$-${
Externí odkaz:
http://arxiv.org/abs/1911.05117
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.