Costas Dimitracopoulos

Logica Universalis, 2022

2020

End extensions of models of fragments of PA.

[BibT_eX]

[DOI]

Vasileios S. Paschalis

Arch. Math. Log., 2020

2016

End Extensions of Models of Weak Arithmetic Theories.

[BibT_eX]

[DOI]

Vasileios S. Paschalis

Notre Dame J. Formal Log., 2016

2010

Computability in Europe 2008.

[BibT_eX]

[DOI]

Arnold Beckmann

Benedikt Löwe

Arch. Math. Log., 2010

2008

On two problems concerning end extensions.

[BibT_eX]

[DOI]

Arch. Math. Log., 2008

2007

On a Problem of J. Paris.

[BibT_eX]

[DOI]

Alla Sirokofskich

J. Log. Comput., 2007

2001

On end extensions of models of subsystems of peano arithmetic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

2000

A note on end extensions.

[BibT_eX]

[DOI]

Arch. Math. Log., 2000

1994

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

[BibT_eX]

[DOI]

Arch. Math. Log., 1994

1993

A Note on Exponentiation.

[BibT_eX]

[DOI]

J. Symb. Log., 1993

1991

On A Problem Concerning Parameter Free Induction.

[BibT_eX]

[DOI]

Zofia Adamowicz

Math. Log. Q., 1991

1989

Overspill and fragments of arithmetic.

[BibT_eX]

[DOI]

Arch. Math. Log., 1989

1988

A Note on a Theorem of H. FRIEDMAN.

[BibT_eX]

[DOI]

Math. Log. Q., 1988

On Parameter Free Induction Schemas.

[BibT_eX]

[DOI]

R. Kaye

J. Symb. Log., 1988

1986

The Pigeonhole Principle and Fragments of Arithmetic.

[BibT_eX]

[DOI]

Math. Log. Q., 1986

1985

A Generalization of a Theorem of H. Friedman.

[BibT_eX]

[DOI]

Math. Log. Q., 1985

1983

A Note on the Undefinability of Cuts.

[BibT_eX]

[DOI]