Category:Set theory

• Set theory

*

• Set (mathematics)

A

• Admissible set
• Almost
• Axiom of finite choice

B

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

C

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

D

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

E

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

F

• Finitist set theory
• Fodor's lemma

G

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

H

• Hartogs number
• Hausdorff gap
• Hereditarily countable set
• Hereditarily finite set
• Hereditary property
• Hereditary set
• Hume's principle

I

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

J

• Jensen's covering theorem
• Jónsson function

K

• Kuratowski's free set theorem

L

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

M

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

N

• Naive set theory
• Named set theory
• Nested set
• Normal function
• Null set

O

• Ω-logic
• Ontological maximalism
• Open coloring axiom
• Ordinal arithmetic
• Ordinal definable set

P

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

Q

• Quasi-set theory
• Biography:Willard Van Orman Quine

R

• Recursive ordinal
• Reflection principle

S

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

T

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

U

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

V

• Vicious circle principle