Elimination of algorithmic quantifiers for ordered differential algebra
type: Item
instance of: scholarly article
title: Elimination of algorithmic quantifiers for ordered differential algebra
zbMATH Open document ID: 0921.03040
author: Yunfu Shen
published in: Archive for Mathematical Logic
publication date: 1998-08-10T00:00:00Z
review text: F. M. Singer proved that the theory of ordered differential fields ODF has a model completion, i.e., the theory of closed ordered differential fields, CODF. As a result, CODF admits elimination of quantifiers. In this paper we give an algorithm to eliminate the quantifiers of CODF-formulas in finitely many steps.
Mathematics Subject Classification ID: 03C10
Mathematics Subject Classification ID: 12L12
Mathematics Subject Classification ID: 03C60
Mathematics Subject Classification ID: 12H05
zbMATH DE Number: 1186293
zbMATH Keywords: model theory
zbMATH Keywords: quantifier elimination
zbMATH Keywords: algorithm
zbMATH Keywords: ordered differential algebra
zbMATH Keywords: closed ordered differential fields
reviewed by: Yuliang Shen
MaRDI profile type: Publication
full work available at URL: s001530050119
OpenAlex ID: W2056757044
DOI: 10.1007/S001530050119
description: scientific article; zbMATH DE number 1186293