Definability of Geometric Properties in Algebraically Closed Fields
From MaRDI portal
Publication:4704658
DOI10.1002/malq.19990450411zbMath0937.03048OpenAlexW2065439806MaRDI QIDQ4704658
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
Database theory (68P15) Model-theoretic algebra (03C60) Information storage and retrieval of data (68P20) Model theory of fields (12L12)
Related Items
Quantifier rank for parity of embedded finite models. ⋮ Definability with a predicate for a semi-linear set
Cites Work
- Unnamed Item
- Unnamed Item
- Bounds in the theory of polynomial rings over fields. A nonstandard approach
- Elimination of parameters in the polynomial hierarchy
- Queries with arithmetical constraints
- Parity, circuits, and the polynomial-time hierarchy
- Relational expressive power of constraint query languages
- Constructions in Algebra
- On the combinatorial and algebraic complexity of quantifier elimination