The following pages link to New Computational Paradigms (Q5717062):
Displaying 4 items.
- Theories of initial segments of standard models of arithmetics and their complete extensions (Q549718) (← links)
- Representability of functions in finite models. Arithmetical theories (Q1922030) (← links)
- Arithmetic of divisibility in finite models (Q4459597) (← links)
- FM-criterion for representative points (Q5064103) (← links)