Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function (Q5687291): Difference between revisions
From MaRDI portal
Revision as of 16:16, 24 May 2024
scientific article; zbMATH DE number 957020
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function |
scientific article; zbMATH DE number 957020 |
Statements
Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function (English)
0 references
11 December 1996
0 references
model completeness
0 references
Pfaffian chain of functions
0 references
analytic functions
0 references
sub-analytic sets
0 references
exponential function
0 references
o-minimal
0 references
dimension
0 references
