Non-covering in the interpretability lattice of equational theories |
| |
| Authors: | Ralph McKenzie Stanislaw Świerczkowski |
| |
| Affiliation: | (1) Department of Mathematics, University of California, 94720 Berkeley, California;(2) Department of Mathematics and Computing, Al-Khod Sultan Qaboos University, P.O. Box 32486, Sultanate of Oman |
| |
| Abstract: | We prove a general theorem which implies that many members of the interpretability lattice — including the least element of the lattice, the element represented by the theory with one constant and no axioms, and the equational theory of semilattices — have no cover in the lattice.Presented by R. W. Quackenbush.Research supported by National Science Foundation Grant DMS 89 04014. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
