Costas Dimitracopoulos

18 papers C 1Journal 17
YearRankTypeTitle / Venue / Authors
2022 J jnl
Analytics vs. Elements.
Logica Universalis
Costas Dimitracopoulos
2020 J jnl
End extensions of models of fragments of PA.
Arch. Math. Log.
Costas Dimitracopoulos, Vasileios S. Paschalis
2016 J jnl
End Extensions of Models of Weak Arithmetic Theories.
Notre Dame J. Formal Log.
Costas Dimitracopoulos, Vasileios S. Paschalis
2010 J jnl
Computability in Europe 2008.
Arch. Math. Log.
Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe
2008 C ed.
Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings
CiE
Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe
2008 J jnl
On two problems concerning end extensions.
Arch. Math. Log.
Charalampos Cornaros, Costas Dimitracopoulos
2007 J jnl
On a Problem of J. Paris.
J. Log. Comput.
Alla Sirokofskich, Costas Dimitracopoulos
2001 J jnl
On end extensions of models of subsystems of peano arithmetic.
Theor. Comput. Sci.
Costas Dimitracopoulos
2000 J jnl
A note on end extensions.
Arch. Math. Log.
Charalampos Cornaros, Costas Dimitracopoulos
1994 J jnl
The prime number theorem and fragments of
Arch. Math. Log.
Charalampos Cornaros, Costas Dimitracopoulos
1993 J jnl
A Note on Exponentiation.
J. Symb. Log.
Charalampos Cornaros, Costas Dimitracopoulos
1991 J jnl
On A Problem Concerning Parameter Free Induction.
Math. Log. Q.
Zofia Adamowicz, Costas Dimitracopoulos
1989 J jnl
Overspill and fragments of arithmetic.
Arch. Math. Log.
Costas Dimitracopoulos
1988 J jnl
A Note on a Theorem of H. FRIEDMAN.
Math. Log. Q.
Costas Dimitracopoulos, Jeff B. Paris
1988 J jnl
On Parameter Free Induction Schemas.
J. Symb. Log.
R. Kaye, Jeff B. Paris, Costas Dimitracopoulos
1986 J jnl
The Pigeonhole Principle and Fragments of Arithmetic.
Math. Log. Q.
Costas Dimitracopoulos, Jeff B. Paris
1985 J jnl
A Generalization of a Theorem of H. Friedman.
Math. Log. Q.
Costas Dimitracopoulos
1983 J jnl
A Note on the Undefinability of Cuts.
J. Symb. Log.
Jeff B. Paris, Costas Dimitracopoulos