arXiv:math/0011077 [math.LO]AbstractReferencesReviewsResources
A universal weasel without large cardinals in V
Published 2000-11-13Version 1
We prove in the theory "ZFC + there is no inner model with a Woodin cardinal" that there is a universal weasel. This shows in particular that one doesn't have to assume the existence of large cardinals in V to prove the existence of some such weasel.
Related articles: Most relevant | Search more
arXiv:2401.01979 [math.LO] (Published 2024-01-03)
Low level definability above large cardinals
arXiv:1810.09195 [math.LO] (Published 2018-10-22)
More on the preservation of large cardinals under class forcing
arXiv:math/0603260 [math.LO] (Published 2006-03-12)
Large cardinals with few measures