scientific article; zbMATH DE number 3275577

zbMath0173.00903MaRDI QIDQ5559240

J. R. Shoenfield

Publication date: 1962

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

zbMATH Keywords

constructive mathematicsrecursion theory

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (19)

Unnamed Item ⋮ Predicativity, the Russell-Myhill paradox, and Church's intensional logic ⋮ The automorphism group of the enumeration degrees ⋮ The comparison lemma ⋮ EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER ⋮ Complexity profiles and generic Muchnik reducibility ⋮ The exact consistency strength of the generic absoluteness for the universally Baire sets ⋮ Oscillation in the initial segment complexity of random reals ⋮ AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS ⋮ On Relating Theories: Proof-Theoretical Reduction ⋮ Generic Muchnik reducibility and presentations of fields ⋮ Extensions of the measurable choice theorem by means of forcing ⋮ Levy and set theory ⋮ Borel preference orders in markets with a continuum of traders ⋮ Robinson forcing is not absolute ⋮ Putnam’s Constructivization Argument ⋮ The Shoenfield absoluteness lemma ⋮ Maximal ideals in countable rings, constructively ⋮ Set recursion and \(\Pi ^ 1_ 2\)-logic

This page was built for publication: