Switch to: Citations

Add references

You must login to add references.
  1. Saturatedness in cylindric algebraic model theory.G. Sereny - 1997 - Logic Journal of the IGPL 5 (1):25-48.
    This paper is an overview of results obtained by the author in the course of investigating the possible algebraic ways to extend elementary ordinary model theory of large models to include infinitary models, that is, those with relations of infinite rank . After describing briefly the algebraization of the basic notions of elementary ordinary model theory and stating the facts showing that no obvious generalization is possible, we define and characterize a class of algebras that we conjecture to be, in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation