# Publications

## Research

- (with H. Gaifman) Fragments of Peano's arithmetic and the MRDP theorem, Logic and Algorithmic, Monographie No. 30 de L'Enseignement Mathematique, 1982, 187--206.
- (with J. Paris) Truth definitions for Delta
_{0}formulae, ibid., 317--329. - (with J. Paris) A note on the undefinability of cuts, J. Symb. Logic 48 (1983), 564--569.
- A generalization of a theorem of H. Friedman, Z. Math. Logik Grundlag. Math. 31 (1985), 221--225.
- (with J. Paris) The pigeonhole principle and fragments of arithmetic, Z. Math. Logik Grundlag. Math. 32 (1986), 73--80.
- (with J. Paris) A note on a theorem of H. Friedman, Z. Math. Logik Grundlag. Math. 34 (1988), 13--17.
- (with R. Kaye and J. Paris) On parameter free induction schemas, J. Symb. Logic 53 (1988), 1082--1097.
- Overspill and fragments of arithmetic, Arch. Math. Logic 28 (1989), 173--179.
- (with Z. Adamowicz) On a problem concerning parameter free induction, Z. Math. Logik Grundlag. Math. 37 (1991), 363--366.
- (with Ch. Cornaros) A note on exponentiation, J. Symb. Logic 58 (1993), 64--71.
- (with Ch. Cornaros) The prime number theorem and fragments of PA, Arch. Math. Logic 33 (1994), 265--281.
- (with Ch. Cornaros) A note on end extensions, Arch. Math. Logic 39 (2000), 459--463.
- On end extensions of models of subsystems of Peano arithmetic, Theoret. Comput. Sci. 257 (2001), 79--84.
- (with A. Sirokofskich) On a problem of J. Paris, J. Logic Comput. 17 (2007), 1099--1107.
- (with Ch. Cornaros) On two problems concerning end extensions, Arch. Math. Logic 47(2008), 1--14.
- Logical symbolism and ancient logic, Philosophical Inquiry 39 (2015), 181--188.
- (with V. Paschalis) End extensions of weak arithmetic theories, Notre Dame J. Formal Logic 57 (2016), 181--193.

## Citations

My doctoral thesis and other research publications have been cited 372 times by other researchers and my h-index is 8.

## Surveys-Translations-Conference proceedings

- Hilbert's 10th problem (in Greek), Seminar talks, Department of Mathematics, University of Crete, 1985, 23--37.
- A new proof of the Goedel incompleteness theorem (in Greek), Mathematical Reviews 36 (1989), 61--65 (translation of the paper by G. Boolos published in Notices Amer. Math. Soc. 36 (1989)).
- Chaitin's equation: An extension of Goedel's theorem (in Greek), Mathematical Reviews 38 (1992), 52--57 (translation of the paper by J. P. Delahaye published in Notices Amer. Math. Soc. 36 (1989)).
- Subsystems of Peano arithmetic and classical results of number theory, Filomat 9 (1995), 473--481.
- Subsystems of Peano arithmetic - some results and problems, Proc. 1st PLS, 1997, 1--5.
- (with D. Anapolitanos and J. B. Paris) Reasoning under uncertainty (in Greek), Neusis 7 (1998), 109--132.
- (with Ch. Cornaros) On end extensions of models of Sigma
_{n}induction, Proc. 2nd PLS, 1999, 88--91. - (with Ch. Cornaros) End extensions of models and provable overspill, Proc. 3rd PLS, 2001, 123--127.
- Truth and Proof: Goedel's theorems (in Greek), Neusis 11 (2002), 75--84.
- (with A. Sirokofskich) On a problem of L. Beklemishev, Proc. 5th PLS, 2005, 57--61.
- (with A. Sirokofskich) A note on Delta
_{1}induction, Proc. 9th ALC, 2006, 51--57. - The Aristotelean Syllogistic (in Greek), in: Dots and dashes. 13 papers on the philosophy and history of mathematics and logic, D. Anapolitanos (ed.), Nefeli Publ., Athens, 2009, 101--118.
- (with S. Giannakoulias) The completeness of the Stoic propositional calculus, Neusis 20 (2011/2012), 130--165.
- (with V. Paschalis) Grades of discernibility, Proc. 10th PLS, 2015, 13--16.
- (with V. Paschalis) End extensions of models of arithmetic theories, II, Proc. 11th PLS, 2017, 226-231.
- Ancient logic. A review (in Greek), in: Introduction to Ancient Philosophy, G. Karamanolis (ed.), University of Crete Press, 2017, 91-130.
- Aristotelian Logic and Leibniz (in Greek), in: D. Moukanos memorial volume, M. Mouzala (ed.), Gutenberg Publications, 2018, 141-172.

## Books-Lecture notes

- Elements of Set Theory and Logic (in Greek), 1999, 92 pp.
- Introduction to Mathematical Logic (in Greek), 1999, 118 pp.
- (with D. Anapolitanos, D. Gavalas, A. Demis and V. Karasmanis) Logic - Theory and Practice (in Greek), Ministry of Education Press, 1999.
- Mathematical Logic (in Greek), Greek Open University, Patras, 2002, 230 pp.
- History of Ancient Greek Logic (in Greek), 2007, 125 pp.