Mouse (set theory)
In
Gödel's constructible hierarchy while being able to incorporate large cardinals
.
Mice are important ingredients of the construction of core models. The concept was isolated by Ronald Jensen in the 1970s and has been used since then in core model constructions of many authors.
References
- Dodd, A.; Jensen, R. (1981). "The core model". Ann. Math. Logic. 20 (1): 43–75. MR 0611394.
- Zbl 1007.03002.
- Mitchell, William (1979). "Ramsey cardinals and constructibility". Journal of Symbolic Logic. 44 (2): 260–266. MR 0534574.