A compactification of the algebra of terms

DOI10.1007/BF02485827zbMath0358.08001MaRDI QIDQ1239183

Walter Taylor, Jan Mycielski

Publication date: 1976

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

Mathematics Subject Classification ID

Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Free algebras (08B20) Equational compactness (08A45)

Related Items (8)

Equivalences and transformations of regular systems - applications to recursive program schemes and grammars ⋮ Model completeness of some metric completions of absolutely free algebras ⋮ Tree constructions of free continuous algebras ⋮ The Birkhoff theorem for finite algebras ⋮ Universal algebras ⋮ Unnamed Item ⋮ All solutions of a system of recursion equations in infinite trees and other contraction theories ⋮ Fundamental properties of infinite trees

Cites Work

• On equationally compact extensions of algebras
• Residually small varieties
• Some constructions of compact algebras

This page was built for publication: A compactification of the algebra of terms