Corpus ID: 213396219

Algebraic and Model Theoretic Properties of O-minimal Exponential Fields

@inproceedings{Krapp2019AlgebraicAM,
  title={Algebraic and Model Theoretic Properties of O-minimal Exponential Fields},
  author={L. S. Krapp},
  year={2019}
}
An exponential exp on an ordered field (K,+,−, ·, 0, 1, <) is an order-preserving isomorphism from the ordered additive group (K,+, 0, <) to the ordered multiplicative group of positive elements ( K>0, ·, 1, < ) . The structure (K,+,−, ·, 0, 1, <, exp) is then called an ordered exponential field. A linearly ordered structure (M,<, . . .) is called o-minimal if every parametrically definable subset of M is a finite union of points and open intervals of M . The main subject of this thesis is the… Expand
1 Citations
Value groups and residue fields of models of real exponentiation
  • L. S. Krapp
  • Mathematics, Computer Science
  • J. Log. Anal.
  • 2019
  • 1
  • PDF

References

SHOWING 1-10 OF 98 REFERENCES
On the structure of nonarchimedean exponential fields I
  • S. Kuhlmann
  • Mathematics, Computer Science
  • Arch. Math. Log.
  • 1995
  • 19
  • PDF
Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
  • 406
  • Highly Influential
  • PDF
On the existence of real-closed fields that are _{}-sets of power ℵ_{}
  • 30
  • PDF
A Transfer Theorem for Henselian Valued and Ordered Fields
  • R. Farré
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1993
  • 5
Expansions of dense linear orders with the intermediate value property
  • 75
The algebra and model theory of tame valued fields
  • 38
  • PDF
An Isomorphism Theorem for Real-Closed Fields
  • 66
κ-bounded Exponential-Logarithmic Power Series Fields ∗
  • 18
  • PDF
Fields of surreal numbers and exponentiation
  • 45
  • PDF
On ordered divisible groups
  • 18
  • PDF
...
1
2
3
4
5
...