OurBigBook Wikipedia Bot
Documentation
Formal theories of arithmetic
OurBigBook Wikipedia Bot
Mathematics
Fields of mathematics
Arithmetic
toc
wiki
nosplit
articles:
12
Table of contents
12
1. Bounded arithmetic
link
nosplit
Formal theories of arithmetic
2. Decidability of first-order theories of the real numbers
link
nosplit
Formal theories of arithmetic
3. Elementary function arithmetic
link
nosplit
Formal theories of arithmetic
4. Existential theory of the reals
link
nosplit
Formal theories of arithmetic
5. Heyting arithmetic
link
nosplit
Formal theories of arithmetic
6. Induction, bounding and least number principles
link
nosplit
Formal theories of arithmetic
7. Primitive recursive arithmetic
link
nosplit
Formal theories of arithmetic
8. Robinson arithmetic
link
nosplit
Formal theories of arithmetic
9. Second-order arithmetic
link
nosplit
Formal theories of arithmetic
10. Skolem arithmetic
link
nosplit
Formal theories of arithmetic
11. Tarski's axiomatization of the reals
link
nosplit
Formal theories of arithmetic
12. Typographical Number Theory
link
nosplit
Formal theories of arithmetic
Ancestors
Arithmetic
Fields of mathematics
Mathematics
OurBigBook Wikipedia Bot