Takip et
Costas Dimitracopoulos
Costas Dimitracopoulos
phs.uoa.gr üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Fragments of Peano's arithmetic and the MRDP theorem
H Gaifman, C Dimitracopoulos
L' Enseignement Mathematique 30, 187-206, 1982
1361982
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
721988
A note on the undefinability of cuts
JB Paris, C Dimitracopoulos
The Journal of symbolic logic 48 (3), 564-569, 1983
491983
Matijasevic's theorem and fragments of arithmetic
C Dimitracopoulos
University of Manchester, 1980
371980
A note on a theorem of H. Friedman
C Dimitracopoulos, J Paris
231988
The prime number theorem and fragments ofP A
C Cornaros, C Dimitracopoulos
Archive for mathematical logic 33, 265-281, 1994
191994
The pigeonhole principle and fragments of arithmetic
C Dimitracopoulos, J Paris
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32, 73-80, 1986
171986
End extensions of models of weak arithmetic theories
C Dimitracopoulos, VS Paschalis
72016
A generalization of a theorem of H. Friedman
C Dimitracopoulos
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31, 221-225, 1985
71985
On end extensions of models of subsystems of Peano arithmetic
C Dimitracopoulos
Theoretical computer science 257 (1-2), 79-84, 2001
62001
Overspill and fragments of arithmetic
C Dimitracopoulos
Archive for Mathematical Logic 28, 173-179, 1989
61989
On two problems concerning end extensions
C Cornaros, C Dimitracopoulos
Archive for Mathematical Logic 47 (1), 1-14, 2008
52008
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
32007
A note on end extensions
C Cornaros, C Dimitracopoulos
Archive for Mathematical Logic 39 (6), 459-463, 2000
32000
End extensions of models of fragments of PA
C Dimitracopoulos, V Paschalis
Archive for Mathematical Logic 59 (7), 817-833, 2020
22020
New studies in weak arithmetics
P Cégielski, C Cornaros, C Dimitracopoulos
(No Title), 2013
22013
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
21993
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
12013
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20