scientific article; zbMATH DE number 440484

MaRDI QIDQ3140641zbMATH OpenFDO

Authors

Publication date 7 July 1994

zbMATH Keywords

real exponential fieldInteger Part

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15) Real algebraic and real-analytic geometry (14P99)

Recommendations

• Real closed exponential fields
• On the value group of a model of Peano arithmetic
• Models of true arithmetic are integer parts of models of real exponentation
• scientific article; zbMATH DE number 5953963
• ON THE THEORY OF EXPONENTIAL FIELDS

Cited in

(31)

• Surreal ordered exponential fields
• Lengths of developments in \(K((G))\)
• Ordered transexponential fields
• Liouville closed H_T-fields
• Every real closed field has an integer part
• On the real exponential field with restricted analytic functions
• Surreal numbers with derivation, Hardy fields and transseries: a survey. To the memory of Murray Marshall
• Arithmetization of the field of reals with exponentiation extended abstract
• Models of true arithmetic are integer parts of models of real exponentation
• Integer-valued definable functions
• Geometric categories and o-minimal structures
• scientific article; zbMATH DE number 2070371 (Why is no real title available?)
• On the value group of a model of Peano arithmetic
• Embedding Henselian fields into power series
• Expansions of the real field with power functions
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023
• Proof complexity and beyond. Abstracts from the workshop held March 24--29, 2024
• Analogues of Shepherdson's theorem for a language with exponentiation
• Algebraic properties of rings of generalized power series
• Real closed exponential fields
• Complexity of structures associated with real closed fields
• Exponentiation in power series fields
• Théorème de préparation pour les fonctions logarithmico-exponentielles. (Preparation theorem for logarithmico-exponential functions)
• On the structure of nonarchimedean exponential fields. I
• Exponential fields and Conway’s omega-map
• Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts
• Homology of semi-pfaffian sets
• The Skolem-Bang theorems in ordered fields with an IP
• Real closed fields and IP-sensitivity
• Elementary analytic functions in \(\mathsf{VT}\mathsf{C}^0\)
• Turing meets Schanuel

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3140641)