Category:Set theory

• ► Basic concepts in set theory‎ (3 C, 55 P)

A

• ► Axioms of set theory‎ (1 C, 31 P)

C

• ► Cardinal numbers‎ (1 C, 38 P)

D

• ► Descriptive set theory‎ (2 C, 49 P)

F

• ► Forcing (mathematics)‎ (23 P)

I

• ► Inner model theory‎ (10 P)

O

• ► Ordinal numbers‎ (1 C, 47 P)

S

• ► Set theorists‎ (106 P)
• ► Systems of set theory‎ (27 P)

• Set theory (computing)

*

• Set (mathematics) (computing)

A

• Admissible set (computing)
• Almost (computing)

B

• Baire space (computing)
• Benacerraf's identification problem (computing)
• BIT predicate (computing)
• Boolean differential calculus (computing)

C

• Cabal (set theory) (computing)
• Cantor's diagonal argument (computing)
• Cantor's first set theory article (computing)
• Cantor's paradise (computing)
• Cantor's theorem (computing)
• Cardinal assignment (computing)
• Cardinality of the continuum (computing)
• Categorical set theory (computing)
• Chang's conjecture (computing)
• Class (set theory) (computing)
• Class logic (computing)
• Club filter (computing)
• Club set (computing)
• Clubsuit (computing)
• Code (set theory) (computing)
• Cofinality (computing)
• Condensation lemma (computing)
• Conglomerate (mathematics) (computing)
• Conglomerate (set theory) (computing)
• Continuous function (set theory) (computing)
• Continuum (set theory) (computing)
• Controversy over Cantor's theory (computing)
• Cumulative hierarchy (computing)
• Cylinder (algebra) (computing)

D

• Deductive closure (computing)
• Definable real number (computing)
• Diaconescu's theorem (computing)
• Diagonal intersection (computing)
• Diamond principle (computing)
• Dimensional operator (computing)

E

• Easton's theorem (computing)
• Equaliser (mathematics) (computing)
• Equivalence class (computing)
• Erdős–Rado theorem (computing)
• Erdős–Dushnik–Miller theorem (computing)
• Extension (semantics) (computing)
• Extensionality (computing)

F

• Finitist set theory (computing)
• Fodor's lemma (computing)

G

• Game-theoretic rough sets (computing)
• Georg Cantor's first set theory article (computing)
• Glossary of set theory (computing)
• Gödel logic (computing)
• Goodstein's theorem (computing)

H

• Hartogs number (computing)
• Hausdorff Medal (computing)
• Hausdorff gap (computing)
• Hereditarily countable set (computing)
• Hereditarily finite set (computing)
• Hereditary property (computing)
• Hereditary set (computing)
• Hume's principle (computing)

I

• Ideal (set theory) (computing)
• Implementation of mathematics in set theory (computing)
• Infinitary combinatorics (computing)
• Information diagram (computing)

J

• Jensen's covering theorem (computing)
• Jónsson function (computing)

K

• Kuratowski's free set theorem (computing)

L

• Laver function (computing)
• Lévy hierarchy (computing)
• Limit cardinal (computing)
• List of exceptional set concepts (computing)
• List of set theory topics (computing)
• List of statements independent of ZFC (computing)

M

• Mathematical structure (computing)
• Mengenlehreuhr (computing)
• Milner–Rado paradox (computing)
• Morass (set theory) (computing)
• Mostowski model (computing)
• Multiplicity (mathematics) (computing)
• Multiverse (set theory) (computing)

N

• Naive set theory (computing)
• Named set theory (computing)
• Nested set (computing)
• Normal function (computing)
• Null set (computing)

O

• Ω-logic (computing)
• Ontological maximalism (computing)
• Ordinal arithmetic (computing)
• Ordinal definable set (computing)

P

• Pairing function (computing)
• Pantachy (computing)
• Paradoxes of set theory (computing)
• The Paradoxes of the Infinite (computing)
• Paradoxical set (computing)
• PCF theory (computing)
• Permutation model (computing)
• Preordered class (computing)
• Primitive notion (computing)
• Primitive recursive set function (computing)
• Pseudo-intersection (computing)

Q

• Quasi-set theory (physics)
• Willard Van Orman Quine (biography)

R

• Recursive ordinal (computing)
• Reflection principle (computing)

S

• S (set theory) (computing)
• Schröder–Bernstein property (computing)
• Scott's trick (computing)
• Separating set (computing)
• Set intersection oracle (computing)
• Set notation (computing)
• Set theory of the real line (computing)
• Set Theory: An Introduction to Independence Proofs
• Set-builder notation (computing)
• Set-theoretic limit (computing)
• Set-theoretic topology (computing)
• Sierpiński set (computing)
• Signed set (computing)
• Soft set (computing)
• Solovay model (computing)
• Square principle (computing)
• Stationary set (computing)
• Stratification (mathematics) (computing)
• Structuralism (philosophy of mathematics) (philosophy)
• Subclass (set theory) (computing)
• Successor cardinal (computing)
• Sunflower (mathematics) (computing)
• Superstrong cardinal (computing)
• Supertransitive class (computing)
• Support (mathematics) (computing)
• Suslin representation (computing)

T

• Tail sequence (computing)
• Tarski's theorem about choice (computing)
• Theory of regions (computing)
• Total order (computing)
• Transitive model (computing)
• Transitive reduction (computing)
• Transitive set (computing)
• Tree (set theory) (computing)

U

• Ulam matrix (computing)
• Uniformization (set theory) (computing)
• Universe (mathematics) (computing)

V

• Vicious circle principle (computing)