26 found
Order:
  1.  86
    Omitting types for finite variable fragments and complete representations of algebras.Hajnal Andréka, István Németi & Tarek Sayed Ahmed - 2008 - Journal of Symbolic Logic 73 (1):65-89.
    We give a novel application of algebraic logic to first order logic. A new, flexible construction is presented for representable but not completely representable atomic relation and cylindric algebras of dimension n (for finite n > 2) with the additional property that they are one-generated and the set of all n by n atomic matrices forms a cylindric basis. We use this construction to show that the classical Henkin-Orey omitting types theorem fails for the finite variable fragments of first order (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  2.  74
    On neat reducts of algebras of logic.Tarek Sayed Ahmed & Istvan Németi - 2001 - Studia Logica 68 (2):229-262.
    SC , CA , QA and QEA stand for the classes of Pinter's substitution algebras, Tarski's cylindric algebras, Halmos' quasipolyadic algebras, and quasipolyadic equality algebras of dimension , respectively. Generalizing a result of Németi on cylindric algebras, we show that for K {SC, CA, QA, QEA} and ordinals , the class Nr K of -dimensional neat reducts of -dimensional K algebras, though closed under taking homomorphic images and products, is not closed under forming subalgebras (i.e. is not a variety) if (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  3.  17
    The neat embedding problem for algebras other than cylindric algebras and for infinite dimensions.Robin Hirsch & Tarek Sayed Ahmed - 2014 - Journal of Symbolic Logic 79 (1):208-222.
  4. Martin's axiom, omitting types, and complete representations in algebraic logic.Tarek Sayed Ahmed - 2002 - Studia Logica 72 (2):285 - 309.
    We give a new characterization of the class of completely representable cylindric algebras of dimension 2 #lt; n w via special neat embeddings. We prove an independence result connecting cylindric algebra to Martin''s axiom. Finally we apply our results to finite-variable first order logic showing that Henkin and Orey''s omitting types theorem fails for L n, the first order logic restricted to the first n variables when 2 #lt; n#lt;w. L n has been recently (and quite extensively) studied as a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  5. A Modeltheoretic Solution to a Problem of Tarski.Tarek Sayed Ahmed - 2002 - Mathematical Logic Quarterly 48 (3):343-355.
    Let 1 n. We show that the class NrnCAβ of n-dimensional neat reducts of β-dimensional cylindric algebras is not closed under forming elementary subalgebras. This solves a long-standing open problem of Tarski and his co-authors Andréka, Henkin, Monk and Németi. The proof uses genuine model-theoretic arguments.
     
    Export citation  
     
    Bookmark   6 citations  
  6.  60
    On Amalgamation in Algebras of Logic.Tarek Sayed Ahmed - 2005 - Studia Logica 81 (1):61-77.
    We show that not all epimorphisms are surjective in certain classes of infinite dimensional cylindric algebras, Pinter's substitution algebras and Halmos' quasipolyadic algebras with and without equality. It follows that these classes fail to have the strong amalgamation property. This answers a question in [3] and a question of Pigozzi in his landmark paper on amalgamation [9]. The cylindric case was first proved by Judit Madarasz [7]. The proof presented herein is substantially different. By a result of Németi, our result (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  23
    An Omitting Types Theorem for first order logic with infinitary relation symbols.Tarek Sayed Ahmed & Basim Samir - 2007 - Mathematical Logic Quarterly 53 (6):564-570.
    In this paper, an extension of first order logic is introduced. In such logics atomic formulas may have infinite lengths. An Omitting Types Theorem is proved.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  35
    A note on substitutions in representable cylindric algebras.Tarek Sayed Ahmed - 2009 - Mathematical Logic Quarterly 55 (3):280-287.
    We show that it is impossible to define a substitution operator for arbitrary representable cylindric algebras that agrees in its basic properties with the notion of substitutions introduced for dimension complemented algebras.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  16
    Lifting Results for Finite Dimensions to the Transfinite in Systems of Varieties Using Ultraproducts.Tarek Sayed Ahmed - 2024 - Bulletin of the Section of Logic 53 (2):145-154.
    We redefine a system of varieties definable by a schema of equations to include finite dimensions. Then we present a technique using ultraproducts enabling one to lift results proved for every finite dimension to the transfinite. Let \(\bf Ord\) denote the class of all ordinals. Let \(\langle \mathbf{K}_{\alpha}: \alpha\in \bf Ord\rangle\) be a system of varieties definable by a schema. Given any ordinal \(\alpha\), we define an operator \(\mathsf{Nr}_{\alpha}\) that acts on \(\mathbf{K}_{\beta}\) for any \(\beta>\alpha\) giving an algebra in \(\mathbf{K}_{\alpha}\), (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  56
    A Note on Neat Reducts.Tarek Sayed Ahmed - 2007 - Studia Logica 85 (2):139-151.
    SC, CA, QA and QEA denote the class of Pinter’s substitution algebras, Tarski’s cylindric algebras, Halmos’ quasi-polyadic and quasi-polyadic equality algebras, respectively. Let . and . We show that the class of n dimensional neat reducts of algebras in K m is not elementary. This solves a problem in [2]. Also our result generalizes results proved in [1] and [2].
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  31
    Varying interpolation and amalgamation in polyadic MV-algebras.Tarek Sayed Ahmed - 2015 - Journal of Applied Non-Classical Logics 25 (2):140-192.
    We prove several interpolation theorems for many-valued infinitary logic with quantifiers by studying expansions of MV-algebras in the spirit of polyadic and cylindric algebras. We prove for various reducts of polyadic MV-algebras of infinite dimensions that if is the free algebra in the given signature,, is in the subalgebra of generated by, is in the subalgebra of generated by and, then there exists an interpolant in the subalgebra generated by and such that. We call this a varying interpolation property because (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  22
    Omitting types algebraically and more about amalgamation for modal cylindric algebras.Tarek Sayed Ahmed - 2021 - Mathematical Logic Quarterly 67 (3):295-312.
    Let α be an arbitrary infinite ordinal, and. In [26] we studied—using algebraic logic—interpolation and amalgamation for an extension of first order logic, call it, with α many variables, using a modal operator of a unimodal logic that contributes to the semantics. Our algebraic apparatus was the class of modal cylindric algebras. Modal cylindric algebras, briefly, are cylindric algebras of dimension α, expanded with unary modalities inheriting their semantics from a unimodal logic such as, or. When modal cylindric algebras based (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  28
    Amalgamation for reducts of polyadic equality algebras, a negative result.Tarek Sayed Ahmed - 2008 - Bulletin of the Section of Logic 37 (1):37-50.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  44
    An independence result in algebraic logic.Tarek Sayed Ahmed - 2005 - Bulletin of the Section of Logic 34 (1):29-36.
  15.  26
    Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic.Tarek Sayed Ahmed - 2020 - Journal of Applied Non-Classical Logics 30 (3):223-271.
    Fix 2 < n < ω and let C A n denote the class of cylindric algebras of dimension n. Roughly, C A n is the algebraic counterpart of the proof theory of first-order logic restricted to the first n var...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  16.  23
    A non-finitizability result in algebraic logic.Tarek Sayed Ahmed - 2007 - Bulletin of the Section of Logic 36 (1/2):21-27.
  17.  36
    Algebras of sentences.Tarek Sayed Ahmed - 2006 - Bulletin of the Section of Logic 35 (1):1-10.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  28
    A sufficient and necessary condition for omitting types.Tarek Sayed Ahmed - 2005 - Bulletin of the Section of Logic 34 (1):23-27.
  19.  23
    A simple construction of representable relation algebras with non-representable completions.Tarek Sayed Ahmed - 2009 - Mathematical Logic Quarterly 55 (3):237-244.
    We give a simple new construction of representable relation algebras with non-representable completions. Using variations on our construction, we show that the elementary closure of the class of completely representable relation algebras is not finitely axiomatizable.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  24
    Classes of representable algebras with the amalgamation property.Tarek Sayed Ahmed - 2008 - Bulletin of the Section of Logic 37 (2):115-121.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  40
    Neat embeddings and amalgamation.Tarek Sayed Ahmed & Basim Samir - 2006 - Bulletin of the Section of Logic 35 (4):163-171.
  22.  43
    On a theorem of Vaught for first order logic with finitely many variables.Tarek Sayed Ahmed - 2009 - Journal of Applied Non-Classical Logics 19 (1):97-112.
    We prove that the existence of atomic models for countable atomic theories does not hold for Ln the first order logic restricted to n variables for finite n > 2. Our proof is algebraic, via polyadic algebras. We note that Lnhas been studied in recent times as a multi-modal logic with applications in computer science. 2000 MATHEMATICS SUBJECT CLASSIFICATION. 03C07, 03G15.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  21
    On neat embeddings of cylindric algebras.Tarek Sayed Ahmed - 2009 - Mathematical Logic Quarterly 55 (6):666-668.
  24.  25
    Racan is not elementary, for n≥ 5.Tarek Sayed Ahmed - 2008 - Bulletin of the Section of Logic 37 (2):123-136.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  40
    The class of neat reducts is not Boolean closed.Tarek Sayed Ahmed - 2008 - Bulletin of the Section of Logic 37 (1):51-61.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  32
    Classes of algebras that are not closed under completions.Mohamed Khaled & Tarek Sayed Ahmed - 2009 - Bulletin of the Section of Logic 38 (1/2):29-43.
    Direct download  
     
    Export citation  
     
    Bookmark