Publication:

Ordered transexponential fields

Date

Date

Date
2025
Journal Article
Published version

Citations

Citation copied

Krapp, L. S., & Kuhlmann, S. (2025). Ordered transexponential fields. Annals of Pure and Applied Logic, 176(4), 103541. https://doi.org/10.1016/j.apal.2024.103541

Abstract

Abstract

Abstract

We develop a first-order theory of ordered transexponential fields in the language , where e and T stand for unary function symbols. While the archimedean models of this theory are readily described, the study of the non-archimedean models leads to a systematic examination of the induced structure on the residue field and the value group under the natural valuation. We establish necessary and sufficient conditions on the value group of an ordered exponential field to admit a transexponential function T compatible with e. Moreover, we

Metrics

Citations

Additional indexing

Creators (Authors)

  • Krapp, Lothar Sebastian
    affiliation.icon.alt
  • Kuhlmann, Salma
    affiliation.icon.alt

Journal/Series Title

Journal/Series Title

Journal/Series Title

Volume

Volume

Volume
176

Number

Number

Number
4

Page range/Item number

Page range/Item number

Page range/Item number
103541

Item Type

Item Type

Item Type
Journal Article

Dewey Decimal Classifikation

Dewey Decimal Classifikation

Dewey Decimal Classifikation

Language

Language

Language
English

Publication date

Publication date

Publication date
2025-04

Date available

Date available

Date available
2025-04-10

Publisher

Publisher

Publisher

ISSN or e-ISSN

ISSN or e-ISSN

ISSN or e-ISSN
0168-0072

OA Status

OA Status

OA Status
Closed

Free Access at

Free Access at

Free Access at
Unspecified

Metrics

Citations

Citations

Citation copied

Krapp, L. S., & Kuhlmann, S. (2025). Ordered transexponential fields. Annals of Pure and Applied Logic, 176(4), 103541. https://doi.org/10.1016/j.apal.2024.103541

Closed
Loading...
Thumbnail Image

Files

Files

Files
Files available to download:2

Files

Files

Files
Files available to download:2
Loading...
Thumbnail Image