The following pages link to (Q4513968):
Displaying 9 items.
- Reverse complexity (Q287279) (← links)
- On classifying abduction (Q898774) (← links)
- Representations and the foundations of mathematics (Q2134273) (← links)
- From Mathesis Universalis to Provability, Computability, and Constructivity (Q3305633) (← links)
- “Weak yet strong” restrictions of Hindman’s Finite Sums Theorem (Q4596010) (← links)
- A computable analysis of variable words theorems (Q4644466) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- Infinite games in the Cantor space and subsystems of second order arithmetic (Q5293192) (← links)
- A note on continuous functions on metric spaces (Q6670881) (← links)