Model completeness of some metric completions of absolutely free algebras

DOI10.1007/BF02483872zbMath0467.03024MaRDI QIDQ1155604

Paul Perlmutter, Jan Mycielski

Publication date: 1981

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

zbMATH Keywords

prime modelmetrization

Mathematics Subject Classification ID

Complete metric spaces (54E50) Model-theoretic algebra (03C60) Free algebras (08B20) Equational classes, universal algebra in model theory (03C05) Categoricity and completeness of theories (03C35)

Cites Work

• Unnamed Item
• A compactification of the algebra of terms
• Model theory
• Equationally compact algebras (I)

This page was built for publication: Model completeness of some metric completions of absolutely free algebras