Suslin tree
In mathematics, a Suslin tree is a tree of height ω1 such that
every branch and every antichain is at most countable. They are named after Mikhail Yakovlevich Suslin.

Every Suslin tree is an Aronszajn tree.

The existence of a Suslin tree is independent of ZFC, and is equivalent to the existence of a Suslin line (shown by ) or a Suslin algebra. The diamond principle, a consequence of V=L, implies that there is a Suslin tree, and Martin's axiom MA(ℵ1) implies that there are no Suslin trees.

More generally, for any infinite cardinal κ, a κ-Suslin tree is a tree of height κ such that every branch and antichain has cardinality less than κ. In particular a Suslin tree is the same as a ω1-Suslin tree. showed that if V=L then there is a κ-Suslin tree for every infinite successor cardinal κ. Whether the Generalized Continuum Hypothesis implies the existence of an ℵ2-Suslin tree, is a longstanding open problem.
Q2859736
tree
UNK
Q3401770
ω1
UNK
Q431937
antichain
Concept
Q185478
countable
Concept
Q1273671
Mikhail Yakovlevich Suslin
PER
Q1192020
Aronszajn tree
Concept
Q2705017
independent
UNK
Q2296408
Suslin line
Concept
Q18386666
Suslin algebra
UNK
Q1734160
diamond principle
UNK
Q1151112
V=L
UNK
Q622185
Martin's axiom
Concept
Q1151112
V=L
UNK
Q7632662
successor cardinal
Concept
Q208416
Generalized Continuum Hypothesis
Concept
Q7649127
Suslin tree
Concept
Q7649127
Suslin tree
Concept
Q7649127
Suslin tree
Concept
Q7649127
Suslin tree
Concept
Q7649127
Suslin tree
Concept
Q7649127
Suslin tree
Concept
Q7649127
Suslin tree
Concept
Q7649127
Suslin tree
Concept
Q7649127
Suslin tree
Concept
Q7649127
Suslin tree
Concept
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
named after