Primitive recursive real numbers

DOI10.1002/malq.200710005zbMath1152.03039OpenAlexW2158841525MaRDI QIDQ5307606

Zheng, Xizhong, Qingliang Chen, Kaile Su

Publication date: 17 September 2007

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

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

zbMATH Keywords

representations of real numberscomputable real numbersprimitive recursiveness

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Applications of computability and recursion theory (03D80) Hierarchies of computability and definability (03D55)

Related Items (4)

Primitive recursive ordered fields and some applications ⋮ Unnamed Item ⋮ Primitive recursive ordered fields and some applications ⋮ Fifty years of the spectrum problem: survey and new results

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Primitive recursive real numbers