scientific article; zbMATH DE number 3823751

MaRDI QIDQ3671137zbMATH OpenFDO

Authors Yuri L. Ershov

Publication date 1981

zbMATH Keywords

quantifier eliminationregularly closed fieldsGalois-stratificationGalois-stratum

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Quantifier elimination, model completeness, and related topics (03C10)

Cited in

(1)

• Concrete models of computation for topological algebras

This page was built for publication:

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