Myš (teorie množin) - Mouse (set theory)

v teorie množin, a myš je malý Modelka z (fragment) Teorie množin Zermelo – Fraenkel s žádoucími vlastnostmi. Přesná definice závisí na kontextu. Ve většině případů existuje technická definice „premouse“ a další podmínka iterovatelnosti (odkazující na existenci dobře založený iterováno ultrapower ): myš je pak iterovatelná premouse. Pojem myš zobecňuje koncept úrovně Gödel je konstruovatelná hierarchie zatímco je schopen začlenit velcí kardinálové.

Myši jsou důležitými složkami konstrukce základní modely. Koncept byl izolován Ronald Jensen v 70. letech a od té doby se používá v konstrukcích základních modelů mnoha autorů.

Reference

• Dodd, A .; Jensen, R. (1981). „Základní model“. Ann. Matematika. Logika. 20 (1): 43–75. doi:10.1016/0003-4843(81)90011-5. PAN  0611394.
• Jech, Thomas (2003). Teorie množin. Springer Monographs in Mathematics (Third Millennium ed.). Berlín, New York: Springer-Verlag. ISBN  978-3-540-44085-7. Zbl  1007.03002.
• Mitchell, William (1979). „Ramsey kardinálové a konstruktivita“. Journal of Symbolic Logic. 44 (2): 260–266. doi:10.2307/2273732. PAN  0534574.