scientific article; zbMATH DE number 440484

zbMATH Open0791.03018MaRDI QIDQ3140641FDOQ3140641

Authors:

Publication date: 7 July 1994

Title of this publication is not available (Why is that?)

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
• ON THE THEORY OF EXPONENTIAL FIELDS

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)

Cited In (27)

• Liouville closed \(H_T\)-fields
• Every real closed field has an integer part
• On the real exponential field with restricted analytic functions
• Arithmetization of the field of reals with exponentiation extended abstract
• Integer-valued definable functions
• Geometric categories and o-minimal structures
• Title not available (Why is that?)
• On the value group of a model of Peano arithmetic
• Embedding Henselian fields into power series
• 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
• Expansions of the real field with power functions
• SURREAL ORDERED EXPONENTIAL FIELDS
• Complexity of structures associated with real closed fields
• Algebraic properties of rings of generalized power series
• Real closed exponential 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
• Surreal numbers with derivation, Hardy fields and transseries: a survey
• 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)