1 paper
Alon Navon
In this paper we show how to build a model of ZFC such that all its inner models satisfying the Axiom of Choice are well-ordered with respect to inclusion, and that said ordering…