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

DOI10.1515/CRLL.1969.239-240.256zbMATH Open0186.25901OpenAlexW192993182MaRDI QIDQ5580134FDOQ5580134

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

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

zbMATH Keywords

algebraic geometry

Mathematics Subject Classification ID

Algebraic geometry (14-XX)

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)