Pages that link to "Definition:Superinductive Class"
Jump to navigation
Jump to search
The following pages link to Definition:Superinductive Class:
Displayed 41 items.
- Ordinal is Transitive (← links)
- Successor Set of Ordinal is Ordinal (← links)
- Ordinal is not Element of Itself (← links)
- Element of Ordinal is Ordinal (← links)
- Equivalence of Definitions of Ordinal (← links)
- Principle of Superinduction (← links)
- G-Tower is Closed under Chain Unions (← links)
- Set which is Superinductive under Progressing Mapping has Fixed Point (← links)
- Superinductive Class under Strictly Progressing Mapping is Proper Class (← links)
- Set which is Superinductive under Progressing Mapping has Fixed Point/Corollary (← links)
- G-Tower is Closed under Mapping (← links)
- Set with Slowly Progressing Mapping on Power Set with Self as Fixed Point is Well-Orderable (← links)
- Cowen's Theorem (← links)
- Cowen's Theorem/Lemma 8 (← links)
- Cowen's Theorem/Proof (← links)
- Cowen's Theorem/Also presented as (← links)
- Class of All Ordinals is Minimally Superinductive over Successor Mapping (← links)
- Properties of Class of All Ordinals (← links)
- Properties of Class of All Ordinals/Zero is Ordinal (← links)
- Properties of Class of All Ordinals/Union of Chain of Ordinals is Ordinal (← links)
- Properties of Class of All Ordinals/Superinduction Principle (← links)
- Class of All Ordinals is G-Tower (← links)
- Successor Set of Ordinal is Ordinal/Proof 1 (← links)
- Natural Number is Ordinal (← links)
- Natural Number is Ordinal/Proof 1 (← links)
- Element of Ordinal is Ordinal/Proof 1 (← links)
- Ordinal is Transitive/Proof 4 (← links)
- Ordinal is not Element of Itself/Proof 3 (← links)
- Ordinal equals its Initial Segment (← links)
- Ordinal equals its Initial Segment/Proof 4 (← links)
- Equivalence of Definitions of Ordinal/Definition 3 is equivalent to Definition 4 (← links)
- Category:Superinductive Classes (transclusion) (← links)
- Category:G-Sets (← links)
- Category:Properties of Class of All Ordinals (← links)
- Category:Equivalence of Definitions of Ordinal (← links)
- Category:Minimally Superinductive Classes (← links)
- Definition:Ordinal (← links)
- Definition:Closure under Chain Unions (← links)
- Definition:Minimally Superinductive Class (← links)
- Definition:G-Set (← links)
- Definition:Ordinal/Definition 4 (← links)