Algebras defined from ordered sets and the varieties they generate

DOI10.1007/s11083-006-9032-2zbMath1096.08002MaRDI 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 algebra; varieties; subdirect irreducibility; Hilbert algebra; algebra with one binary operation; algebraic interpretation of ordered sets; equationally definable order relation; order algebra

Mathematics Subject Classification ID

06A06: Partial orders, general

08B20: Free algebras

08A62: Finitary algebras

08B26: Subdirect products and subdirect irreducibility

Related Items

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

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