Tree constructions of free continuous algebras

DOI10.1016/0022-0000(82)90059-9zbMath0477.06001DBLPjournals/jcss/AdamekNR82OpenAlexW2028881473WikidataQ64357046 ScholiaQ64357046MaRDI QIDQ1160149

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

Publication date: 1981

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(82)90059-9

zbMATH Keywords

treespartial ordercontinuous algebrasfree continuous algebras

Mathematics Subject Classification ID

Partial orders, general (06A06) Trees (05C05) Free algebras (08B20) Ordered rings, algebras, modules (06F25)

Related Items (12)

The Birkhoff variety theorem for continuous algebras ⋮ On P-dominions of continuous algebras ⋮ Algebraic solutions to recursion schemes ⋮ Obituary: Evelyn M. Nelson ⋮ Absolutely definable varieties of continuous algebras ⋮ Construction of free continuous algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Surjections of complete posets and of continuous algebras ⋮ Separately continuous algebras ⋮ An effectively given initial semigroup ⋮ Unnamed Item

Cites Work

• A uniform approach to inductive posets and inductive closure
• Construction of free continuous algebras
• Chain-complete posets and directed sets with applications
• Varieties of ordered algebras
• A compactification of the algebra of terms
• Categories of chain-complete posets
• Fixed-point constructions in order-enriched categories
• Completions of Partially Ordered Sets
• The Category-Theoretic Solution of Recursive Domain Equations
• Bases for Chain-complete Posets
• Data Types as Lattices
• Semantics of the Domain of Flow Diagrams
• Initial Algebra Semantics and Continuous Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Tree constructions of free continuous algebras