The Mathematical Work of S.C.Kleene

DOI10.2307/420945MaRDI QIDQ4837673zbMATH OpenOpenAlexFDO

Authors Joseph R. Shoenfield

Publication date 3 July 1995

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL http://www.math.ucla.edu/~asl/bsl/0101-toc.htm

zbMATH Keywords

surveyrecursion theoryKleene

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)

Recommendations

• Kleene's amazing second recursion theorem
• The contribution of Polish logicians to recursion theory
• Classical recursion theory. The theory of functions and sets of natural numbers
• scientific article; zbMATH DE number 44117
• scientific article; zbMATH DE number 480999

Cites work

• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• A Postulational Basis for Probability
• A Theory of Positive Integers in Formal Logic. Part II
• A note on recursive functions
• Computability and λ-definability
• Disjunction and existence under implication in elementary intuitionistic formalisms
• Formalized recursive functionals and formalized realizability
• General recursive functions of natural numbers
• On degrees of recursive unsolvability
• On notation for ordinal numbers
• On the Forms of the Predicates in the Theory of Constructive Ordinals
• On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
• On the interpretation of intuitionistic number theory
• Proof by cases in formal logic
• Recursion on the countable functionals
• Recursive well-orderings
• Recursively enumerable sets of positive integers and their decision problems
• Reflections on Church's thesis
• The inconsistency of certain formal logics
• The theory of recursive functions, approaching its centennial
• The upper semi-lattice of degrees of recursive unsolvability
• The work of Kurt Gödel
• \(\lambda\)-definability and recursiveness

Cited in

(10)

• Turing oracle machines, online computing, and three displacements in computability theory
• The Mathematical Work of K. S. S. Nambooripad
• Diagonalisation and Church's Thesis: Kleene's Homework
• Completeness: from Gödel to Henkin
• Kleene, Rabin, and Scott Are Available
• Kleene's amazing second recursion theorem
• Kleene’s Amazing Second Recursion Theorem
• The contribution of Polish logicians to recursion theory
• Speed-up theorems in type-2 computations using oracle Turing machines
• Alonzo church:his life, his work and some of his miracles

This page was built for publication: The Mathematical Work of S.C.Kleene

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4837673)