The following pages link to Elementary arithmetic (Q1772782):
Displaying 4 items.
- An arithmetic for polynomial-time computation (Q2500489) (← links)
- Inductive definitions over a predicative arithmetic (Q2566072) (← links)
- Pointwise Transfinite Induction and a Miniaturized Predicativity (Q3305563) (← links)
- 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07 (Q5387300) (← links)