Pages that link to "Definition:Element/Class"
Jump to navigation
Jump to search
The following pages link to Definition:Element/Class:
Displayed 2 items.
- Definition:Element (transclusion) (← links)
- Definition:Element of Class (redirect page) (← links)
- Counting Theorem (← links)
- Characterization of Class Membership (← links)
- Element of Universe (← links)
- Ordinal is Transitive (← links)
- Union of Ordinals is Least Upper Bound (← links)
- Transfinite Recursion Theorem (← links)
- Substitutivity of Class Equality (← links)
- Class is Not Element of Itself (← links)
- Von Neumann Hierarchy is Supertransitive (← links)
- Class of All Cardinals is Subclass of Class of All Ordinals (← links)
- Non-Greatest Element of Well-Ordered Class has Immediate Successor (← links)
- Intersection of Ordinals is Ordinal (← links)
- Transfinite Induction/Principle 1/Proof 2 (← links)
- Proper Class is not Element of Class (← links)
- Equivalence of Definitions of Ordinal (← links)
- Class is Subclass of Universal Class (← links)
- Not Every Class is a Set (← links)
- Not Every Class is a Set/Proof 2 (← links)
- Class has Subclass which is not Element (← links)
- Basic Universe is not Set (← links)
- Empty Class Exists and is Unique (← links)
- Empty Class is Supercomplete (← links)
- Existence of Set is Equivalent to Existence of Empty Set (← links)
- Singleton Class can be Formed from Set (← links)
- Singleton Class/Examples (← links)
- Singleton Class/Examples/Empty Set (← links)
- Singleton Class of Empty Set is Supercomplete (← links)
- Singleton Classes are Equal iff Sets are Equal (← links)
- Doubleton Class can be Formed from Two Sets (← links)
- Basic Universe has Infinite Number of Elements (← links)
- Intersection of Non-Empty Class is Set (← links)
- Intersection of Empty Set/Class Theory (← links)
- Union of Class is Transitive if Every Element is Transitive (← links)
- Empty Class is Transitive (← links)
- Singleton of Empty Class is Transitive (← links)
- Transitive Class/Examples/Class with Empty Class and its Singleton (← links)
- Transitive Class/Examples/Ordinal 3 (← links)
- Transitive Class/Examples/Ordinal 3 without 1 is not Transitive (← links)
- Transitive Class/Examples/Singleton of Singleton of Empty Class is not Transitive (← links)
- Basic Universe is Inductive (← links)
- Principle of General Induction (← links)
- Double Induction Principle (← links)
- Progressing Function Lemma (← links)
- Sandwich Principle (← links)
- Sandwich Principle/Proof 1 (← links)
- Sandwich Principle/Proof 2 (← links)
- Bounded Class is Set (← links)
- Non-Empty Bounded Subset of Minimally Inductive Class under Progressing Mapping has Greatest Element (← links)
- Fixed Point of Progressing Mapping on Minimally Inductive Class is Greatest Element (← links)
- Closed Class under Progressing Mapping Lemma (← links)
- Minimally Inductive Class under Progressing Mapping is Well-Ordered under Subset Relation (← links)
- Minimally Closed Class under Progressing Mapping induces Nest (← links)
- Minimally Closed Class under Progressing Mapping (← links)
- Bounded Subset of Minimally Closed Class under Progressing Mapping has Greatest Element (← links)
- Minimally Closed Class under Progressing Mapping/Statement (← links)
- Fixed Point of Progressing Mapping on Minimally Closed Class is Greatest Element (← links)
- Minimally Closed Class under Progressing Mapping is Well-Ordered (← links)
- Smallest Element of Minimally Closed Class under Progressing Mapping (← links)
- Minimally Closed Class under Progressing Mapping induces Nest/Proof (← links)
- Bounded Subset of Minimally Closed Class under Progressing Mapping has Greatest Element/Proof (← links)
- Fixed Point of Progressing Mapping on Minimally Closed Class is Greatest Element/Proof (← links)
- Minimally Closed Class under Progressing Mapping is Well-Ordered/Proof (← links)
- Smallest Element of Minimally Closed Class under Progressing Mapping/Proof (← links)
- Principle of General Induction/Minimally Closed Class (← links)
- Double Induction Principle/Minimally Closed Class (← links)
- Double Induction Principle/Minimally Closed Class/Lemma (← links)
- Double Induction Principle/Proof 1 (← links)
- Sandwich Principle for Minimally Closed Class (← links)
- Image of Proper Subset under Progressing Mapping on Minimally Closed Class (← links)
- Non-Empty Bounded Subset of Minimally Inductive Class under Progressing Mapping has Greatest Element/Proof 1 (← links)
- Fixed Point of Progressing Mapping on Minimally Inductive Class is Greatest Element/Proof 1 (← links)
- Minimally Inductive Class under Progressing Mapping is Well-Ordered under Subset Relation/Proof 1 (← links)
- Finite Class is Set (← links)
- Minimally Inductive Class under Progressing Mapping with Fixed Element is Finite (← links)
- Intersection of Non-Empty Class is Set/Proof 1 (← links)
- Intersection of Non-Empty Class is Set/Proof 2 (← links)
- Union of Class is Transitive if Every Element is Transitive/Proof (← links)
- Increasing Sequence of Sets forms Nest (← links)
- Equivalence of Formulations of Axiom of Empty Set for Classes (← links)
- Class which has Injection to Subclass of Well-Orderable Class is Well-Orderable (← links)
- Class which has Injection to Subclass of Well-Orderable Class is Well-Orderable/Mistake (← links)
- Categories of Elements under Well-Ordering (← links)
- Characterisation of Limit Element under Well-Ordering (← links)
- First Principle of Transfinite Induction (← links)
- Second Principle of Transfinite Induction (← links)
- Ordering where every Subclass has Smallest Element is Well-Ordering (← links)
- Condition for Total Ordering to be Well-Ordering (← links)
- Principle of Superinduction (← links)
- Double Superinduction Principle (← links)
- Double Superinduction Principle/Lemma (← links)
- G-Tower is Nest (← links)
- G-Tower is Nest/Lemma 2 (← links)
- Sandwich Principle for G-Towers (← links)
- Fixed Point of g-Tower is Greatest Element (← links)
- Intersection of Set whose Every Element is Closed under Chain Unions is also Closed under Chain Unions (← links)
- Intersection of Set whose Every Element is Closed under Chain Unions is also Closed under Chain Unions/Proof (← links)
- G-Tower is Well-Ordered under Subset Relation (← links)
- Strict Lower Closure of G-Tower is Set of Elements which are Proper Subsets (← links)
- Swelled Class contains Empty Set (← links)
- Class of Finite Character is Closed under Chain Unions (← links)
- Cowen's Theorem (← links)
- Cowen's Theorem/Lemma 1 (← links)
- Cowen's Theorem/Also presented as (← links)
- Set is G-Set iff Element of G-Ordered Set (← 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/Union of Chain of Ordinals is Ordinal (← links)
- Properties of Class of All Ordinals/Superinduction Principle (← links)
- Equivalence of Definitions of Limit Ordinal (← links)
- Ordinal is Transitive/Proof 4 (← links)
- Ordinal equals its Initial Segment (← links)
- Transitive Class of Ordinals is Subset of Ordinal not in it (← links)
- Ordinal equals its Initial Segment/Proof 4 (← links)
- Class such that Every Transitive Subset is Element of it Contains All Ordinals (← links)
- Element of Every Transitive-Closed Class is Ordinal (← links)
- Equivalence of Definitions of Ordinal/Definition 3 is equivalent to Definition 4 (← links)
- Strict Lower Closure of Element is Proper Lower Section (← links)
- Union of Nest of Mappings is Mapping (← links)
- Union of Nest of Mappings is Mapping/Proof (← links)
- Order Automorphism on Well-Ordered Class is Forward Moving (← links)
- Order Automorphism on Well-Ordered Class is Forward Moving/Linguistic Note (← links)
- Fundamental Theorem of Well-Ordering (← links)
- Counting Theorem/Motivation (← links)
- Length of Union of Chain of Ordinal Sequences (← links)
- Characteristic of Extending Operation (← links)
- Transfinite Recursion Theorem/Formulation 1 (← links)
- Transfinite Recursion Theorem/Formulation 1/Proof 1 (← links)
- Transfinite Recursion Theorem/Formulation 1/Proof 2 (← links)
- User:Prime.mover/Proof Structures (← links)
- User:Prime.mover/Proof Structures/Proof by Superinduction (← links)
- Category:Zermelo-Fraenkel Class Theory (← links)
- Category:Definitions/Characteristic Functions (← links)
- Category:Universal Class (← links)
- Category:Subclasses (← links)
- Category:Empty Class (← links)
- Category:Swelled Classes (← links)
- Category:Sandwich Principle (← links)
- Category:Definitions/Bounded Classes (← links)
- Category:Bounded Classes (← links)
- Category:Minimally Closed Classes under Progressing Mapping (← links)
- Category:Definitions/Class Equality (← links)
- Category:Class Equality (← links)
- Category:Union of Class is Transitive if Every Element is Transitive (← links)
- Category:Limit Elements (← links)
- Category:Proof by Superinduction (← links)
- Category:Double Superinduction Principle (← links)
- Category:Closure under Chain Unions (← links)
- Category:Superinductive Classes (← links)
- Category:Definitions/Subclasses (← links)
- Category:G-Sets (← links)
- Category:Transfinite Recursion Theorem (← links)
- Category:Properties of Class of All Ordinals (← links)
- Category:Transitive-Closed Classes (← links)
- Category:Equivalence of Definitions of Ordinal (← links)
- Category:Nests of Mappings (← links)
- Category:Definitions/Universal Class (← links)
- Category:Definitions/Characteristic Polynomials (← links)
- Category:Characteristic Polynomials (← links)
- Category:Definitions/Characteristic Equations (← links)
- Category:Characteristic Equations (← links)
- Axiom:Axiom of Extension/Class Theory (← links)
- Axiom:Axiom of Transitivity (← links)
- Axiom:Axiom of Swelledness (← links)
- Definition:Set Equality (← links)
- Definition:Ordinal (← links)
- Definition:Class (Class Theory) (← links)
- Definition:Universal Class (← links)
- Definition:Maximal/Element (← links)
- Definition:Transitive Class (← links)
- Definition:Epsilon Relation (← links)
- Definition:Non-Empty Set (← links)
- Definition:Russell Class (← links)
- Definition:Class Equality (← links)
- Definition:Class (Class Theory)/Zermelo-Fraenkel (← links)
- Definition:Subclass (← links)
- Definition:Set Equality/Definition 1 (← links)
- Definition:Characteristic Function (← links)
- Definition:Image of Class under Mapping (← links)
- Definition:Collection (← links)
- Definition:Class Equality/Definition 1 (← links)
- Definition:Universal Class/Zermelo-Fraenkel Theory (← links)
- Definition:Swelled Class (← links)
- Definition:Empty Class (Class Theory) (← links)
- Definition:Singleton Class (← links)
- Definition:Class Intersection/Class of Sets (← links)
- Definition:Non-Empty Set/Class Theory (← links)
- Definition:Class Intersection (← links)
- Definition:Left Normal Element of Relation (← links)
- Definition:Right Normal Element of Relation (← links)
- Definition:Bounded Class (← links)
- Definition:Bounded Class/Bounded by Set (← links)
- Definition:Bounded Class/Bounded Subset of Class (← links)
- Definition:Limit Element under Well-Ordering (← links)
- Definition:Closure under Chain Unions (← links)
- Definition:Superinductive Class (← links)
- Definition:Maximal Element/Class Theory (← links)
- Definition:G-Set (← links)
- Definition:Ordinal/Definition 4 (← links)
- Definition:Transitive-Closed Class (← links)
- Definition:Image of Class under Mapping/Warning (← links)
- Definition:Nest of Mappings (← links)
- Definition:Characteristic Equation (← links)
- Definition:Characteristic Polynomial (← links)
- Book:Raymond M. Smullyan/Set Theory and the Continuum Problem/Revised Edition/Errata (← links)