Algebraically closed p-semilattices
A p-semilattice S is an algebra (S,\(\wedge,*,0)\) such that (S,\(\wedge)\) is a meet-semilattice with least element 0 and \(y\leq x^*\) iff \(y\wedge x=0\). S is algebraically closed (a.c.) iff any finite system of polynomial equations with constants from S has a solution in S itself provided it has one in some p-semilattice \(S_ 1\) extending S. In the same way one defines algebraically closed in \({\mathcal K}\) for any class \({\mathcal K}\) of p-semilattices - considering only extensions \(S_ 1\) in \({\mathcal K}.\) The present paper determines explicitly the finite a.c. members of the natural Horn classes of p-semilattices which correspond to the well-known Lee classes of distributive p-algebras; they are certain direct products of subdirectly irreducible p-semilattices. The result is then used to characterize all a.c. members of the classes in question as direct limits of such direct products. The method used is mainly combinatorial analysis of the subdirect representations of a.c. p-semilattices.
- The class of algebraically closed p-semilattices is finitely axiomatizable
- scientific article; zbMATH DE number 4210141
- scientific article; zbMATH DE number 3262331
- Closure Theorem for Partially Semialgebraic Sets
- Pseudocomplemented semilattices, Boolean algebras, and compatible products
- p-closure in pseudo BCI-algebras
- On p-semirings
- Semilattices of finite arithmetical algebras
- Semilattices with closure
- A semialgebraic closure for commutative algebra
- A Note on the Implicational Class Generated by a Class of Structures
- Algebraically closed distributive p-algebras
- Die Kennzeichnung der distributiven pseudokomplementären Halbverbände.
- Equational Classes of Distributive Pseudo-Complemented Lattices
- scientific article; zbMATH DE number 3739609 (Why is no real title available?)
- scientific article; zbMATH DE number 3366941 (Why is no real title available?)
- Principal Congruences of Pseudocomplemented Semilattices and Congruence Extension Property
- Stone lattices
- Existentially closed semilattices
- scientific article; zbMATH DE number 3859410 (Why is no real title available?)
- Algebraically closed abelian l-groups
- The class of algebraically closed p-semilattices is finitely axiomatizable
- The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable
- The countable existentially closed pseudocomplemented semilattice
This page was built for publication: Algebraically closed p-semilattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1057291)
