Provably recursive real numbers

DOI10.1305/NDJFL/1093888500zbMath0305.02054OpenAlexW2025786545MaRDI QIDQ1217114

William J. Collins

Publication date: 1978

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093888500

Mathematics Subject Classification ID

Computability and recursion theory (03D99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (1)

Discontinuities of provably correct operators on the provably recursive real numbers

This page was built for publication: Provably recursive real numbers