Konstruktive Darstellungen Reeller Zahlen und Folgen

DOI10.1002/MALQ.19780241912MaRDI QIDQ3931385zbMATH OpenOpenAlexFDO

Authors J. Hauck

Publication date 1978

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

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

zbMATH Keywords

computable real numberscomputable real sequencesconstructive representation of real numbers

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Cited in

(1)

• How much partiality is needed for a theory of computability?

This page was built for publication: Konstruktive Darstellungen Reeller Zahlen und Folgen

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3931385)