| 2010/10/08 |
The party problem and the incompleteness of Peano Arithmetic |
| 2010/03/05 |
Truth definitions and subsystems of Peano Arithmetic (Part II) |
| 2010/02/26 |
Truth definitions and subsystems of Peano Arithmetic |
| 2008/04/04 |
Ramsey's theorem and the incompleteness of arithmetic II |
| 2008/03/28 |
Ramsey's theorem and the incompleteness of arithmetic I |
| 2007/12/07 |
Subsystems of Peano arithmetic |
| 2005/12/16 |
Subsystems of first-order arithmetic |
| 2005/01/21 |
Hilbert's 10th problem, II |
| 2004/11/26 |
Hilbert's 10th problem, I |
| 2004/05/07 |
Ramsey's Theorem |
| 2004/01/23 |
The “indemonstrable moods” of the Stoics |
| 2003/02/21 |
The pigeonhole principle and the infinitude of primes |
| 2002/11/15 |
The MacDowell-Specker theorem and generalizations |
| 2002/03/01 |
Finite axiomatizability of subsystems of P |
| 2001/12/21 |
Indicators and the incompleteness of Peano arithmetic |
| 2000/11/10 |
Hilbert's 10th problem |
| 2000/03/31 |
End extensions of models, II |
| 2000/03/10 |
End extensions of models, I |
| 1999/11/19 |
Introduction to Stoic Logic - The “indemonstrable moods” of the Stoics |
| 1999/03/19 |
Introduction to Aristotle's logic, II |
| 1999/03/05 |
Introduction to Aristotle's logic, I |
| 1999/01/15 |
The principle of induction for addition |
| 1998/05/29 |
Subsystems of Peano arithmetic, III |
| 1998/05/15 |
Subsystems of Peano arithmetic, II |
| 1998/05/08 |
Subsystems of Peano arithmetic, I |
| 1998/01/16 |
Hilbert's 10th problem |
| 1997/04/04 |
The incompleteness of Peano arithmetic and Ramsey's theorem, II |
| 1997/03/28 |
The incompleteness of Peano arithmetic and Ramsey's theorem, I |
