Hyperarithmetic ultrafilters

  • J. P. Cleave
Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 70)


Natural Number Inductive Hypothesis Binary Tree Recursive Function Infinite Sequence 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    S. Feferman “System of Predicative Analysis” JSL 29 (1964) 1–30MathSciNetzbMATHGoogle Scholar
  2. 2.
    S. Feferman, C. Spector “Incompleteness along paths in progressions of Theories”. JSL 27 (1962) 383–390MathSciNetzbMATHGoogle Scholar
  3. 3.
    R.M. Friedberg “Three theorems on recursive Enumeration” JSL 23 (1958) 309–316MathSciNetzbMATHGoogle Scholar
  4. 4.
    R.O. Gandy “Proof of Mostowski's Conjecture” Bull de L'Acad. Polonaise des Sciences 8 (1960) 571–575MathSciNetzbMATHGoogle Scholar
  5. 5.
    A. Grzegorczyk “Elementarily Definable Analysis” Fund. Math. 41 (1955) 311–338MathSciNetzbMATHGoogle Scholar
  6. 6.
    S.C. Kleene “On the Forms of Predicates in the theory of Constructive Ordinals” 2nd paper—Amer J. Math 77 (1955) 405–428MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    S.C. Kleene “Arithmetical predicates and Quantifiers” Trans. A.M.S. 79 (1955) 312–340MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    S.C. Kleene “Introduction to Metamathematics”. North Holland Pub.Cp. Amsterdam. 1962zbMATHGoogle Scholar
  9. 9.
    G. Kreisel “La predicativité” Bull de la Societe. Math de France 88 (1960) 371–391MathSciNetzbMATHGoogle Scholar
  10. 10.
    G. Kreisel G. Sacks “Metarecursive Sets”. JSL 30 (1965) 318–338MathSciNetzbMATHGoogle Scholar
  11. 11.
    A. Lachlan “On the Lattice of r.e. Sets” Trans. AMS (to appear)Google Scholar
  12. 12.
    A. Mostowski “A classification of Logical Systems”. Studia Philosphica 4 (1951) 231–274zbMATHGoogle Scholar
  13. 13.
    A. Mostowski “On Various Degrees of Constructivity” pp. 178–196 of “Constructivity in Mathematics” (A. Heyting) North Holland Pub. Co. Amsterdam.Google Scholar
  14. 14.
    H. Putnam “Trial and Error predicates and the Solution to a problem of Mostowski” JSL 30 (1965) 49–57.MathSciNetzbMATHGoogle Scholar
  15. 15.
    R.W. Robinson “Simplicity of r.e. Sets” JSL 32 (1967) 162–172MathSciNetzbMATHGoogle Scholar
  16. 16.
    D. Scott “On Constructing Models for Arithmetic” pp 235–255 of “Infinitistic Methods” Pergamon, 1961.Google Scholar
  17. 17.
    C. Spector “Recursive well-orderings” JSL 20 (1955) 151–163.MathSciNetzbMATHGoogle Scholar
  18. 18.
    H. Weyl “Das Kontinuum. Kritische Untersuchung über die Grundlungen der Analysis” Leipzig 1918.Google Scholar

Copyright information

© Springer-Verlag 1968

Authors and Affiliations

  • J. P. Cleave

There are no affiliations available

Personalised recommendations