- Mirsky's
theorem the
minimum number of
antichains into
which the set can be partitioned. The
family of all
antichains in a
finite partially ordered set can...
-
common lower bound. Thus
lattices have only
trivial strong antichains (i.e.,
strong antichains of
cardinality at most 1). Kunen,
Kenneth (1980), Set Theory:...
- have
equal values of N, is an
antichain, and
these antichains partition the
partial order into a
number of
antichains equal to the size of the largest...
-
satisfy the
countable chain condition, or to be ccc, if
every strong antichain in X is countable.
There are
really two conditions: the
upwards and downwards...
-
monotone Boolean functions of n variables. Equivalently, it is the
number of
antichains of
subsets of an n-element set, the
number of
elements in a free distributive...
- with the
maximal antichains in Q: the
elements in the
lower set of a cut
correspond to the
elements with
subscript 0 in an
antichain, and the elements...
- have
equal values of N, is an
antichain, and
these antichains partition the
partial order into a
number of
antichains equal to the size of the largest...
- PFA
which instead of
arbitrary dense subsets applies only to
maximal antichains of size ω 1 {\displaystyle \omega _{1}} . Martin's
maximum is the strongest...
-
ordered set is said to have the
Sperner property when one of its
largest antichains is
formed by a set of
elements that all have the same rank. In this terminology...
- not an
antichain. In
other words, Fin ( E , 2 ) {\displaystyle \operatorname {Fin} (E,2)} -
antichains are countable. The
importance of
antichains in forcing...