加载中…
Assume ZFC. Let be a cardinal. A -ground is a transitive proper class modelling ZFC and such that is a generic extension of via a forcing of cardinality . The -mantle is the intersection of all -grounds. We prove that certain partial choice principles in the -mantle are the consequence of being inaccessible/weakly compact, and some other related facts.

生成讲解博客的中文版本

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