Mysz (teoria mnogości)

W teorii mnogości mysz jest małym modelem (fragmentem) teorii mnogości Zermelo-Fraenkla o pożądanych właściwościach. Dokładna definicja zależy od kontekstu. W większości przypadków istnieje techniczna definicja „przedmyszy” i dodatkowy warunek iterowalności (odnoszący się do istnienia dobrze uzasadnionych iterowanych ultramocy ): mysz jest wtedy iterowalną przedmyszą. Pojęcie myszy uogólnia pojęcie poziomu konstruowalnej hierarchii Gödla jednocześnie będąc w stanie włączyć dużych kardynałów .

Myszy są ważnymi składnikami konstrukcji modeli podstawowych . Koncepcja została wyodrębniona przez Ronalda Jensena w latach 70. XX wieku i od tego czasu była używana w podstawowych konstrukcjach modelowych wielu autorów.

•   Dodd, A.; Jensen, R. (1981). „Podstawowy model” . Ann. Matematyka Logika . 20 (1): 43–75. doi : 10.1016/0003-4843(81)90011-5 . MR 0611394 .
•    Jech, Thomas (2003). Teoria mnogości . Springer Monographs in Mathematics (red. Trzecie tysiąclecie). Berlin, Nowy Jork: Springer-Verlag . ISBN 978-3-540-44085-7 . Zbl 1007.03002 .
•   Mitchell, William (1979). „Karynałowie Ramseya i konstrukcyjność” . Dziennik logiki symbolicznej . 44 (2): 260–266. doi : 10.2307/2273732 . MR 0534574 .