Author pages are created from data sourced from our academic publisher partnerships and public sources.

- Publications
- Influence

On Parameter Free Induction Schemas

- R. Kaye, J. Paris, C. Dimitracopoulos
- Mathematics, Computer Science
- J. Symb. Log.
- 1 December 1988

We present a comprehensive study of the axiom schemas IZ;, BZ; (induction and collection schemas for parameter free Z,, formulas) and some closely related schemas. Introduction. This paper is divided… Expand

A Note on the Undefinability of Cuts

- J. Paris, C. Dimitracopoulos
- Mathematics, Computer Science
- J. Symb. Log.
- 1 September 1983

The results in this paper were motivated by the following result due to R. Solovay. Theorem 1 (Solovay). Let M be a nonstandard model of Peano's first order axioms P and let I ⊂ e M (i.e. ϕ ≠ ⊂ M and… Expand

A Note on a Theorem of H. FRIEDMAN

- C. Dimitracopoulos, J. Paris
- Mathematics, Computer Science
- Math. Log. Q.
- 1988

On two problems concerning end extensions

- Charalampos Cornaros, C. Dimitracopoulos
- Computer Science, Mathematics
- Arch. Math. Log.
- 1 June 2008

We study problems of Clote and Paris, concerning the existence of end extensions of models of Σn-collection. We continue the study of the notion of ‘Γ-fullness’, begun by Wilkie and Paris (Logic,… Expand

Logic Colloquium 2005 (Lecture Notes in Logic)

- C. Dimitracopoulos, L. Newelski, D. Normann
- Computer Science
- 3 December 2007

The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are… Expand

Logic Colloquium 2005

- C. Dimitracopoulos, L. Newelski, D. Normann, J. Steel
- Mathematics
- 3 December 2007

Overspill and fragments of arithmetic

- C. Dimitracopoulos
- Mathematics, Computer Science
- Arch. Math. Log.
- 1 October 1989

The Pigeonhole Principle and Fragments of Arithmetic

- C. Dimitracopoulos, J. Paris
- Mathematics, Computer Science
- Math. Log. Q.
- 1986

The prime number theorem and fragments ofP A

- Charalampos Cornaros, C. Dimitracopoulos
- Mathematics, Computer Science
- Arch. Math. Log.
- 1 August 1994

SummaryWe show that versions of the prime number theorem as well as equivalent statements hold in an arbitrary model ofIΔ0+exp.