• Title of article

    An Omitting Types Theorem for Finite Schematizable Algebraic Logic

  • Author/Authors

    Ahmed، Tarek Sayed نويسنده Department of Mathematics,Department of Mathematics,Cairo University,Cairo,Egypt ,

  • Issue Information
    ماهنامه با شماره پیاپی سال 2011
  • Pages
    9
  • From page
    119
  • To page
    127
  • Abstract
    We prove an Omitting Types Theorem for the extension of first order logic studied by Nemeti, Sain and others as a solution to the so-called Finitization Problem in Algebraic Logic. A new omitting types theorem for first order logic is obtained.
  • Keywords
    finitizability problem , , polyadic algebras , omit- ting types , Algebraic logic
  • Journal title
    General Mathematics Notes
  • Journal title
    General Mathematics Notes
  • Record number

    2398785

    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=2398785