Asymptotic theory of modules of separably closed fields

DOI10.2178/jsl/1120224729zbMath1119.03032OpenAlexW2109672157MaRDI QIDQ5718676

Françoise Point

Publication date: 16 January 2006

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1120224729

zbMATH Keywords

quantifier eliminationultraproductskew polynomial ringseparably closed fieldBSS-machine

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10) Ultraproducts and field theory (12L10)

Cites Work

• Model theory of modules
• Theory of non-commutative polynomials
• The theory of modules of separably closed fields. II.