Giovanni Faglia

According to our database, Giovanni Faglia authored at least 3 papers between 1993 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Double-exponential inseparability of Robinson subsystem Q₊.

Lavinia Egidi, Giovanni Faglia

J. Symb. Log., 2011

1993

In The Meaning Of Essentially Unprovable Theorems In The Presburger Theory Of Addition.

Giovanni Faglia, Paul Young

Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

Double Exponential Inseparability Of Robinson Subsystem Q+ From The Unsatisfiable Sentences In The Language Of Addition.

Giovanni Faglia

Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993