Quantifier elimination in separably closed fields of finite imperfectness degree

DOI10.2307/2274518zbMath0657.03014OpenAlexW4248109000MaRDI QIDQ3804677

Dan Haran

Publication date: 1988

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

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

zbMATH Keywords

separably closed fieldsfinite imperfectness degreeprimitive recursive procedure for quantifier elimination

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

Computing Néron–Severi groups and cycle class groups

This page was built for publication: Quantifier elimination in separably closed fields of finite imperfectness degree