加载中…
2009-10-12
Non-elementary proper forcing
Jakob Kellner
文献摘要
We introduce a simplified framework for ord-transitive models and Shelah’s non elementary proper (nep) theory. We also introduce a new construction for the countable support nep iteration.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本