root / CSL17 / tech-report / appendix-arithmetic.tex @ 256
Historique | Voir | Annoter | Télécharger (328 octet)
| 1 | 254 | adas | %\section{Appendix: remaining axioms of $\basic$}\label{appendix:arithmetic}
|
|---|---|---|---|
| 2 | 254 | adas | % |
| 3 | 254 | adas | %We give here the list of remaining axioms of $\basic$, which are directly inspired by the $\basic$ theory of Buss's bounded arithmetic \cite{Buss86book}:
|
| 4 | 254 | adas | %%$\succ{0}(x)$ stand for $2\cdot x$ and $\succ{1}(x)$ stand for $\succ{}(2\cdot x)$,
|
| 5 | 254 | adas | % |
| 6 | 254 | adas | % |