Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Aritm\'etica   This is an exposition of facts about Arithmetic with an approach via
mathematical logic. In Section 1 we present Peano Arithmetic, PA, and the
complete theory of $\mathbb{N}$, and we show that $\mathbb{N}$ is a prime model
of the theory of $\mathbb{N}$. In Section 2 we deal with the Incompleteness
Theorems. In Section 3 we deal with non-standard models of arithmetic, in
Section 4 we present the Paris-Harrington principle and in Section 5 its
independence. The results presented here are quoted from the references listed
at the end.

11
The categories of this paper are: hep-lat
8
The categories of this paper are: hep-ex
5
The categories of this paper are: gr-qc
37
The categories of this paper are: supr-con
16
The categories of this paper are: stat
1
The categories of this paper are: cs
3
The categories of this paper are: physics
19
The categories of this paper are: eess
34
The categories of this paper are: chem-ph
4
The categories of this paper are: cond-mat
33
The categories of this paper are: plasm-ph
17
The categories of this paper are: q-fin
22
The categories of this paper are: chao-dyn
36
The categories of this paper are: cmp-lg
31
The categories of this paper are: ao-sci
21
The categories of this paper are: adap-org