14 found
Order:
Disambiguations
Peter Clote [11]Peter G. Clote [4]
  1.  4
    Members of Countable Π10 Classes.Douglas Cenzer, Peter Clote, Rick L. Smith, Robert I. Soare & Stanley S. Wainer - 1986 - Annals of Pure and Applied Logic 31 (2):145-163.
  2.  15
    Cutting Planes, Connectivity, and Threshold Logic.Samuel R. Buss & Peter Clote - 1996 - Archive for Mathematical Logic 35 (1):33-62.
    Originating from work in operations research the cutting plane refutation systemCP is an extension of resolution, where unsatisfiable propositional logic formulas in conjunctive normal form are recognized by showing the non-existence of boolean solutions to associated families of linear inequalities. Polynomial sizeCP proofs are given for the undirecteds-t connectivity principle. The subsystemsCP q ofCP, forq≥2, are shown to be polynomially equivalent toCP, thus answering problem 19 from the list of open problems of [8]. We present a normal form theorem forCP (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  21
    Two Further Combinatorial Theorems Equivalent to the 1-Consistency of Peano Arithmetic.Peter Clote & Kenneth Mcaloon - 1983 - Journal of Symbolic Logic 48 (4):1090-1104.
  4.  8
    A Generalization of the Limit Lemma and Clopen Games.Peter Clote - 1986 - Journal of Symbolic Logic 51 (2):273-291.
    We give a new characterization of the hyperarithmetic sets: a set X of integers is recursive in e α if and only if there is a Turing machine which computes X and "halts" in less than or equal to the ordinal number ω α of steps. This result represents a generalization of the well-known "limit lemma" due to J. R. Shoenfield [Sho-1] and later independently by H. Putnam [Pu] and independently by E. M. Gold [Go]. As an application of this (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  5.  5
    A Recursion Theoretic Analysis of the Clopen Ramsey Theorem.Peter Clote - 1984 - Journal of Symbolic Logic 49 (2):376-400.
    Solovay has shown that if F: [ω] ω → 2 is a clopen partition with recursive code, then there is an infinite homogeneous hyperarithmetic set for the partition (a basis result). Simpson has shown that for every 0 α , where α is a recursive ordinal, there is a clopen partition F: [ω] ω → 2 such that every infinite homogeneous set is Turing above 0 α (an anti-basis result). Here we refine these results, by associating the "order type" of (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  6.  3
    Editor's Introduction.Peter Clote - 1995 - Notre Dame Journal of Formal Logic 36 (4):499-501.
    This collection of articles on Models of Arithmetic is dedicated to the memory of Zygmunt Ratajczyk, who contributed a number of important results to the field, and who unexpectedly died in February 1994.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7. Review: Wilfried Sieg, Georg Dorn, P. Weingartner, Reductions of Theories for Analysis. [REVIEW]Peter Clote - 1990 - Journal of Symbolic Logic 55 (1):354-354.
     
    Export citation  
     
    My bibliography  
  8.  2
    Modèles Non Standard En Arithmétique Et Théorie des Ensembles, Publications Mathématiques de l'Université Paris VII, No. 22, UER de Mathématiques, Paris 1987, 147 Pp. [REVIEW]Peter Clote - 1989 - Journal of Symbolic Logic 54 (1):284-287.
  9.  1
    Sieg Wilfried. Reductions of Theories for Analysis. Foundations of Logic and Linguistics, Problems and Their Solutions, Edited by Dorn Georg and Weingartner P., Plenum Press, New York and London 1985, Pp. 199–231. [REVIEW]Peter Clote - 1990 - Journal of Symbolic Logic 55 (1):354-354.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  10.  1
    Review: , Modeles non Standard en Arithmetique et theorie des Ensembles; A. J. Wilkie, Modeles non Standard de L'Arithmetique, et Complexite Algorithmique; J.-P. Ressayre, Modeles non Standard et Sous-Systemes Remarquables de ZF. [REVIEW]Peter Clote - 1989 - Journal of Symbolic Logic 54 (1):284-287.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  11. Friedman Harvey M., Simpson Stephen G., and Smith Rick L.. Countable Algebra and Set Existence Axioms. Annals of Pure and Applied Logic, Vol. 25 , Pp. 141–181.Friedman Harvey M., Simpson Stephen G., and Smith Rick L.. Addendum to “Countable Algebra and Set Existence Axioms.” Annals of Pure and Applied Logic, Vol. 28 , Pp. 319–320. [REVIEW]Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (1):276-278.
  12. Review: Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith, Countable Algebra and Set Existence Axioms; Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith, Addendum to "Countable Algebra and Set Existence Axioms.". [REVIEW]Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (1):276-278.
     
    Export citation  
     
    My bibliography  
  13. Review: Wilfried Sieg, Fragments of Arithmetic. [REVIEW]Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (4):1054-1055.
  14. Sieg Wilfried. Fragments of Arithmetic. Annals of Pure and Applied Logic, Vol. 28 , Pp. 33–71.Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (4):1054-1055.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography