Primitive Recursiveness of Real Numbers under Different Representations

DOI10.1016/j.entcs.2006.08.018zbMath1262.03080OpenAlexW1971302141MaRDI QIDQ4921448

Qingliang Chen, Zheng, Xizhong, Kaile Su

Publication date: 10 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.08.018

zbMATH Keywords

representations of real numberseffectively computableprimitive recursiveness

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78)

Related Items (1)

Fifty years of the spectrum problem: survey and new results

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On computable sequences
• On the definitions of some complexity classes of real numbers
• On primitive recursive real numbers
• Recursive real numbers
• Nicht konstruktiv beweisbare Sätze der Analysis
• Criteria of constructibility for real numbers
• Recursive Real Numbers
• The recursive irrationality of π

This page was built for publication: Primitive Recursiveness of Real Numbers under Different Representations