Publication:3804677

DOI10.2307/2274518zbMATH Open0657.03014OpenAlexW4248109000MaRDI QIDQ3804677FDOQ3804677

Dan Haran

Publication date: 1988

Published in: 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)

Cited In (4)

• SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION
• Definability and fast quantifier elimination in algebraically closed fields
• Computing Néron–Severi groups and cycle class groups
• Quantifier elimination in pairs of algebraically closed fields

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

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