Révision 206 CSL17/arithmetic.tex
| arithmetic.tex (revision 206) | ||
|---|---|---|
| 1 |
\section{An arithmetic for the polynomial hierarchy}
|
|
| 1 |
\section{An arithmetic for the polynomial hierarchy}\label{sect:arithmetic}
|
|
| 2 | 2 |
%Our base language is $\{ 0, \succ{} , + , \times, \smsh , |\cdot| , \leq \}$.
|
| 3 | 3 |
Our base language is defined by the set of functions (and constants) symbols $\{ 0, \succ{} , + , \times, \smsh , |\cdot|, \hlf{}.\}$ and the set of predicate symbols
|
| 4 | 4 |
$\{\leq, \safe, \normal \}$.
|
Formats disponibles : Unified diff