The following pages link to (Q3140641):
Displaying 19 items.
- On the real exponential field with restricted analytic functions (Q1320026) (← links)
- Expansions of the real field with power functions (Q1326770) (← links)
- Théorème de préparation pour les fonctions logarithmico-exponentielles. (Preparation theorem for logarithmico-exponential functions) (Q1360858) (← links)
- Algebraic properties of rings of generalized power series (Q1602848) (← links)
- Homology of semi-pfaffian sets (Q1816872) (← links)
- On the structure of nonarchimedean exponential fields. I (Q1893230) (← links)
- Geometric categories and o-minimal structures (Q1922131) (← links)
- On the value group of a model of Peano arithmetic (Q2363347) (← links)
- Turing meets Schanuel (Q2630828) (← links)
- Elementary analytic functions in \(\mathsf{VT}\mathsf{C}^0\) (Q2700809) (← links)
- Arithmetization of the field of reals with exponentiation extended abstract (Q3514637) (← links)
- Exponentiation in power series fields (Q4372399) (← links)
- Surreal numbers with derivation, Hardy fields and transseries: a survey (Q4635370) (← links)
- SURREAL ORDERED EXPONENTIAL FIELDS (Q5015725) (← links)
- Exponential fields and Conway’s omega-map (Q5889243) (← links)
- Liouville closed \(H_T\)-fields (Q6038506) (← links)
- Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts (Q6096734) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023 (Q6613397) (← links)
- Proof complexity and beyond. Abstracts from the workshop held March 24--29, 2024 (Q6613418) (← links)
