Saturatedness in cylindric algebraic model theory
Logic Journal of the IGPL, Volume 5, No.1, 1997, pp. 25-48.

Gödel, Tarski, Church, and the Liar
The Bulletin of Symbolic Logic, Volume 9, Issue 1, March 2003, pp. 3-25.

Boolos-style proofs of limitative theorems
Mathematical Logic Quarterly, 50 (2004), No.2, pp. 211-216.

The diagonal lemma as the formalized Grelling paradox
Gödel Centenary 2006  (Eds.: M. Baaz, N. Preining),
Collegium Logicum vol. 9, Kurt Gödel Society, Vienna, 2006, pp. 63-66.

The Liar cannot be solved
Unity, Truth  and The Liar
The Modern Relevance of Medieval Solutions to Semantic Paradoxes,
Series: Logic, Epistemology, and the Unity of Science Vol. 8,
(eds. Sh. Raman, T. Tulenheimo, E. Genot),  Springer, Berlin, 2008, pp. 159-186, invited contribution. 

How do we know that the Gödel sentence of a consistent theory is true?
Philosophia Mathematica, 19(1), 2011,  pp. 47-73.