scientific article

zbMath0588.08003MaRDI QIDQ3715167

Alexandre A. Ivanov

Publication date: 1986

Full work available at URL: https://eudml.org/doc/62652

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

model-completioncomplete theoriesvariety of unarselimination of quantors

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 (2)

Algorithmic complexity of algebraic systems ⋮ Totally transcendental theories of unars

This page was built for publication: