Category:Inner model theory
Here is a list of articles in the Inner model theory category of the Computing portal that unifies foundations of mathematics and computations using computers. Inner model theory is the study of certain models of ZFC or some fragment or strengthening thereof. Ordinarily these models are transitive subsets or subclasses of the von Neumann universe V, or sometimes of a generic extension of V. Inner model theory studies the relationships of these models to determinacy, large cardinals, and descriptive set theory. Despite the name, it is considered more a branch of set theory than of model theory.
Pages in category "Inner model theory"
The following 10 pages are in this category, out of 10 total.