scientific article; zbMATH DE number 3563068
From MaRDI portal
Publication:4135500
zbMATH Open0362.02045MaRDI QIDQ4135500FDOQ4135500
Authors: Joseph R. Shoenfield 
Publication date: 1977
Title of this publication is not available (Why is that?)
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)
- Elimination of constants from machines over algebraically closed fields
- Positive elimination in valued fields
- Quantifier elimination for infinite terms
- Quantifier elimination in pairs of algebraically closed fields
- Quantifier elimination for Henselian fields relative to additive and multiplicative congruences
- Simplification of quantifier-free formulae over ordered fields
- Title not available (Why is that?)
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)
