|
|||||
|
|
The class of algebraically closed p-semilattices is finitely axiomatizable |
|
| Authors: | Joël Adler Regula Rupp Jürg Schmid |
| Institution: | 1. Gertrud-Woker-Strasse 5, P?dagogische Hochschule Bern, 3012, Bern, Switzerland 2. Komturstrasse 34, 79106, Freiburg, Germany 3. Mathematical Institute, University of Bern, Sidlerstrasse 5, 3012, Bern, Switzerland |
| Abstract: | We prove our title, and thereby establish the base for a positive solution of Albert and Burris’ problem on the finite axiomatizability of the model companion of the class of all pseudocomplemented semilattices. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |