Horn sentences in Post algebras (Q1367043): Difference between revisions

The author proves that if a Horn sentence in the language of \(r\)-Post algebras holds in the \(r\)-element Post algebra then it holds in every \(r\)-Post algebra.

0 references

zbMATH Keywords

Horn sentence

0 references

Post algebra

0 references

reviewed by

Sergiu Rudeanu

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Functions and equations in classes of distributive lattices with pseudocomplementation

0 references

Model theory

0 references

The Lattice Theory of Post Algebras

0 references

Q4135510

0 references

Poet algebras and pseudo-Post algebras

0 references

On functions and equations in distributive lattices

0 references

Q4083731

0 references

On Postian algebraic equations

0 references

Identifiers

zbMATH Open document ID

0882.03062

0 references

DOI

10.1016/S0012-365X(97)00019-8

0 references

Mathematics Subject Classification ID

03G20

0 references

zbMATH DE Number

1062453

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1367043

@@ Property / reviewed by @@
-Sergiu Rudeanu
@@ Property / reviewed by: Sergiu Rudeanu / rank @@
-Normal rank
@@ Property / reviewed by @@
+Sergiu Rudeanu
@@ Property / reviewed by: Sergiu Rudeanu / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Functions and equations in classes of distributive lattices with pseudocomplementation
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+The Lattice Theory of Post Algebras
@@ Property / cites work: The Lattice Theory of Post Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4135510
@@ Property / cites work: Q4135510 / rank @@
+Normal rank
@@ Property / cites work @@
+Poet algebras and pseudo-Post algebras
@@ Property / cites work: Poet algebras and pseudo-Post algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On functions and equations in distributive lattices
+Normal rank
@@ Property / cites work @@
+Q4083731
@@ Property / cites work: Q4083731 / rank @@
+Normal rank
@@ Property / cites work @@
+On Postian algebraic equations
@@ Property / cites work: On Postian algebraic equations / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1367043