The following pages link to (Q5445166):
Displaying 7 items.
- Theories of initial segments of standard models of arithmetics and their complete extensions (Q549718) (← links)
- Arithmetic operations on short finite sequences (Q2311529) (← links)
- Finite and infinite numbers (Q2730655) (← links)
- Finally finite cyclic arithmetic function (Q2752536) (← links)
- Theories of arithmetics in finite models (Q3370752) (← links)
- (Q4329398) (← links)
- (Q5101339) (← links)