Amalgamation and Elimination of Quantifiers for Theories of Fields

DOI10.2307/2042646zbMATH Open0437.03012OpenAlexW4245196382MaRDI QIDQ3877658FDOQ3877658

William H. Wheeler

Publication date: 1979

Full work available at URL: https://doi.org/10.2307/2042646

zbMATH Keywords

algebraically closed fieldsindiscernibles for existential formulas

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Polynomials over finite fields (11T06) Polynomials in general fields (irreducibility, etc.) (12E05) Integral domains (13G05) Ordered fields (12J15) Quantifier elimination, model completeness, and related topics (03C10) Connections between field theory and logic (12L99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Model theoretic algebra. Selected topics
• On $ω_1$-categorical theories of fields
• Elimination of quantifiers in algebraic structures
• Amalgamation properties and interpolation theorems for equational theories
• Forcing, arithmetic, division rings
• Amalgamation and Elimination of Quantifiers for Theories of Fields
• Corrigendum: “Rings which admit elimination of quantifiers”

Cited In (1)

• Amalgamation and Elimination of Quantifiers for Theories of Fields

This page was built for publication: Amalgamation and Elimination of Quantifiers for Theories of Fields

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