• Title of article

    Fraïssé limit via forcing

  • Author/Authors

    Golshani ، Mohammad School of Mathematics - Institute for Research in Fundamental Sciences (IPM)

  • From page
    21
  • To page
    25
  • Abstract
    Suppose is a finite relational language and is a class of finite -structures closed under substructures and isomorphisms. It is called a Fra\ {i}ss {e} class if it satisfies Joint Embedding Property (JEP) and Amalgamation Property (AP). A Fra\ {i}ss {e} limit, denoted , of a Fra\ {i}ss {e} class is the unique\footnote{The existence and uniqueness follows from Fra\ {i}ss {e} s theorem, See \cite{hodges}.} countable ultrahomogeneous (every isomorphism of finitely-generated substructures extends to an automorphism of ) structure into which every member of embeds. Given a Fraïssé class K and an infinite cardinal κ, we define a forcing notion which adds a structure of size κ using elements of K, which extends the Fraïssé construction in the case κ=ω.
  • Keywords
    Fraisse limit , Focing , uncountable cardinals
  • Journal title
    Journal of Mahani Mathematical Research Center
  • Journal title
    Journal of Mahani Mathematical Research Center
  • Record number

    2768931