The Birkhoff variety theorem for continuous algebras

DOI10.1007/BF01195142zbMath0594.08005OpenAlexW2010453304MaRDI QIDQ1076703

Evelyn Nelson, Jan Reiterman, Jiří Adámek

Publication date: 1985

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01195142

zbMATH Keywords

quasi-varietyBirkhoff variety theoremfinitely supported varietiesinfinitary operation symbolsordered Z- complete algebrasZ-continuous finitary algebras

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Quasivarieties (08C15) Categories of algebras (08C05) Infinitary algebras (08A65)

Related Items (9)

Continuous semilattices ⋮ Quasi-varieties in abstract algebraic institutions ⋮ Specifications in an arbitrary institution ⋮ Obituary: Evelyn M. Nelson ⋮ Absolutely definable varieties of continuous algebras ⋮ Unnamed Item ⋮ Uniformly constructive monads ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• A uniform approach to inductive posets and inductive closure
• Varieties of chain-complete algebras
• Algebraic semantics
• Tree constructions of free continuous algebras
• Varieties of ordered algebras
• Completions of Partially Ordered Sets

This page was built for publication: The Birkhoff variety theorem for continuous algebras