31 found
Order:
  1.  43
    Truth, disjunction, and induction.Ali Enayat & Fedor Pakhomov - 2019 - Archive for Mathematical Logic 58 (5-6):753-766.
    By a well-known result of Kotlarski et al., first-order Peano arithmetic \ can be conservatively extended to the theory \ of a truth predicate satisfying compositional axioms, i.e., axioms stating that the truth predicate is correct on atomic formulae and commutes with all the propositional connectives and quantifiers. This result motivates the general question of determining natural axioms concerning the truth predicate that can be added to \ while maintaining conservativity over \. Our main result shows that conservativity fails even (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  2.  31
    Truth and feasible reducibility.Ali Enayat, Mateusz Łełyk & Bartosz Wcisło - 2020 - Journal of Symbolic Logic 85 (1):367-421.
    Let ${\cal T}$ be any of the three canonical truth theories CT^− (compositional truth without extra induction), FS^− (Friedman–Sheard truth without extra induction), or KF^− (Kripke–Feferman truth without extra induction), where the base theory of ${\cal T}$ is PA. We establish the following theorem, which implies that ${\cal T}$ has no more than polynomial speed-up over PA. Theorem.${\cal T}$is feasibly reducible to PA, in the sense that there is a polynomial time computable function f such that for every ${\cal T}$-proof (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  3. New Constructions of Satisfaction Classes.Albert Visser & Ali Enayat - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer.
    No categories
     
    Export citation  
     
    Bookmark   17 citations  
  4.  27
    Axiomatizations of Peano Arithmetic: A Truth-Theoretic View.Ali Enayat & Mateusz Łełyk - 2023 - Journal of Symbolic Logic 88 (4):1526-1555.
    We employ the lens provided by formal truth theory to study axiomatizations of Peano Arithmetic ${\textsf {(PA)}}$. More specifically, let Elementary Arithmetic ${\textsf {(EA)}}$ be the fragment $\mathsf {I}\Delta _0 + \mathsf {Exp}$ of ${\textsf {PA}}$, and let ${\textsf {CT}}^-[{\textsf {EA}}]$ be the extension of ${\textsf {EA}}$ by the commonly studied axioms of compositional truth ${\textsf {CT}}^-$. We investigate both local and global properties of the family of first order theories of the form ${\textsf {CT}}^-[{\textsf {EA}}] +\alpha $, where $\alpha (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  39
    Fixed points of self-embeddings of models of arithmetic.Saeideh Bahrami & Ali Enayat - 2018 - Annals of Pure and Applied Logic 169 (6):487-513.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  6.  17
    Condensable models of set theory.Ali Enayat - 2022 - Archive for Mathematical Logic 61 (3):299-315.
    A model \ of ZF is said to be condensable if \\prec _{\mathbb {L}_{{\mathcal {M}}}} {\mathcal {M}}\) for some “ordinal” \, where \:=,\in )^{{\mathcal {M}}}\) and \ is the set of formulae of the infinitary logic \ that appear in the well-founded part of \. The work of Barwise and Schlipf in the 1970s revealed the fact that every countable recursively saturated model of ZF is cofinally condensable \prec _{\mathbb {L}_{{\mathcal {M}}}}{\mathcal {M}}\) for an unbounded collection of \). Moreover, it (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  30
    Unifying the model theory of first-order and second-order arithmetic via WKL 0 ⁎.Ali Enayat & Tin Lok Wong - 2017 - Annals of Pure and Applied Logic 168 (6):1247-1283.
  8.  30
    Iterated ultrapowers for the masses.Ali Enayat, Matt Kaufmann & Zachiri McKenzie - 2018 - Archive for Mathematical Logic 57 (5-6):557-576.
    We present a novel, perspicuous framework for building iterated ultrapowers. Furthermore, our framework naturally lends itself to the construction of a certain type of order indiscernibles, here dubbed tight indiscernibles, which are shown to provide smooth proofs of several results in general model theory.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  28
    Largest initial segments pointwise fixed by automorphisms of models of set theory.Ali Enayat, Matt Kaufmann & Zachiri McKenzie - 2018 - Archive for Mathematical Logic 57 (1-2):91-139.
    Given a model \ of set theory, and a nontrivial automorphism j of \, let \\) be the submodel of \ whose universe consists of elements m of \ such that \=x\) for every x in the transitive closure of m ). Here we study the class \ of structures of the form \\), where the ambient model \ satisfies a frugal yet robust fragment of \ known as \, and \=m\) whenever m is a finite ordinal in the sense (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  18
    Set theoretical analogues of the Barwise-Schlipf theorem.Ali Enayat - 2022 - Annals of Pure and Applied Logic 173 (9):103158.
  11.  58
    Models of set theory with definable ordinals.Ali Enayat - 2005 - Archive for Mathematical Logic 44 (3):363-385.
    A DO model (here also referred to a Paris model) is a model of set theory all of whose ordinals are first order definable in . Jeffrey Paris (1973) initiated the study of DO models and showed that (1) every consistent extension T of ZF has a DO model, and (2) for complete extensions T, T has a unique DO model up to isomorphism iff T proves V=OD. Here we provide a comprehensive treatment of Paris models. Our results include the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  12.  31
    Automorphisms of models of arithmetic: a unified view.Ali Enayat - 2007 - Annals of Pure and Applied Logic 145 (1):16-36.
    We develop the method of iterated ultrapower representation to provide a unified and perspicuous approach for building automorphisms of countable recursively saturated models of Peano arithmetic . In particular, we use this method to prove Theorem A below, which confirms a long-standing conjecture of James Schmerl.Theorem AIf is a countable recursively saturated model of in which is a strong cut, then for any there is an automorphism j of such that the fixed point set of j is isomorphic to .We (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  13.  19
    A standard model of Peano Arithmetic with no conservative elementary extension.Ali Enayat - 2008 - Annals of Pure and Applied Logic 156 (2):308-318.
    The principal result of this paper answers a long-standing question in the model theory of arithmetic [R. Kossak, J. Schmerl, The Structure of Models of Peano Arithmetic, Oxford University Press, 2006, Question 7] by showing that there exists an uncountable arithmetically closed family of subsets of the set ω of natural numbers such that the expansion of the standard model of Peano arithmetic has no conservative elementary extension, i.e., for any elementary extension of , there is a subset of ω* (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  14.  26
    Marginalia on a theorem of Woodin.Rasmus Blanck & Ali Enayat - 2017 - Journal of Symbolic Logic 82 (1):359-374.
    Let$\left\langle {{W_n}:n \in \omega } \right\rangle$be a canonical enumeration of recursively enumerable sets, and supposeTis a recursively enumerable extension of PA (Peano Arithmetic) in the same language. Woodin (2011) showed that there exists an index$e \in \omega$(that depends onT) with the property that if${\cal M}$is a countable model ofTand for some${\cal M}$-finite sets,${\cal M}$satisfies${W_e} \subseteq s$, then${\cal M}$has an end extension${\cal N}$that satisfiesT+We=s.Here we generalize Woodin’s theorem to all recursively enumerable extensionsTof the fragment${{\rm{I}\rm{\Sigma }}_1}$of PA, and remove the countability restriction (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  73
    Power-like models of set theory.Ali Enayat - 2001 - Journal of Symbolic Logic 66 (4):1766-1782.
    A model M = (M, E,...) of Zermelo-Fraenkel set theory ZF is said to be θ-like, where E interprets ∈ and θ is an uncountable cardinal, if |M| = θ but $|\{b \in M: bEa\}| for each a ∈ M. An immediate corollary of the classical theorem of Keisler and Morley on elementary end extensions of models of set theory is that every consistent extension of ZF has an ℵ 1 -like model. Coupled with Chang's two cardinal theorem this implies (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  16.  26
    Indiscernibles and satisfaction classes in arithmetic.Ali Enayat - 2024 - Archive for Mathematical Logic 63 (5):655-677.
    We investigate the theory Peano Arithmetic with Indiscernibles ( \(\textrm{PAI}\) ). Models of \(\textrm{PAI}\) are of the form \(({\mathcal {M}},I)\), where \({\mathcal {M}}\) is a model of \(\textrm{PA}\), _I_ is an unbounded set of order indiscernibles over \({\mathcal {M}}\), and \(({\mathcal {M}},I)\) satisfies the extended induction scheme for formulae mentioning _I_. Our main results are Theorems A and B following. _Theorem A._ _Let_ \({\mathcal {M}}\) _be a nonstandard model of_ \(\textrm{PA}\) _ of any cardinality_. \(\mathcal {M }\) _has an expansion (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  97
    Leibnizian models of set theory.Ali Enayat - 2004 - Journal of Symbolic Logic 69 (3):775-789.
    A model is said to be Leibnizian if it has no pair of indiscernibles. Mycielski has shown that there is a first order axiom LM (the Leibniz-Mycielski axiom) such that for any completion T of Zermelo-Fraenkel set theory ZF, T has a Leibnizian model if and only if T proves LM. Here we prove: THEOREM A. Every complete theory T extending ZF + LM has $2^{\aleph_{0}}$ nonisomorphic countable Leibnizian models. THEOREM B. If $\kappa$ is aprescribed definable infinite cardinal of a (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  18.  16
    Zfc proves that the class of ordinals is not weakly compact for definable classes.Ali Enayat & Joel David Hamkins - 2018 - Journal of Symbolic Logic 83 (1):146-164.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  59
    Model theory of the regularity and reflection schemes.Ali Enayat & Shahram Mohsenipour - 2008 - Archive for Mathematical Logic 47 (5):447-464.
    This paper develops the model theory of ordered structures that satisfy Keisler’s regularity scheme and its strengthening REF ${(\mathcal{L})}$ (the reflection scheme) which is an analogue of the reflection principle of Zermelo-Fraenkel set theory. Here ${\mathcal{L}}$ is a language with a distinguished linear order <, and REF ${(\mathcal {L})}$ consists of formulas of the form $$\exists x \forall y_{1} < x \ldots \forall y_{n} < x \varphi (y_{1},\ldots ,y_{n})\leftrightarrow \varphi^{ < x}(y_1, \ldots ,y_n),$$ where φ is an ${\mathcal{L}}$ -formula, φ (...))
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  9
    Manteghe Riazi.M. Ardeshir & Ali Enayat - 2008 - Bulletin of Symbolic Logic 14 (1):118-119.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  29
    An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited.Ali Enayat & Vladimir Kanovei - 2020 - Journal of Mathematical Logic 21 (3):2150014.
    A definable pair of disjoint non-OD sets of reals exists in the Sacks and ????0-large generic extensions of the constructible universe L. More specifically, if a∈2ω is eith...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  36
    Conservative extensions of models of set theory and generalizations.Ali Enayat - 1986 - Journal of Symbolic Logic 51 (4):1005-1021.
  23.  12
    Initial self-embeddings of models of set theory.Ali Enayat & Zachiri Mckenzie - 2021 - Journal of Symbolic Logic 86 (4):1584-1611.
    By a classical theorem of Harvey Friedman, every countable nonstandard model $\mathcal {M}$ of a sufficiently strong fragment of ZF has a proper rank-initial self-embedding j, i.e., j is a self-embedding of $\mathcal {M}$ such that $j[\mathcal {M}]\subsetneq \mathcal {M}$, and the ordinal rank of each member of $j[\mathcal {M}]$ is less than the ordinal rank of each element of $\mathcal {M}\setminus j[\mathcal {M}]$. Here, we investigate the larger family of proper initial-embeddings j of models $\mathcal {M}$ of fragments of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  38
    Minimal elementary extensions of models of set theory and arithmetic.Ali Enayat - 1990 - Archive for Mathematical Logic 30 (3):181-192.
    TheoremEvery model of ZFChas a conservative elementary extension which possesses a cofinal minimal elementary extension.An application of Boolean ultrapowers to models of full arithmetic is also presented.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  32
    Preface.Ali Enayat & Iraj Kalantari - 2010 - Annals of Pure and Applied Logic 161 (6):709-710.
  26.  14
    Preface.Ali Enayat, Massoud Pourmahdian & Ralf Schindler - 2018 - Archive for Mathematical Logic 57 (1-2):1-2.
    Generalizing Woodin’s extender algebra, cf. e.g. Steel (in: Kanamori (ed) Handbook of set theory, Springer, Berlin, 2010), we isolate the long extender algebra as a general version of Bukowský’s forcing, cf. Bukovský (Fundam Math 83:35–46, 1973), in the presence of a supercompact cardinal.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  27.  26
    Trees and Keislers problem.Ali Enayat - 2001 - Archive for Mathematical Logic 40 (4):273-276.
    We give a new negative solution to Keisler's problem regarding Skolem functions and elementary extensions. In contrast to existing ad hoc solutions due to Payne, Knight, and Lachlan, our solution uses well-known models.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  27
    The first iranian summer school in logic.Ali Enayat - 1993 - Journal of Symbolic Logic 58 (4):1476.
  29.  63
    Weakly compact cardinals in models of set theory.Ali Enayat - 1985 - Journal of Symbolic Logic 50 (2):476-486.
  30.  14
    (1 other version)2008–2009 Winter Meeting of the Association for Symbolic Logic.Ali Enayat & Barbara F. Csima - 2009 - Bulletin of Symbolic Logic 15 (2):237.
  31.  18
    End extending models of set theory via power admissible covers.Zachiri McKenzie & Ali Enayat - 2022 - Annals of Pure and Applied Logic 173 (8):103132.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark