Category:Minimally Inductive Class under Progressing Mapping is Well-Ordered under Subset Relation
Jump to navigation
Jump to search
This category contains pages concerning Minimally Inductive Class under Progressing Mapping is Well-Ordered under Subset Relation:
Let $M$ be a class which is minimally inductive under a progressing mapping $g$.
Let $x$ be a fixed point of $g$.
Then $M$ is well-ordered under the subset relation.
Pages in category "Minimally Inductive Class under Progressing Mapping is Well-Ordered under Subset Relation"
The following 3 pages are in this category, out of 3 total.