Article ID Journal Published Year Pages File Type
4661666 Annals of Pure and Applied Logic 2015 13 Pages PDF
Abstract
We prove that large cardinals need not generally exhibit their large cardinal nature in HOD. For example, a supercompact cardinal κ need not be weakly compact in HOD, and there can be a proper class of supercompact cardinals in V, none of them weakly compact in HOD, with no supercompact cardinals in HOD. Similar results hold for many other types of large cardinals, such as measurable and strong cardinals.
Related Topics
Physical Sciences and Engineering Mathematics Logic
Authors
, , ,