A Note on the Undefinability of Cuts. - Jeff B. Paris; Costas Dimitracopoulos (J. Symb. Log., 1983)

A Generalization of a Theorem of H. Friedman. - Costas Dimitracopoulos (Math. Log. Q., 1985)

The Pigeonhole Principle and Fragments of Arithmetic. - Costas Dimitracopoulos; Jeff B. Paris (Math. Log. Q., 1986)

On Parameter Free Induction Schemas. - R. Kaye; Jeff B. Paris; Costas Dimitracopoulos (J. Symb. Log., 1988)

A Note on a Theorem of H. FRIEDMAN. - Costas Dimitracopoulos; Jeff B. Paris (Math. Log. Q., 1988)

Overspill and fragments of arithmetic. - Costas Dimitracopoulos (Arch. Math. Log., 1989)

On A Problem Concerning Parameter Free Induction. - Zofia Adamowicz; Costas Dimitracopoulos (Math. Log. Q., 1991)

A Note on Exponentiation. - Charalampos Cornaros; Costas Dimitracopoulos (J. Symb. Log., 1993)

The prime number theorem and fragments ofP A. - Charalampos Cornaros; Costas Dimitracopoulos (Arch. Math. Log., 1994)

A note on end extensions. - Charalampos Cornaros; Costas Dimitracopoulos (Arch. Math. Log., 2000)

On end extensions of models of subsystems of peano arithmetic. - Costas Dimitracopoulos (Theor. Comput. Sci., 2001)

On a Problem of J. Paris. - Alla Sirokofskich; Costas Dimitracopoulos (J. Log. Comput., 2007)

On two problems concerning end extensions. - Charalampos Cornaros; Costas Dimitracopoulos (Arch. Math. Log., 2008)

Computability in Europe 2008. - Arnold Beckmann; Costas Dimitracopoulos; Benedikt Löwe (Arch. Math. Log., 2010)

End Extensions of Models of Weak Arithmetic Theories. - Costas Dimitracopoulos; Vasileios S. Paschalis (Notre Dame J. Formal Log., 2016)

End extensions of models of fragments of PA. - Costas Dimitracopoulos; Vasileios S. Paschalis (Arch. Math. Log., 2020)

Analytics vs. Elements. - Costas Dimitracopoulos (Logica Universalis, 2022)