加载中…
2010-10-02
Forcing Square_{omega_1} with finite conditions
Gregor K. DolinarMirna Džamonja
文献摘要
We give a forcing construction of the square principle on omega_1 using forcing with conditions whose domain is finite.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本