加载中…
We improve the state-of-the-art proof techniques for realizing various spectra of in order to realize arbitrarily large spectra. Thus, we make significant progress in addressing a question posed by Brian in his recent work. As a by-product, we obtain many complete subforcings and an algebraic analysis of the automorphisms of the forcing which adds a witness for the spectrum of of desired size.

生成讲解博客的中文版本

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