Category:Class Theory
Jump to navigation
Jump to search
This category contains results about Class Theory.
Definitions specific to this category can be found in Definitions/Class Theory.
Class theory is an extension of set theory which allows the creation of collections that are not sets by classes.
Subcategories
This category has the following 50 subcategories, out of 50 total.
A
- Axiom of Infinity (1 P)
- Axiom of Pairing (5 P)
- Axiom of Powers (1 P)
- Axiom of Replacement (4 P)
- Axiom of Swelledness (1 P)
B
- Basic Universe (6 P)
C
- Class Difference (2 P)
- Class Theory Work in Progress (45 P)
- Countably Infinite Classes (empty)
D
- Doubleton Classes (4 P)
E
- Elements (empty)
- Empty Class (8 P)
F
- Finite Classes (2 P)
G
- G-Sets (1 P)
- Gödel-Bernays Class Theory (8 P)
I
- Infinity (empty)
M
N
- Not Every Class is a Set (3 P)
O
- Ordered Classes (empty)
P
- Proper Well-Orderings (3 P)
R
- Relational Closures (6 P)
S
- Supercomplete Classes (3 P)
T
- Transitive-Closed Classes (1 P)
U
- Uncountable (empty)
- Universal Class (3 P)
- Universal Class is Proper (4 P)
V
Z
Pages in category "Class Theory"
The following 46 pages are in this category, out of 46 total.
C
- Cartesian Product with Proper Class is Proper Class
- Characterization of Class Membership
- Characterization of Minimal Element
- Class Equality is Reflexive
- Class Equality is Symmetric
- Class Equality is Transitive
- Class has Subclass which is not Element
- Class is Extensional
- Class is Not Element of Itself
- Class is Transitive iff Union is Subclass
- Class of All Cardinals is Proper Class
- Collection of Sets Equivalent to Set Containing Empty Set is Proper Class
E
- Element of Transitive Class
- Element of Universe
- Empty Set is Small
- Epsilon Induction
- Epsilon Relation is Proper
- Epsilon Relation is Strictly Well-Founded
- Existence of Class Complement
- Existence of Class Intersection
- Existence of Class Union
- Existence of Domain of Class Relation
- Existence of Inverse of Class Relation
- Existence of Left Universal Product
- Existence of Middle Universal Product
- Existence of Right Universal Product
- Existence of Right Universal Product/Corollary
- Existence of Universal Class