Category:Cowen's Theorem
Jump to navigation
Jump to search
This category contains pages concerning Cowen's Theorem:
Let $g$ be a progressing mapping.
Let $x$ be a set.
Let $\powerset x$ denote the power set of $x$.
Let $M_x$ denote the intersection of the $x$-special subsets of $\powerset x$ with respect to $g$.
Let $M$ be the class of all $x$ such that $x \in M_x$.
Then $M$ is minimally superinductive under $g$.
Pages in category "Cowen's Theorem"
The following 11 pages are in this category, out of 11 total.