Abstract
A new proof of an extended version of Hilbert's second epsilon theorem is provided by means of a new, more suitable definition of rank of an expression.
Lingua originale | Inglese |
---|---|
pagine (da-a) | 367-373 |
Numero di pagine | 7 |
Rivista | ZEITSCHRIFT FÜR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK |
Volume | 35 |
Numero di pubblicazione | 4 |
Stato di pubblicazione | Pubblicato - 1 gen 1989 |
Keywords
- epsilon theorem
- rank