scientific article; zbMATH DE number 1417307
From MaRDI portal
Publication:4944060
zbMath0948.32012MaRDI QIDQ4944060
Publication date: 20 November 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
first-order logicquantifier eliminationsubanalytic functionssubanalytic setsreal analytic functionsmodel-completenessreal valuations
Real-analytic and semi-analytic sets (14P15) Semi-analytic sets, subanalytic sets, and generalizations (32B20) Quantifier elimination, model completeness, and related topics (03C10)
This page was built for publication: