Costas Dimitracopoulos

According to our database, Costas Dimitracopoulos authored at least 17 papers between 1983 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2022

Analytics vs. Elements.

Costas Dimitracopoulos

Logica Universalis, 2022

2020

End extensions of models of fragments of PA.

Costas Dimitracopoulos, Vasileios S. Paschalis

Arch. Math. Log., 2020

2016

End Extensions of Models of Weak Arithmetic Theories.

Costas Dimitracopoulos, Vasileios S. Paschalis

Notre Dame J. Formal Log., 2016

2010

Computability in Europe 2008.

Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe

Arch. Math. Log., 2010

2008

On two problems concerning end extensions.

Charalampos Cornaros, Costas Dimitracopoulos

Arch. Math. Log., 2008

2007

On a Problem of J. Paris.

Alla Sirokofskich, Costas Dimitracopoulos

J. Log. Comput., 2007

2001

On end extensions of models of subsystems of peano arithmetic.

Costas Dimitracopoulos

Theor. Comput. Sci., 2001

2000

A note on end extensions.

Charalampos Cornaros, Costas Dimitracopoulos

Arch. Math. Log., 2000

1994

The prime number theorem and fragments of<i>P A</i>.

Charalampos Cornaros, Costas Dimitracopoulos

Arch. Math. Log., 1994

1993

A Note on Exponentiation.

Charalampos Cornaros, Costas Dimitracopoulos

J. Symb. Log., 1993

1991

On A Problem Concerning Parameter Free Induction.

Zofia Adamowicz, Costas Dimitracopoulos

Math. Log. Q., 1991

1989

Overspill and fragments of arithmetic.

Costas Dimitracopoulos

Arch. Math. Log., 1989

1988

A Note on a Theorem of H. FRIEDMAN.

Costas Dimitracopoulos, Jeff B. Paris

Math. Log. Q., 1988

On Parameter Free Induction Schemas.

R. Kaye, Jeff B. Paris, Costas Dimitracopoulos

J. Symb. Log., 1988

1986

The Pigeonhole Principle and Fragments of Arithmetic.

Costas Dimitracopoulos, Jeff B. Paris

Math. Log. Q., 1986

1985

A Generalization of a Theorem of H. Friedman.

Costas Dimitracopoulos

Math. Log. Q., 1985

1983

A Note on the Undefinability of Cuts.

Jeff B. Paris, Costas Dimitracopoulos

J. Symb. Log., 1983