Algebras defined from ordered sets and the varieties they generate
From MaRDI portal
Publication:2503153
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
free algebra; varieties; subdirect irreducibility; Hilbert algebra; algebra with one binary operation; algebraic interpretation of ordered sets; equationally definable order relation; order algebra
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