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
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| (One intermediate revision by one other user not shown) | |||
| Property / cites work | |||
| Property / cites work: Q4133971 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The limit behaviour of exponential terms / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: \(p\)-adic and real subanalytic sets / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5565769 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Definable Sets in Ordered Structures. I / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3226765 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5807665 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A NOTE ON DECOMPOSITIONS OF RECURSIVELY ENUMERABLE SUBSPACES / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A generalization of the Tarski-Seidenberg theorem, and some nondefinability results / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On the elementary theory of restricted elementary functions / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On the theory of the real exponential field / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3781083 / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
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
