In mathematics, a Suslin algebra is a
Boolean algebra
In mathematics and mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the variables are the truth values ''true'' and ''false'', usually denoted 1 and 0, whereas ...
that is
complete
Complete may refer to:
Logic
* Completeness (logic)
* Completeness of a theory, the property of a theory that every formula in the theory's language or its negation is provable
Mathematics
* The completeness of the real numbers, which implies ...
,
atomless, countably
distributive, and satisfies the
countable chain condition. They are named after
Mikhail Yakovlevich Suslin
Mikhail Yakovlevich Suslin (russian: Михаи́л Я́ковлевич Су́слин; , November 15, 1894 – 21 October 1919, Krasavka) (sometimes transliterated Souslin) was a Russian mathematician who made major contributions to the fiel ...
.
The existence of Suslin algebras is independent of the axioms of
ZFC, and is equivalent to the existence of
Suslin trees or
Suslin lines.
See also
Andrei Suslin
Andrei Suslin (russian: Андре́й Алекса́ндрович Су́слин, sometimes transliterated Souslin) was a Russian mathematician who contributed to algebraic K-theory and its connections with algebraic geometry. He was a Truste ...
References
{{algebra-stub
Boolean algebra
Forcing (mathematics)
Independence results