@article{1093883254, author = {Mortensen, Chris}, title = {Every quotient algebra for $C\_1$ is trivial.}, journal = {Notre Dame J. Formal Logic}, volume = {21}, number = {1}, year = {1980}, pages = { 694-700}, language = {en}, url = {http://dml.mathdoc.fr/item/1093883254} }
Mortensen, Chris. Every quotient algebra for $C_1$ is trivial.. Notre Dame J. Formal Logic, Tome 21 (1980) no. 1, pp. 694-700. http://gdmltest.u-ga.fr/item/1093883254/