The following pages link to (Q3391904):
Displaying 8 items.
- Nonstandard arithmetic and recursive comprehension (Q636343) (← links)
- Second-order non-nonstandard analysis (Q1402588) (← links)
- Ekeland's variational principle in weak and strong systems of arithmetic (Q2003985) (← links)
- Representations and the foundations of mathematics (Q2134273) (← links)
- Fundamental notions of analysis in subsystems of second-order arithmetic (Q2368910) (← links)
- Formalizing non-standard arguments in second-order arithmetic (Q3066789) (← links)
- THE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE (Q5021932) (← links)
- ON THE UNCOUNTABILITY OF (Q5052009) (← links)