bn:03092726n
Noun Concept
Categories: Inner model theory
EN
mouse
EN
In set theory, a mouse is a small model of Zermelo–Fraenkel set theory with desirable properties. Wikipedia
English:
set theory
Definitions
Relations
Sources
EN
In set theory, a mouse is a small model of Zermelo–Fraenkel set theory with desirable properties. Wikipedia
A small model of (a fragment of) Zermelo-Fraenkel set theory with desirable properties (depending on the context). Wiktionary
Wikipedia
Wikidata
EN
Wiktionary
EN
Wikipedia Redirections