Category:Minimally Inductive Set
Jump to navigation
Jump to search
This category contains results about the minimally inductive set.
Definitions specific to this category can be found in Definitions/Minimally Inductive Set.
Let $S$ be an inductive set.
The minimally inductive set $\omega$ is the inductive set given by:
- $\ds \omega := \bigcap \set {S' \subseteq S: S' \text{ is an inductive set} }$
that is, $\omega$ is the intersection of every inductive set which is a subset of $S$.
Subcategories
This category has only the following subcategory.
M
Pages in category "Minimally Inductive Set"
The following 16 pages are in this category, out of 16 total.