Codex Wiki
OurBigBook.com
Site
Source code
Set theory
Home
Mathematics
Area of mathematics
Foundations of mathematics
OurBigBook.com
Words: 2k
Articles: 106
Table of contents
2k
106
Von Neumann hierarchy
Set theory
45
1
Rank of a set
Von Neumann hierarchy
19
Transitive set
Set theory
20
Well-founded relation
Set theory
23
Extensional relation
Set theory
12
Set
Set theory
243
17
Empty set
Set
6
Singleton set
Set
7
Distinct elements
Set
7
Generating set
Set
20
Subset
Set
17
Set union
Set
17
Set intersection
Set
15
Pair
Set
22
2
Ordered pair
Pair
Unordered pair
Pair
Partially ordered set
Set
64
2
Maximal element of a partially ordered set
Partially ordered set
30
Minimal element of a partially ordered set
Partially ordered set
16
Total order
Set
56
3
Empty order
Total order
11
Greatest element
Total order
18
Initial segment
Total order
11
Binary relation
Set theory
84
4
Reflexive relation
Binary relation
17
Symmetric relation
Binary relation
15
Transitive relation
Binary relation
19
Equivalence relation
Binary relation
19
Function
Set theory
151
9
Identity function
Function
13
Piecewise-linear function
Function
23
Bounded function
Function
30
1
Unbounded function
Bounded function
12
Constant function
Function
10
Real-valued function
Function
27
1
Global maximum
Real-valued function
17
Bijection
Function
19
Periodic function
Function
17
Zorn lemma
Set theory
20
Class in set theory
Set theory
164
4
Proper class
Class in set theory
14
Transitive class
Class in set theory
123
2
Basic set-theoretic axioms inherited by a transitive class
Transitive class
48
Formula relativization to a class
Transitive class
44
Axiom schema of replacement
Set theory
27
Axiom of foundation
Set theory
54
1
Epsilon induction
Axiom of foundation
40
Axiom of power set
Set theory
19
Cumulative hierarchy
Set theory
125
4
Transitive closure
Cumulative hierarchy
81
2
Hereditarily countable set
Transitive closure
47
1
Reasonable set
Hereditarily countable set
23
Hereditarily finite set
Cumulative hierarchy
28
Axiom schema of specification
Set theory
65
1
Relativized closure criterion for separation
Axiom schema of specification
31
Axiom of choice
Set theory
139
4
Choice function
Axiom of choice
23
Well-ordering theorem
Axiom of choice
62
1
Choice-function well-ordering construction
Well-ordering theorem
48
Cardinal comparability principle
Axiom of choice
36
Hartogs theorem
Set theory
17
Tarski cardinal-square theorem
Set theory
62
Image and preimage of a function
Set theory
18
Cartesian product
Set theory
19
Disjoint union
Set theory
14
Fiber product of sets
Set theory
20
Cantor diagonal argument
Set theory
22
Cardinal number
Set theory
356
8
Uncountable set
Cardinal number
17
Initial ordinal
Cardinal number
50
1
Aleph number
Initial ordinal
28
Cardinal arithmetic
Cardinal number
252
3
Product-sum comparison lemma
Cardinal arithmetic
145
Infinite cardinal arithmetic
Cardinal arithmetic
26
König theorem for cardinal numbers
Cardinal arithmetic
51
Cantor-Schröder-Bernstein theorem
Cardinal number
18
Ordinal
Set theory
706
29
Successor ordinal
Ordinal
9
Countable ordinal
Ordinal
9
Order type
Ordinal
26
1
Mostowski collapse theorem
Order type
13
Limit ordinal
Ordinal
23
Transfinite recursion
Ordinal
15
Transfinite induction
Ordinal
20
Ordinal addition
Ordinal
61
2
Associativity of ordinal addition
Ordinal addition
17
Commuting ordinal addition
Ordinal addition
32
Ordinal multiplication
Ordinal
28
Ordinal exponentiation
Ordinal
18
Derived-set iteration of a well-order
Ordinal
88
1
Derived sets of an ordinal
Derived-set iteration of a well-order
22
Ordinal interval
Ordinal
17
First uncountable ordinal
Ordinal
26
1
Tail of the first uncountable ordinal
First uncountable ordinal
14
Cantor normal form
Ordinal
122
3
Leading term of an ordinal
Cantor normal form
106
2
Greatest power of omega below an ordinal
Leading term of an ordinal
35
Leading exponent of an ordinal product
Leading term of an ordinal
50
Indecomposable ordinal
Ordinal
156
4
Additively closed ordinal
Indecomposable ordinal
41
Division by an additively indecomposable ordinal
Indecomposable ordinal
49
Multiplicatively closed ordinal
Indecomposable ordinal
56
1
Multiplicative closure criterion for a power of omega
Multiplicatively closed ordinal
40
Hessenberg natural sum
Ordinal
71
2
Shuffle bound for ordinal partitions
Hessenberg natural sum
48
1
Ordinal partition bound
Shuffle bound for ordinal partitions
27
Ancestors
(4)
Foundations of mathematics
Area of mathematics
Mathematics
Home
Codex Wiki