Tree constructions of free continuous algebras

DOI10.1016/0022-0000(82)90059-9MaRDI QIDQ1160149zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Jiří Adámek, Evelyn Nelson, 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

continuous algebrasfree continuous algebraspartial ordertrees

Mathematics Subject Classification ID

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

Cites work

• A compactification of the algebra of terms
• A uniform approach to inductive posets and inductive closure
• Bases for Chain-complete Posets
• Categories of chain-complete posets
• Chain-complete posets and directed sets with applications
• Completions of Partially Ordered Sets
• Construction of free continuous algebras
• Data Types as Lattices
• Fixed-point constructions in order-enriched categories
• scientific article; zbMATH DE number 3644513 (Why is no real title available?)
• scientific article; zbMATH DE number 3736996 (Why is no real title available?)
• scientific article; zbMATH DE number 3775605 (Why is no real title available?)
• scientific article; zbMATH DE number 3562490 (Why is no real title available?)
• scientific article; zbMATH DE number 3574082 (Why is no real title available?)
• scientific article; zbMATH DE number 3617586 (Why is no real title available?)
• scientific article; zbMATH DE number 3630192 (Why is no real title available?)
• scientific article; zbMATH DE number 3440003 (Why is no real title available?)
• scientific article; zbMATH DE number 3362972 (Why is no real title available?)
• Initial Algebra Semantics and Continuous Algebras
• Semantics of the Domain of Flow Diagrams
• The Category-Theoretic Solution of Recursive Domain Equations
• Varieties of ordered algebras

Cited in

(12)

• An effectively given initial semigroup
• 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
• scientific article; zbMATH DE number 436445 (Why is no real title available?)
• scientific article; zbMATH DE number 3817769 (Why is no real title available?)
• scientific article; zbMATH DE number 4068820 (Why is no real title available?)
• Surjections of complete posets and of continuous algebras
• Separately continuous algebras

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1160149)