A universal weasel without large cardinals in V

Ralf Schindler
DOI: https://doi.org/10.48550/arXiv.math/0011077
2000-11-13
Abstract: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.
Logic
What problem does this paper attempt to address?