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