Can there be no nonrecursive functions?
From MaRDI portal
Publication:5659520
DOI10.2307/2270266zbMath0247.02036MaRDI QIDQ5659520
Publication date: 1971
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2270266
03D20: Recursive functions and relations, subrecursive hierarchies
03F55: Intuitionistic mathematics
Related Items
INTUITIONISTIC ANALYSIS AT THE END OF TIME, Analyzing realizability by Troelstra's methods, Some axioms for constructive analysis, Intuitionism and effective descriptive set theory, The creating subject, the Brouwer-Kripke schema, and infinite proofs, Relative and modified relative realizability, Models of intuitionistic set theory in subtoposes of nested realizability toposes, Unavoidable sequences in constructive analysis, How to glue analysis models
Cites Work