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