On k-constructable sets, k-elementary formulae, and elimination theory.

DOI10.1515/CRLL.1969.239-240.256MaRDI QIDQ5580134zbMATH OpenOpenAlexFDO

Authors A. Seidenberg

Publication date 1969

Published in Journal für die reine und angewandte Mathematik (Crelles Journal) (Search for Journal in Brave)

Full work available at URL https://www.digizeitschriften.de/dms/resolveppn/?PPN=GDZPPN002184427, https://eudml.org/doc/150976

zbMATH Keywords

algebraic geometry

Mathematics Subject Classification ID

Algebraic geometry (14-XX)

Recommendations

• THE THEORY OF AFFINE CONSTRUCTIBLE SETS
• Positive elimination in valued fields
• On a projection theorem of quasi-varieties in elimination theory
• An algorithmic approach to Chevalley’s Theorem on images of rational morphisms between affine varieties
• Definability and fast quantifier elimination in algebraically closed fields

Cited in

(5)

• A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
• THE THEORY OF AFFINE CONSTRUCTIBLE SETS
• Quantifier elimination for elementary geometry and elementary affine geometry
• The last word on elimination of quantifiers in modules
• Bounds and definablity over fields.

This page was built for publication: On k-constructable sets, k-elementary formulae, and elimination theory.

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