scientific article; zbMATH DE number 4123711
From MaRDI portal
Publication:4204139
zbMath0686.03019MaRDI QIDQ4204139
Juichi Shinoda, Theodore A. Slaman
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Continuum hypothesis and Martin's axiom (03E50) Second- and higher-order arithmetic and fragments (03F35) Other degrees and reducibilities in computability and recursion theory (03D30) Relative consistency and interpretations (03F25) Higher-type and set recursion theory (03D65)
This page was built for publication: