加载中…
I provide a novel geometric axiomatization of the Solovay model. This serves as a vehicle for concise and forcing-free proofs of classical results in the model, as well as a tool for a purely geometric development of the theory of balanced forcing.

生成讲解博客的中文版本

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