Pages that link to "Item:Q5687291"
From MaRDI portal
The following pages link to Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function (Q5687291):
Displayed 27 items.
- Model Theory in Algebra, Analysis and Arithmetic: A Preface (Q5256620) (← links)
- A construction of real closed fields (Q5258477) (← links)
- An algorithm for regular solutions of systems of exp-subanalytic equations and o-minimality of ℝan,exp (Q5383854) (← links)
- Definability results for the Poisson equation (Q5440748) (← links)
- Model theory of exponentials on Lie algebras (Q5458065) (← links)
- Book Review: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives (Q5494753) (← links)
- A note on divisible points of curves (Q5496631) (← links)
- COMPUTING STRENGTH OF STRUCTURES RELATED TO THE FIELD OF REAL NUMBERS (Q5738194) (← links)
- Expansions of the real field by discrete subgroups of 𝐺𝑙_{𝑛}(ℂ) (Q5856979) (← links)
- Definable continuous mappings and Whyburn’s conjecture (Q5880243) (← links)
- The six Grothendieck operations on o-minimal sheaves (Q5891812) (← links)
- Weak arithmetics (Q5941252) (← links)
- Weak arithmetic (Q5941732) (← links)
- Logarithmic-exponential series (Q5942884) (← links)
- Liouville closed \(H_T\)-fields (Q6038506) (← links)
- Global convergence of the gradient method for functions definable in o-minimal structures (Q6052062) (← links)
- Between the Rings $${\mathbb Z}/p^n{\mathbb Z}$$ and the Ring $${\mathbb Z}_p$$: Issues of Axiomatizability, Definability and Decidability (Q6061128) (← links)
- An Improved Unconstrained Approach for Bilevel Optimization (Q6076870) (← links)
- Volumes of definable sets in o-minimal expansions and affine GAGA theorems (Q6079120) (← links)
- Tameness of definably complete locally o‐minimal structures and definable bounded multiplication (Q6094170) (← links)
- What's decidable about discrete linear dynamical systems? (Q6113969) (← links)
- Certifying the Absence of Spurious Local Minima at Infinity (Q6116236) (← links)
- Tameness in geometry and arithmetic: beyond o-minimality (Q6119670) (← links)
- Hodge theory, between algebraicity and transcendence (Q6119701) (← links)
- Embedding the prime model of real exponentiation into o‐minimal exponential fields (Q6152027) (← links)
- Saturation-value based higher-order regularization for color image restoration (Q6164175) (← links)
- Wilkie's conjecture for Pfaffian structures (Q6195363) (← links)