A universal weasel without large cardinals in V
classification
🧮 math.LO
keywords
weaselcardinalsexistencelargeprovethereuniversalassume
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.