Hypertext
List of set theory topics
Logic portal
Set theory portal
This page is a list of articles related to
set theory
.
Contents
1
Articles on individual set theory topics
2
Lists related to set theory
3
Set theorists
4
Societies and organizations
Articles on individual set theory topics
Algebra of sets
Axiom of choice
Axiom of countable choice
Axiom of dependent choice
Zorn's lemma
Boolean-valued model
Burali-Forti paradox
Cantor's back-and-forth method
Cantor's diagonal argument
Cantor's first uncountability proof
Cantor's paradox
Cantor's theorem
Cantor–Bernstein–Schroeder theorem
Cardinal number
Aleph number
Beth number
Hartogs number
Cardinality
Cartesian product
Class (set theory)
Complement (set theory)
Complete Boolean algebra
Continuum (set theory)
Suslin's problem
Continuum hypothesis
Countable set
Descriptive set theory
Analytic set
Analytical hierarchy
Borel equivalence relation
Infinity-Borel set
Lightface analytic game
Perfect set property
Polish space
Prewellordering
Projective set
Property of Baire
Uniformization (set theory)
Universally measurable set
Determinacy
AD+
Axiom of determinacy
Axiom of projective determinacy
Axiom of real determinacy
Empty set
Forcing (mathematics)
Fuzzy set
Hereditary set
Inaccessible cardinal
Internal set theory
Intersection (set theory)
Inner model theory
Core model
Covering lemma
Inner model
Mouse (set theory)
L
L(R)
Large cardinal property
Linear partial information
Multiset
Musical set theory
Ordinal number
Infinite descending chain
Limit ordinal
Successor ordinal
Transfinite induction
∈-induction
Well-founded set
Well-order
Power set
Projection
Quasi-set theory
Relation
Rough set
Russell's paradox
Semiset
Set theory
Alternative set theory
Axiomatic set theory
General set theory
Kripke-Platek set theory with urelements
Morse-Kelley set theory
Naive set theory
New Foundations
Pocket set theory
Positive set theory
S (Boolos 1989)
Scott-Potter set theory
Tarski–Grothendieck set theory
Von Neumann-Bernays-Godel set theory
Zermelo-Fraenkel set theory
Zermelo set theory
Set (mathematics)
Set-theoretic topology
Simple theorems in the algebra of sets
Subset
Θ (set theory)
Tree (descriptive set theory)
Tree (set theory)
Union (set theory)
Von Neumann universe
Zero sharp
Lists related to set theory
List of large cardinal properties
List of properties of sets of reals
Set theorists
Wilhelm Ackermann
James Earl Baumgartner
Paul Bernays
George Boolos
Bourbaki
Georg Cantor
Paul Cohen
Paul Finsler
Matthew Foreman
Thomas Forster
Abraham Fraenkel
Gottlob Frege
Moti Gitik
Kurt Gödel
András Hajnal
Felix Hausdorff
Randall Holmes
Steve Jackson
Thomas Jech
Ronald Jensen
Akihiro Kanamori
Alexander S. Kechris
Kenneth Kunen
Casimir Kuratowski
Richard Laver
Azriel Levy
Menachem Magidor
Donald A. Martin
Anthony Morse
Yiannis N. Moschovakis
Andrzej Mostowski
John von Neumann
Giuseppe Peano
Willard Quine
Bertrand Russell
Dana Scott
J C Shepherdson
Saharon Shelah
Waclaw Sierpinski
Thoralf Skolem
Robert M. Solovay
Mikhail Yakovlevich Suslin
John R. Steel
Gaisi Takeuti
Alfred Tarski
W. Hugh Woodin
Ernst Zermelo
Societies and organizations
Association for Symbolic Logic
The Cabal
v
t
e
Logic
Overview
Academic
areas
Argumentation theory
Axiology
Critical thinking
Computability theory
Formal semantics
History of logic
Informal logic
Logic in computer science
Mathematical logic
Mathematics
Metalogic
Metamathematics
Model theory
Philosophical logic
Philosophy
Philosophy of logic
Philosophy of mathematics
Proof theory
Set theory
Foundational
concepts
Abduction
Analytic truth
Antinomy
A priori
Deduction
Definition
Description
Entailment
Induction
Inference
Logical consequence
Logical form
Logical implication
Logical truth
Name
Necessity
Meaning
Paradox
Possible world
Presupposition
Probability
Reason
Reasoning
Reference
Semantics
Statement
Strict implication
Substitution
Syntax
Truth
Truth value
Validity
Philosophical logic
Critical thinking
and
Informal logic
Analysis
Ambiguity
Argument
Belief
Bias
Credibility
Evidence
Explanation
Explanatory power
Fact
Fallacy
Inquiry
Opinion
Parsimony
Premise
Propaganda
Prudence
Reasoning
Relevance
Rhetoric
Rigor
Vagueness
Theories of deduction
Constructivism
Dialetheism
Fictionalism
Finitism
Formalism
Intuitionism
Logical atomism
Logicism
Nominalism
Platonic realism
Pragmatism
Realism
Metalogic
and
metamathematics
Cantor's theorem
Church's theorem
Church's thesis
Consistency
Effective method
Foundations of mathematics
Gödel's completeness theorem
Gödel's incompleteness theorems
Soundness
Completeness
Decidability
Interpretation
Löwenheim–Skolem theorem
Metatheorem
Satisfiability
Independence
Type–token distinction
Use–mention distinction
Mathematical logic
General
Formal language
Formation rule
Formal system
Deductive system
Formal proof
Formal semantics
Well-formed formula
Set
Element
Class
Classical logic
Axiom
Natural deduction
Rule of inference
Relation
Theorem
Logical consequence
Axiomatic system
Type theory
Symbol
Syntax
Theory
Traditional logic
Proposition
Inference
Argument
Validity
Cogency
Syllogism
Square of opposition
Venn diagram
Propositional calculus
and
Boolean logic
Boolean functions
Propositional calculus
Propositional formula
Logical connectives
Truth tables
Predicate
First-order
Quantifiers
Predicate
Second-order
Monadic predicate calculus
Set theory
Set
Empty set
Enumeration
Extensionality
Finite set
Function
Subset
Power set
Countable set
Recursive set
Domain
Range
Ordered pair
Uncountable set
Model theory
Model
Interpretation
Non-standard model
Finite model theory
Truth value
Validity
Proof theory
Formal proof
Deductive system
Formal system
Theorem
Logical consequence
Rule of inference
Syntax
Computability theory
Recursion
Recursive set
Recursively enumerable set
Decision problem
Church–Turing thesis
Computable function
Primitive recursive function
Non-classical logic
Modal logic
Alethic
Axiologic
Deontic
Doxastic
Epistemic
Temporal
Intuitionism
Intuitionistic logic
Constructive analysis
Heyting arithmetic
Intuitionistic type theory
Constructive set theory
Fuzzy logic
Degree of truth
Fuzzy rule
Fuzzy set
Fuzzy finite element
Fuzzy set operations
Substructural logic
Structural rule
Relevance logic
Linear logic
Paraconsistent logic
Dialetheism
Description logic
Ontology
Ontology language
Logicians
Anderson
Aristotle
Averroes
Avicenna
Bain
Barwise
Bernays
Boole
Boolos
Cantor
Carnap
Church
Chrysippus
Curry
De Morgan
Frege
Geach
Gentzen
Gödel
Hilbert
Kleene
Kripke
Leibniz
Löwenheim
Peano
Peirce
Putnam
Quine
Russell
Schröder
Scotus
Skolem
Smullyan
Tarski
Turing
Whitehead
William of Ockham
Wittgenstein
Zermelo
Lists
Topics
Outline of logic
Index of logic articles
Mathematical logic
Boolean algebra
Set theory
Other
Logicians
Rules of inference
Paradoxes
Fallacies
Logic symbols
Portal
Category
Outline
WikiProject
Talk
changes
http://www.re4.miodzik.eu
-
www.multimedia247.com.pl
-
Napiszemy
-
www.tlum.bytom.pl
-
serwis
All text is available under the terms of the
GNU Free Documentation License