Algebras defined from ordered sets and the varieties they generate

DOI10.1007/s11083-006-9032-2zbMath1096.08002OpenAlexW1974427385MaRDI QIDQ2503153

Willem J. Blok, Joel D. Berman

Publication date: 14 September 2006

Published in: Order (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11083-006-9032-2

zbMATH Keywords

free algebravarietiessubdirect irreducibilityHilbert algebraalgebra with one binary operationalgebraic interpretation of ordered setsequationally definable order relationorder algebra

Mathematics Subject Classification ID

Partial orders, general (06A06) Free algebras (08B20) Finitary algebras (08A62) Subdirect products and subdirect irreducibility (08B26)

Related Items (5)

On the deductive system of the order of an equationally orderable quasivariety ⋮ Prior’s OIC nonconservativity example revisited ⋮ Unnamed Item ⋮ Logics from \(\sqrt{\prime}\) quasi-MV algebras ⋮ Extended-order algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Free Łukasiewicz and hoop residuation algebras
• The variety generated by order algebras.
• On the structure of varieties with equationally definable principal congruences. I
• Struktur- und Anzahlformeln für Topologien auf endlichen Mengen
• Generative complexity in algebra
• The structure of finite algebras
• Asymptotic Enumeration of Partial Orders on a Finite Set
• Implicational formulas in intuitionistic logic
• COUNTING FINITE ALGEBRAS IN THE POST VARIETIES
• The number of unlabeled orders on fourteen elements

This page was built for publication: Algebras defined from ordered sets and the varieties they generate