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
Link To Document :
بازگشت