Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings (Q5193053)
From MaRDI portal
scientific article; zbMATH DE number 5593385
Language | Label | Description | Also known as |
---|---|---|---|
English | Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings |
scientific article; zbMATH DE number 5593385 |
Statements
Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings (English)
0 references
10 August 2009
0 references
quasianalytic functions
0 references
special cubes
0 references
special modifications
0 references
analytically independent infinitesimals
0 references
active and non-active infinitesimals
0 references
valuation property
0 references
quantifier elimination
0 references
preparation theorem
0 references