Révision 199 CSL17/arithmetic.tex
| arithmetic.tex (revision 199) | ||
|---|---|---|
| 127 | 127 |
since $\forall u \leq |t| . A(u , \vec u ; \vec x) \ciff \forall u \prefix t . A(|u|, \vec u ; \vec x)$. |
| 128 | 128 |
|
| 129 | 129 |
|
| 130 |
\subsection{Graphs of some basic functions}
|
|
| 130 |
\subsection{Graphs of some basic functions}\label{sect:graphsbasicfunctions}
|
|
| 131 | 131 |
Todo: $+1$, |
| 132 | 132 |
|
| 133 | 133 |
\subsection{Encoding sequences in the arithmetic}
|
Formats disponibles : Unified diff