@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/