scientific article

zbMath0085.24701MaRDI QIDQ3256314

Stephen C. Kleene

Publication date: 1958

Full work available at URL: http://www.numdam.org/item?id=CM_1959-1960__14__23_0

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

Characteristics of graph languages generated by edge replacement ⋮ LUZIN’S (N) AND RANDOMNESS REFLECTION ⋮ The unique existential quantifier ⋮ La prédicativité ⋮ Hyperanalytic Predicates ⋮ COMPLEXITY OF INDEX SETS OF DESCRIPTIVE SET-THEORETIC NOTIONS ⋮ Rethinking revision ⋮ Comparing Peano arithmetic, Basic Law V, and Hume's Principle ⋮ On a problem of Kleene’s ⋮ Measure-Theoretic Uniformity in Recursion Theory and Set Theory ⋮ A Recursion-Theoretic Characterization of the Ramified Analytical Hierarchy ⋮ Hyperarithmetical Sets ⋮ A neural compiler ⋮ The operation \(\uparrow\) on formal power series ⋮ The Whitney embedding theorem for tropical torsion modules. Classification of tropical modules ⋮ Choice free fixed point property in separable Banach spaces ⋮ A dichotomy result for a pointwise summable sequence of operators ⋮ Predicativity and Feferman ⋮ The zig-zag power series: A two-way version of the \({}^*\) operator. ⋮ Weighted asynchronous cellular automata ⋮ Minimal Covers and Hyperdegrees ⋮ Kleene’s Amazing Second Recursion Theorem ⋮ On the reducibility of \(\Pi_ 1^ 1\) sets ⋮ SEARCHING FOR AN ANALOGUE OF ATR₀ IN THE WEIHRAUCH LATTICE ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC

Cites Work

• Unnamed Item
• Unnamed Item
• The upper semi-lattice of degrees of recursive unsolvability
• Arithmetical Predicates and Function Quantifiers
• Hierarchies of number-theoretic predicates
• Recursive well-orderings
• On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
• A Note on Function Quantification