The following pages link to Turing meets Schanuel (Q2630828):
Displaying 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)
- Decidability bounds for Presburger arithmetic extended by sine (Q6584959) (← links)
