The following pages link to Mathias Barra (Q3060188):
Displayed 6 items.
- Bounded minimalisation and bounded counting in argument-bounded idc's (Q3060189) (← links)
- A Characterisation of the Relations Definable in Presburger Arithmetic (Q3502652) (← links)
- Pure Iteration and Periodicity (Q3507417) (← links)
- Skolem + Tetration Is Well-Ordered (Q3576033) (← links)
- The Ordinal of Skolem + Tetration Is τ 0 (Q3576188) (← links)
- New Computational Paradigms (Q5717048) (← links)