3088 Varieties A Solution to the Ackermann Constant Problem
Slaney, John K.
J. Symbolic Logic, Tome 50 (1985) no. 1, p. 487-501 / Harvested from Project Euclid
It is shown that there are exactly six normal DeMorgan monoids generated by the identity element alone. The free DeMorgan monoid with no generators but the identity is characterised and shown to have exactly three thousand and eighty-eight elements. This result solves the "Ackerman constant problem" of describing the structure of sentential constants in the logic $R$.
Publié le : 1985-06-14
Classification: 
@article{1183741855,
     author = {Slaney, John K.},
     title = {3088 Varieties A Solution to the Ackermann Constant Problem},
     journal = {J. Symbolic Logic},
     volume = {50},
     number = {1},
     year = {1985},
     pages = { 487-501},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183741855}
}
Slaney, John K. 3088 Varieties A Solution to the Ackermann Constant Problem. J. Symbolic Logic, Tome 50 (1985) no. 1, pp.  487-501. http://gdmltest.u-ga.fr/item/1183741855/