Given a Fra"{i}ss'{e} class KK and an infinite cardinal κ,κ, we define a forcing notion which adds a structure of size κκ using elements of KK, which extends the Fra"{i}ss'{e} construction in the case κ=ω.κ=ω.
生成讲解博客的中文版本
生成AI智能校验的中文版本