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.

The following 10 pages are in this category, out of 10 total.

Licensed under CC BY-SA 3.0 | Source: https://handwiki.org/wiki/Category:Inner_model_theory

19 views |

↧ Download this article as ZWI file

19 views |

↧ Download this article as ZWI file