Elimination of infinitesimal quantifiers
type: Item
instance of: scholarly article
title: Elimination of infinitesimal quantifiers
zbMATH Open document ID: 0972.03032
DOI: 10.1016/S0022-4049(99)00013-4
author: Dan Richardson
published in: Journal of Pure and Applied Algebra
publication date: 1999-09-02T00:00:00Z
Mathematics Subject Classification ID: 03C10
Mathematics Subject Classification ID: 14P15
Mathematics Subject Classification ID: 03C80
Mathematics Subject Classification ID: 03C60
Mathematics Subject Classification ID: 14P25
zbMATH DE Number: 1308384
zbMATH Keywords: extension of the ordered field of the reals
zbMATH Keywords: totally defined analytic functions
zbMATH Keywords: locally Pfaffian
zbMATH Keywords: globally Noetherian
zbMATH Keywords: Whitney regularity
zbMATH Keywords: infinitesimal quantifiers
MaRDI profile type: Publication
cites work: Frontier and closure of a semi-Pfaffian set
cites work: Q5447549
cites work: Complexity of stratifications of semi-Pfaffian sets
cites work: How to recognize zero?
cites work: Geometric categories and o-minimal structures
description: scientific article; zbMATH DE number 1308384