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.
Original language | English |
---|---|
Pages (from-to) | 367-373 |
Number of pages | 7 |
Journal | ZEITSCHRIFT FÜR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK |
Volume | 35 |
Issue number | 4 |
Publication status | Published - 1 Jan 1989 |
Keywords
- epsilon theorem
- rank