Amalgamation and Elimination of Quantifiers for Theories of Fields
From MaRDI portal
Publication:3877658
DOI10.2307/2042646zbMath0437.03012OpenAlexW4245196382MaRDI QIDQ3877658
Publication date: 1979
Full work available at URL: https://doi.org/10.2307/2042646
Model-theoretic algebra (03C60) Polynomials in general fields (irreducibility, etc.) (12E05) Polynomials over finite fields (11T06) Connections between field theory and logic (12L99) Integral domains (13G05) Ordered fields (12J15) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Elimination of quantifiers in algebraic structures
- Forcing, arithmetic, division rings
- Amalgamation properties and interpolation theorems for equational theories
- Model theoretic algebra. Selected topics
- Amalgamation and Elimination of Quantifiers for Theories of Fields
- Corrigendum: “Rings which admit elimination of quantifiers”
- On $ω_1$-categorical theories of fields