• Title of article

    An Omitting Types Theorem for Finite Schematizable Algebraic Logic

  • Author/Authors

    Ahmed ، Tarek Sayed - Cairo University

  • 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
    Algebraic logic , finitizability problem , polyadic algebras , omit , ting types ,
  • Journal title
    General Mathematics Notes
  • Serial Year
    2011
  • Journal title
    General Mathematics Notes
  • Record number

    2457347

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