Pages that link to "Definition:Initial Segment"
Jump to navigation
Jump to search
The following pages link to Definition:Initial Segment:
Displayed 50 items.
- Naturally Ordered Semigroup is Unique (← links)
- Woset is Isomorphic to Set of its Initial Segments (← links)
- Ordering on Ordinal is Subset Relation (← links)
- Initial Segment of Ordinal is Ordinal (← links)
- Ordinal Subset of Ordinal is Initial Segment (← links)
- Intersection of Two Ordinals is Ordinal (← links)
- Relation between Two Ordinals (← links)
- Isomorphic Ordinals are Equal (← links)
- Condition for Woset to be Isomorphic to Ordinal (← links)
- Counting Theorem (← links)
- Ordinal is Transitive (← links)
- Alternative Definition of Ordinal (← links)
- Class of All Ordinals is Ordinal (← links)
- Relation between Two Ordinals/Corollary (← links)
- Ordinals are Well-Ordered (← links)
- Proper Well-Ordering determines Smallest Elements (← links)
- Well-Ordered Induction (← links)
- Subset of Ordinals has Minimal Element (← links)
- Minimally Inductive Set is Ordinal (← links)
- Well-Ordered Transitive Subset is Equal or Equal to Initial Segment (← links)
- Order Isomorphism between Ordinals and Proper Class/Lemma (← links)
- Order Isomorphism between Ordinals and Proper Class (← links)
- Order Isomorphism between Ordinals and Proper Class/Corollary (← links)
- Initial Segment of Ordinals under Lexicographic Order (← links)
- Initial Segment of Canonical Order is Set (← links)
- Order Isomorphism Preserves Initial Segments (← links)
- Well-Founded Recursion (← links)
- Ordinal is Finite iff Natural Number (← links)
- Set has Rank (← links)
- Matrix Multiplication Interpretation of Relation Composition (← links)
- Relation between Two Ordinals/Corollary/Proof 1 (← links)
- Relation between Two Ordinals/Corollary/Proof 2 (← links)
- Relation between Two Ordinals/Corollary/Proof 3 (← links)
- Isomorphic Ordinals are Equal/Proof 1 (← links)
- Isomorphic Ordinals are Equal/Proof 2 (← links)
- Ordinals are Well-Ordered/Proof 2 (← links)
- Equivalence of Definitions of Countable Set (← links)
- Integers are not Densely Ordered (← links)
- Principle of Mathematical Induction/Naturally Ordered Semigroup (← links)
- Principle of Mathematical Induction/Naturally Ordered Semigroup/General Result (← links)
- Equivalence of Definitions of Ordinal (← links)
- Minimally Inductive Set is Ordinal/Proof 1 (← links)
- Existence of Minimal Uncountable Well-Ordered Set (← links)
- Wosets are Isomorphic to Each Other or Initial Segments (← links)
- Minimal Uncountable Well-Ordered Set Unique up to Isomorphism (← links)
- Union of Initial Segments is Initial Segment or All of Woset (← links)
- Countable Subset of Minimal Uncountable Well-Ordered Set Has Upper Bound (← links)
- Inductive Construction of Sigma-Algebra Generated by Collection of Subsets (← links)
- Existence of Minimal Uncountable Well-Ordered Set/Proof Using Choice (← links)
- Existence of Minimal Uncountable Well-Ordered Set/Proof Without Using Choice (← links)