Complete theories of unars

DOI10.1007/BF00969341zbMath0597.08006MaRDI QIDQ5903185

Alexandre A. Ivanov

Publication date: 1986

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

completetheoriesmodel-completionvariety of unars

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Unary algebras (08A60) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (4)

Normal and compact solvability of linear operators ⋮ Covariant functors in categories of topological spaces ⋮ L q,p -Cohomology of Riemannian Manifolds with Negative Curvature ⋮ L\({}_ p\)-cohomology of warped cylinders

Cites Work

• Minimal models of theories of one function symbol
• An application of games to the completeness problem for formalized theories
• Ultrahomogeneous Structures
• The number of countable models of a theory of one unary function

This page was built for publication: Complete theories of unars