Effectivizing Inseparability
From MaRDI portal
Publication:3982856
DOI10.1002/malq.19910370702zbMath0741.03021OpenAlexW4232809388MaRDI QIDQ3982856
Publication date: 26 June 1992
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.19910370702
Complexity of computation (including implicit computational complexity) (03D15) Recursive functions and relations, subrecursive hierarchies (03D20)
Related Items
Infinitary self-reference in learning theory, Effective inseparability in a topological setting, Characterizing programming systems allowing program self-reference, Is independence an exception?
