Definability of Geometric Properties in Algebraically Closed Fields

DOI10.1002/MALQ.19990450411MaRDI QIDQ4704658zbMATH OpenOpenAlexFDO

Authors Olivier Chapuis, Pascal Koiran

Publication date 13 June 2000

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://hal-lara.archives-ouvertes.fr/hal-02102101/file/RR1998-32.pdf

zbMATH Keywords

model theorydefinabilityalgebraically closed fieldsconstraint database

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Model-theoretic algebra (03C60) Database theory (68P15) Model theory of fields (12L12)

Recommendations

• On defining irreducibility
• scientific article; zbMATH DE number 67690
• Definability in reducts of algebraically closed fields

Cites work

• scientific article; zbMATH DE number 621807 (Why is no real title available?)
• scientific article; zbMATH DE number 1010621 (Why is no real title available?)
• Bounds in the theory of polynomial rings over fields. A nonstandard approach
• Constructions in Algebra
• Elimination of parameters in the polynomial hierarchy
• On the combinatorial and algebraic complexity of quantifier elimination
• Parity, circuits, and the polynomial-time hierarchy
• Queries with arithmetical constraints
• Relational expressive power of constraint query languages

Cited in

(7)

• scientific article; zbMATH DE number 67690 (Why is no real title available?)
• Quantifier rank for parity of embedded finite models.
• Definable equivalence relations on algebraically closed fields
• Definability with a predicate for a semi-linear set
• On defining irreducibility
• Definably connected nonconnected sets
• Definability in reducts of algebraically closed fields

This page was built for publication: Definability of Geometric Properties in Algebraically Closed Fields

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