Pages that link to "Definition:Class (Class Theory)/Proper Class"
Jump to navigation
Jump to search
The following pages link to Definition:Class (Class Theory)/Proper Class:
Displayed 4 items.
- User:Ascii/Definitions (← links)
- User:Ascii/Definitions (by Meaning 1-800) (← links)
- Definition:Class (Class Theory) (transclusion) (← links)
- Definition:Proper Class (redirect page) (← links)
- Counting Theorem (← links)
- Element of Universe (← links)
- Epsilon Relation is Strictly Well-Founded (← links)
- No Membership Loops (← links)
- Ordinal is Member of Class of All Ordinals (← links)
- Subset of Ordinals has Minimal Element (← links)
- Condition for Injective Mapping on Ordinals (← links)
- Maximal Injective Mapping from Ordinals to a Set (← 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)
- Substitutivity of Class Equality (← links)
- Universal Class is Proper (← links)
- Cartesian Product with Proper Class is Proper Class (← links)
- Class of All Cardinals is Proper Class (← links)
- Class of Infinite Cardinals is Proper Class (← links)
- Strictly Well-Founded Relation is Asymmetric (← links)
- Field has Algebraic Closure (← links)
- Proper Class is not Element of Class (← links)
- Subclass of Set is Set (← links)
- Class is Proper iff Bijection from Class to Proper Class (← links)
- Universal Class is Proper/Proof 2 (← links)
- Universal Class is Proper/Proof 1 (← links)
- Class is Proper iff Bijection from Class to Proper Class/Corollary (← links)
- Injection from Proper Class to Class (← links)
- Surjection from Class to Proper Class (← links)
- Image of Set under Mapping is Set (← links)
- Intersection of Non-Empty Class is Set (← links)
- Principle of General Induction (← links)
- Principle of General Induction/Minimally Closed Class (← links)
- Collection of All Ordered Sets is not Set (← links)
- Collection of Sets Equivalent to Set Containing Empty Set is Proper Class (← links)
- Universal Class is Proper/Proof 3 (← links)
- Intersection of Non-Empty Class is Set/Proof 2 (← links)
- Principle of Superinduction (← links)
- Superinductive Class under Strictly Progressing Mapping is Proper Class (← links)
- Class of All Ordinals is Proper Class (← links)
- Class of All Ordinals is Proper Class/Proof 1 (← links)
- Class of All Ordinals is Proper Class/Proof 2 (← links)
- Class of All Ordinals is Only Proper Class of Ordinals (← links)
- Well-Ordered Class is not Isomorphic to Initial Segment (← links)
- Well-Ordered Class is not Isomorphic to Initial Segment/Also presented as (← links)
- Counting Theorem/Proof 2 (← links)
- Counting Theorem/Corollary (← links)
- Union of Nest of Ordinal Sequences which is Proper Class (← links)
- Transfinite Recursion Theorem/Formulation 1 (← links)
- Transfinite Recursion Theorem/Formulation 1/Proof 1 (← links)
- Category:Transitive Classes (← links)
- Category:Examples of Transitive Classes (← links)
- Category:Definitions/Transitive Classes (← links)
- Category:Class of All Ordinals is Proper Class (← links)
- Axiom:Axiom of Extension (← links)
- Axiom:Axiom of Specification/Class Theory (← links)
- Definition:Singleton (← links)
- Definition:Relational Structure (← links)
- Definition:Order Type (← links)
- Definition:Proper Subring (← links)
- Definition:Proper Divisor (← links)
- Definition:Graph (Category Theory) (← links)
- Definition:Class (Class Theory) (← links)
- Definition:Universal Class (← links)
- Definition:Transitive Class (← links)
- Definition:Ordinal Function (← links)
- Definition:Class (Class Theory)/Proper Class (← links)
- Definition:Proof Theory (← links)
- Definition:Proper (← links)
- Definition:Proper Divisor/Integer (← links)
- Definition:Universal Class/Zermelo-Fraenkel Theory (← links)
- Definition:Relational Structure/Warning (← links)
- Definition:Class Union/General Definition (← links)
- Book:Gaisi Takeuti/Introduction to Axiomatic Set Theory (← links)