A Limit for Higher Recursion Theory

DOI10.1002/malq.19790253003zbMath0421.03037OpenAlexW2036249575MaRDI QIDQ3853615

Horst Luckhardt

Publication date: 1979

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19790253003

zbMATH Keywords

functional domainrecursion theory for non-constant comprehension functionalsRice principletotal arguments

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Higher-type and set recursion theory (03D65)

This page was built for publication: A Limit for Higher Recursion Theory