Révision 151
| CharacterizingPH/qpvbc.tex (revision 151) | ||
|---|---|---|
| 263 | 263 |
\exists y^\safe . A_f (s_i a, \vec u ; \vec x , y) |
| 264 | 264 |
\] |
| 265 | 265 |
|
| 266 |
SHOULD HAVE: $\beta (i;x)$ for $i$th element of sequence $x$. (In fact, why not $\beta(;i,x) $?)
|
|
| 266 |
SHOULD HAVE: $\beta (i;x)$ for $i$th element of sequence $x$. |
|
| 267 | 267 |
Therefore need 'sharply bounded' quantification for normal variables? |
| 268 | 268 |
|
| 269 |
In fact, why not $\beta(;i,x) $? Should be fine. So only safe quantification is needed for PH, but lose level-by-level delineation. |
|
| 269 | 270 |
|
| 270 | 271 |
GOALS: |
| 271 | 272 |
\begin{enumerate}
|
Formats disponibles : Unified diff