加载中…
In this paper we study the spectrum of heights of transitive models of theories extending , under various definitions. In particular, we investigate the consistency strength of making those spectra as simple as possible.

生成讲解博客的中文版本

生成AI智能校验的中文版本