# 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.

- Inner model theory
*(computing)*

### C

- Chang's model
*(computing)* - Code (set theory)
*(computing)* - Core model
*(computing)* - Covering lemma
*(computing)*

### E

- Extender (set theory)
*(computing)*

### I

- Inner model
*(computing)*

### L

- L(R)
*(computing)*

### M

- Mouse (set theory)
*(computing)*

### S

- Skolem's paradox
*(computing)*