29 found
Order:
Disambiguations
C. Dimitracopoulos [22]Costas Dimitracopoulos [8]
  1.  23
    On parameter free induction schemas.R. Kaye, J. Paris & C. Dimitracopoulos - 1988 - Journal of Symbolic Logic 53 (4):1082-1097.
    We present a comprehensive study of the axiom schemas IΣ - n , BΣ - n (induction and collection schemas for parameter free Σ n formulas) and some closely related schemas.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  2.  7
    A Note on a Theorem of H. FRIEDMAN.C. Dimitracopoulos & J. Paris - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (1):13-17.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  3.  13
    A note on the undefinability of cuts.J. B. Paris & C. Dimitracopoulos - 1983 - Journal of Symbolic Logic 48 (3):564-569.
  4.  7
    End Extensions of Models of Weak Arithmetic Theories.Costas Dimitracopoulos & Vasileios S. Paschalis - 2016 - Notre Dame Journal of Formal Logic 57 (2):181-193.
    We give alternative proofs of results due to Paris and Wilkie concerning the existence of end extensions of countable models of $B\Sigma_{1}$, that is, the theory of $\Sigma_{1}$ collection.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  6
    The Pigeonhole Principle and Fragments of Arithmetic.C. Dimitracopoulos & J. Paris - 1986 - Mathematical Logic Quarterly 32 (1-5):73-80.
  6.  6
    The prime number theorem and fragments ofP A.C. Cornaros & C. Dimitracopoulos - 1994 - Archive for Mathematical Logic 33 (4):265-281.
    We show that versions of the prime number theorem as well as equivalent statements hold in an arbitrary model ofIΔ 0+exp.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  2
    A Generalization of a Theorem of H. Friedman.C. Dimitracopoulos - 1985 - Mathematical Logic Quarterly 31 (14‐18):221-225.
  8.  1
    A Generalization of a Theorem of H. Friedman.C. Dimitracopoulos - 1985 - Mathematical Logic Quarterly 31 (14-18):221-225.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  9
    Overspill and fragments of arithmetic.C. Dimitracopoulos - 1989 - Archive for Mathematical Logic 28 (3):173-179.
  10.  8
    Realism vs anti-realism and alternative logics: Shahid Rahman, Giuseppe Primiero and Mathieu Marion : The realism-antirealism debate in the age of alternative logics. Dordrecht: Springer, 2012, 346pp, €149,75 HB.Costas Dimitracopoulos - 2013 - Metascience 22 (2):439-442.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  2
    On A Problem Concerning Parameter Free Induction.Z. Adamowicz & C. Dimitracopoulos - 1991 - Mathematical Logic Quarterly 37 (23‐24):363-366.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  2
    On A Problem Concerning Parameter Free Induction.Z. Adamowicz & C. Dimitracopoulos - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (23-24):363-366.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  12
    Computability in Europe 2008.Arnold Beckmann, Costas Dimitracopoulos & Benedikt Löwe - 2010 - Archive for Mathematical Logic 49 (2):119-121.
  14.  3
    A note on exponentiation.Ch Cornaros & C. Dimitracopoulos - 1993 - Journal of Symbolic Logic 58 (1):64-71.
    We study the strength (over bounded induction) of axioms expressing particular cases of the Chinese Remainder Theorem with respect to the axiom ∀ x, y∃ z (z = xy).
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  15.  1
    A note on end extensions.Ch Cornaros & C. Dimitracopoulos - 2000 - Archive for Mathematical Logic 39 (6):459-463.
    . We provide an alternative proof of a theorem of P. Clote concerning end extensions of models of $\Sigma_n$ -induction, for $n \geq 2$.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  6
    On two problems concerning end extensions.Ch Cornaros & C. Dimitracopoulos - 2008 - Archive for Mathematical Logic 47 (1):1-14.
    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, Methodology and Philosophy of Science VIII (Moscow, 1987). Stud. Logic Found. Math., vol. 126, pp. 143–161. North- Holland, Amsterdam, 1989) and introduce and study a generalization of it, to be used in connection with the existence of Σ n -elementary end extensions (instead of plain end extensions). (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  9
    A panorama of philosophical logic: R. Ciuni, H. Wansing and C. Willkommen : Recent trends in philosophical logic. Dordrecht: Springer, 2014, 209pp, 83,29€ HB.Costas Dimitracopoulos - 2014 - Metascience 24 (2):333-336.
    In June 2012, the conference Trends in Logic XI, whose main theme was Advances in Philosophical Logic, took place at the Ruhr University in Bochum. Eight of the invited papers were published in a special issue of the journal Studia Logica. The present volume contains fourteen papers, which the editors selected out of the contributed papers presented at the conference, in order to offer a panorama of the themes developed in philosophical logic in the last two decades or so, as (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  13
    Analytics vs. Elements.Costas Dimitracopoulos - 2022 - Logica Universalis 16 (1):237-252.
    On the basis of recent work concerning the meaning of the term stoicheion in Aristotle’s Analytics, we strengthen the view that this treatise can be viewed as a precursor of Euclid’s Elements.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  1
    End extensions of models of fragments of PA.C. Dimitracopoulos & V. Paschalis - 2020 - Archive for Mathematical Logic 59 (7-8):817-833.
    In this paper, we prove results concerning the existence of proper end extensions of arbitrary models of fragments of Peano arithmetic. In particular, we give alternative proofs that concern a result of Clote :163–170, 1986); :301–302, 1998), on the end extendability of arbitrary models of \-induction, for \, and the fact that every model of \-induction has a proper end extension satisfying \-induction; although this fact was not explicitly stated before, it follows by earlier results of Enayat and Wong and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  7
    Logical Symbolism and Ancient Logic.Costas Dimitracopoulos - 2015 - Philosophical Inquiry 39 (1):181-188.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  4
    On modal and intuitionistic logics: Guram Bezhanishvili : Leo Esakia on duality in modal and intuitionistic logics. Dordrecht: Springer, 2014, 334pp, €107.09 HB.Costas Dimitracopoulos - 2014 - Metascience 24 (2):337-340.
    The volume under review contains work dedicated to the memory of Leo Esakia, who died in 2010, after having worked for over 40 years towards developing duality theory for modal and intuitionistic logics. The collection comprises ten technical contributions that follow the first chapter, in which the reader can find information on Esakia’s studies and career, as well as a complete list of his research publications. In the sequel, we will refer briefly to each of these ten chapters, following the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  3
    On the connections between reality and logic: Majda Trobok, Nenad Miščević and Berislav Žarnić : Between logic and reality: modeling inference, action and understanding. Dordrecht: Springer, 2012, x+278pp, €139,95 HB.Costas Dimitracopoulos - 2013 - Metascience 22 (2):443-445.
  23.  9
    Review: C. Smorynski, Nonstandard Models and Related Developments. [REVIEW]C. Dimitracopoulos - 1990 - Journal of Symbolic Logic 55 (2):875-876.
  24.  6
    Review: Jean-Yves Girard, Yves Lafont, Laurent Regnier, Advances in Linear Logic. [REVIEW]C. Dimitracopoulos & Dale Miller - 1997 - Journal of Symbolic Logic 62 (2):678-680.
  25.  2
    Richard Kaye. Models of Peano arithmetic. Oxford logic guides, no. 15. Clarendon Press, Oxford University Press, Oxford and New York1991, x + 292 pp. [REVIEW]C. Dimitracopoulos - 1993 - Journal of Symbolic Logic 58 (1):357-358.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  2
    Review: Richard Kaye, Models of Peano Arithmetic. [REVIEW]C. Dimitracopoulos - 1993 - Journal of Symbolic Logic 58 (1):357-358.
  27.  1
    Review: Yuri V. Matiyasevich, Martin Davis, Hilbert's Tenth Problem. [REVIEW]C. Dimitracopoulos - 1997 - Journal of Symbolic Logic 62 (2):675-677.
  28.  11
    C. Smoryński. Nonstandard models and related developments. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 179–229. [REVIEW]C. Dimitracopoulos - 1990 - Journal of Symbolic Logic 55 (2):875-876.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  9
    Yuri V. Matiyasevich. Hilbert's tenth problem. English translation of Desyataya problema Gil'berta, with a foreword by Martin Davis. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1993, xxii + 264 pp. [REVIEW]C. Dimitracopoulos - 1997 - Journal of Symbolic Logic 62 (2):675-677.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark