Suslin algebras A Suslin algebra is a generalization of a Suslin tree: it is a ccc, $(\omega,\infty)$-distributive boolean algebra.  Jech proved that every Suslin algebra has size at most $2^{\omega_1}$.  A proof is given in the current edition of his book "Set Theory."  He also mentions that it is consistent to have Suslin algebras of size $2^{\omega_1}$ but does not sketch an argument.  I have been having trouble finding a proof of this fact.  I looked in the older edition of Jech's book, and he says a little more about it there, but still no proof.  I would be very grateful if someone could point me to a paper that has a construction of a large Suslin algebra, or sketch a proof here in an answer.  I am also curious about the following:
1) Is it consistent to have Suslin trees but no Suslin algebras of density larger than $\omega_1$?
2) Can the existence of large Suslin algebras be proved from several diamonds, say $\Diamond_{\omega_1}$ + $\Diamond_{\omega_2}(cof(\omega_1))$?
Thanks!
 A: Jensen constructed a Suslin algebra of size $2^{\aleph_1}$ ($= \aleph_2$ in that model) to prove the consistency of the Suslin Hypothesis with the Continuum Hypothesis. You can find a detailed account of his intricate construction in The Souslin Problem (Lecture Notes in Mathematics 405) by Devlin and Johnsbraten. This is essentilally the only construction I am aware of.
A: Jech, Thomas J.
Some combinatorial problems concerning uncountable cardinals. 
Ann. Math. Logic 5 (1972/73), 165–198. 
Section 5 contains the forcing for arbitrarily big Suslin algebras.  See also:
Scharfenberger-Fabian, Gido
Chain homogeneous Souslin algebras. (English summary) 
MLQ Math. Log. Q. 57 (2011), no. 6, 591–610.
According to Gido, his paper, Jech's, and Jensen's result mentioned by Dorais are the only known contsructions of "big" Suslin algebras.  Jech's forcing is thus the only thing that makes one bigger than $\aleph_2$.
Note that Jech does not explicitly prove distributivity in his paper, but it is not hard to show given what is there.
