scientific article; zbMATH DE number 3563068

MaRDI QIDQ4135500zbMATH OpenFDO

Authors Joseph R. Shoenfield

Publication date 1977

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Decidability and field theory (12L05) Connections between field theory and logic (12L99)

Cited in

(7)

• Positive elimination in valued fields
• Simplification of quantifier-free formulae over ordered fields
• Elimination of constants from machines over algebraically closed fields
• Quantifier elimination for Henselian fields relative to additive and multiplicative congruences
• Quantifier elimination in pairs of algebraically closed fields
• scientific article; zbMATH DE number 3935016 (Why is no real title available?)
• Quantifier elimination for infinite terms

This page was built for publication:

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