The Mathematical Work of S.C.Kleene (Q4837673): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2089259606
@@ Property / OpenAlex ID: W2089259606 / rank @@
+Normal rank
@@ Property / cites work @@
+A Postulational Basis for Probability
@@ Property / cites work: A Postulational Basis for Probability / rank @@
+Normal rank
@@ Property / cites work @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+The work of Kurt Gödel
@@ Property / cites work: The work of Kurt Gödel / rank @@
+Normal rank
@@ Property / cites work @@
+A note on recursive functions
@@ Property / cites work: A note on recursive functions / rank @@
+Normal rank
@@ Property / cites work @@
+Formalized recursive functionals and formalized realizability
+Normal rank
@@ Property / cites work @@
+\(\lambda\)-definability and recursiveness
@@ Property / cites work: \(\lambda\)-definability and recursiveness / rank @@
+Normal rank
@@ Property / cites work @@
+General recursive functions of natural numbers
@@ Property / cites work: General recursive functions of natural numbers / rank @@
+Normal rank
@@ Property / cites work @@
+The inconsistency of certain formal logics
@@ Property / cites work: The inconsistency of certain formal logics / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Positive Integers in Formal Logic. Part II
+Normal rank
@@ Property / cites work @@
+Proof by cases in formal logic
@@ Property / cites work: Proof by cases in formal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Disjunction and existence under implication in elementary intuitionistic formalisms
+Normal rank
@@ Property / cites work @@
+Computability and λ-definability
@@ Property / cites work: Computability and λ-definability / rank @@
+Normal rank
@@ Property / cites work @@
+On degrees of recursive unsolvability
@@ Property / cites work: On degrees of recursive unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive well-orderings
@@ Property / cites work: Recursive well-orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+Recursion on the countable functionals
@@ Property / cites work: Recursion on the countable functionals / rank @@
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
+Normal rank
@@ Property / cites work @@
+Reflections on Church's thesis
@@ Property / cites work: Reflections on Church's thesis / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretation of intuitionistic number theory
+Normal rank
@@ Property / cites work @@
+The theory of recursive functions, approaching its centennial
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+The upper semi-lattice of degrees of recursive unsolvability
+Normal rank