The following pages link to Turing meets Schanuel (Q2630828):
Displayed 4 items.
- Set theory and the analyst (Q2419681) (← links)
- Models of true arithmetic are integer parts of models of real exponentation (Q4989722) (← links)
- Comments on Rosenlicht’s Integration in Finite Terms (Q5050154) (← links)
- Deciding first-order formulas involving univariate mixed trigonometric-polynomials (Q6060361) (← links)