Discontinuities of provably correct operators on the provably recursive real numbers

DOI10.2307/2273657zbMath0546.03034OpenAlexW2085971851MaRDI QIDQ3337468

No author found.

Publication date: 1983

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273657

zbMATH Keywords

discontinuous provably correct operatorprovably recursive real number

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Related Items (2)

On effective topological spaces ⋮ Representations versus numberings: On the relationship of two computability notions

Cites Work

• Provably recursive real numbers
• The upper semi-lattice of degrees of recursive unsolvability
• Optimization Among Provably Equivalent Programs
• On constructive functions

This page was built for publication: Discontinuities of provably correct operators on the provably recursive real numbers