I'm interested in how William Reinhardt first came up with the intuition behind the idea of an embedding from V into V as a possible large-cardinal axiom. Was he sad when it turned out not to be inconsistent with ZFC?

More Rupert Mccallum's questions See All
Similar questions and discussions