Fragments of Peano's arithmetic and the MRDP theorem H Gaifman, C Dimitracopoulos L' Enseignement Mathematique 30, 187-206, 1982 | 136 | 1982 |
Truth definitions for∆ 0 formulae J Paris, C Dimitracopoulos Logic and Algorithmic, An International Symposum Held in Honour of Ernst …, 1982 | 75* | 1982 |
On parameter free induction schemas R Kaye, J Paris, C Dimitracopoulos The Journal of Symbolic Logic 53 (4), 1082-1097, 1988 | 72 | 1988 |
A note on the undefinability of cuts JB Paris, C Dimitracopoulos The Journal of symbolic logic 48 (3), 564-569, 1983 | 49 | 1983 |
Matijasevic's theorem and fragments of arithmetic C Dimitracopoulos University of Manchester, 1980 | 37 | 1980 |
A note on a theorem of H. Friedman C Dimitracopoulos, J Paris | 23 | 1988 |
The prime number theorem and fragments ofP A C Cornaros, C Dimitracopoulos Archive for mathematical logic 33, 265-281, 1994 | 19 | 1994 |
The pigeonhole principle and fragments of arithmetic C Dimitracopoulos, J Paris Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32, 73-80, 1986 | 17 | 1986 |
End extensions of models of weak arithmetic theories C Dimitracopoulos, VS Paschalis | 7 | 2016 |
A generalization of a theorem of H. Friedman C Dimitracopoulos Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31, 221-225, 1985 | 7 | 1985 |
On end extensions of models of subsystems of Peano arithmetic C Dimitracopoulos Theoretical computer science 257 (1-2), 79-84, 2001 | 6 | 2001 |
Overspill and fragments of arithmetic C Dimitracopoulos Archive for Mathematical Logic 28, 173-179, 1989 | 6 | 1989 |
On two problems concerning end extensions C Cornaros, C Dimitracopoulos Archive for Mathematical Logic 47 (1), 1-14, 2008 | 5 | 2008 |
Fragments of Peano's arithmetic and the MRDP theorem, Logic et Algorithmic H Gaifman, C Dimitracopoulos Monogr, 0 | 5 | |
On a problem of J. Paris A Sirokofskich, C Dimitracopoulos Journal of Logic and Computation 17 (6), 1099-1107, 2007 | 3 | 2007 |
A note on end extensions C Cornaros, C Dimitracopoulos Archive for Mathematical Logic 39 (6), 459-463, 2000 | 3 | 2000 |
End extensions of models of fragments of PA C Dimitracopoulos, V Paschalis Archive for Mathematical Logic 59 (7), 817-833, 2020 | 2 | 2020 |
New studies in weak arithmetics P Cégielski, C Cornaros, C Dimitracopoulos (No Title), 2013 | 2 | 2013 |
Richard Kaye. Models of Peano arithmetic. Oxford logic guides, no. 15. Clarendon Press, Oxford University Press, Oxford and New York1991, x + 292 pp. C Dimitracopoulos The Journal of Symbolic Logic 58 (1), 357-358, 1993 | 2 | 1993 |
Realism vs anti-realism and alternative logics: Shahid Rahman, Giuseppe Primiero and Mathieu Marion (eds): The realism-antirealism debate in the age of alternative logics … C Dimitracopoulos Metascience 22 (2), 439-442, 2013 | 1 | 2013 |