The rank function and Hilbert's II -theorem

Pier Luigi FERRARI

Risultato della ricerca: Contributo su rivistaArticolo in rivistapeer review

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 originaleInglese
pagine (da-a)367-373
Numero di pagine7
RivistaZEITSCHRIFT FÜR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK
Volume35
Numero di pubblicazione4
Stato di pubblicazionePubblicato - 1 gen 1989

Keywords

  • epsilon theorem
  • rank

Fingerprint

Entra nei temi di ricerca di 'The rank function and Hilbert's II -theorem'. Insieme formano una fingerprint unica.

Cita questo