The following pages link to (Q3998383):
Displaying 5 items.
- Interpretations of Presburger arithmetic in itself (Q1709716) (← links)
- Predicativity and constructive mathematics (Q2080590) (← links)
- Challenges to predicative foundations of arithmetic (Q2755496) (← links)
- A Predicative Approach to Nonstandard Mathematics (Q3737424) (← links)
- (Q4934569) (← links)