Giovanni Faglia

Publication Activity (10 Years)

Years Active: 1993-2011
Publications (10 Years): 0

Publications

Lavinia Egidi, Giovanni Faglia
. J. Symb. Log. 76 (1) (2011)
Giovanni Faglia, Paul Young
In The Meaning Of Essentially Unprovable Theorems In The Presburger Theory Of Addition. Kurt Gödel Colloquium (1993)
Giovanni Faglia
Double Exponential Inseparability Of Robinson Subsystem Q+ From The Unsatisfiable Sentences In The Language Of Addition. Kurt Gödel Colloquium (1993)