Quantifier elimination in separably closed fields of finite imperfectness degree
type: Item
instance of: scholarly article
title: Quantifier elimination in separably closed fields of finite imperfectness degree
zbMATH Open document ID: 0657.03014
DOI: 10.2307/2274518
author: Dan Haran
publication date: 1988-01-01T00:00:00Z
Mathematics Subject Classification ID: 03C60
Mathematics Subject Classification ID: 03C10
Mathematics Subject Classification ID: 12L12
zbMATH DE Number: 4072935
zbMATH Keywords: primitive recursive procedure for quantifier elimination
zbMATH Keywords: separably closed fields
zbMATH Keywords: finite imperfectness degree
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.2307/2274518
OpenAlex ID: W4248109000
published in: Journal of Symbolic Logic
description: scientific article