The following pages link to (Q3391904):
Displayed 5 items.
- Nonstandard arithmetic and recursive comprehension (Q636343) (← links)
- Ekeland's variational principle in weak and strong systems of arithmetic (Q2003985) (← links)
- Representations and the foundations of mathematics (Q2134273) (← links)
- THE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE (Q5021932) (← links)
- ON THE UNCOUNTABILITY OF (Q5052009) (← links)