Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis

DOI10.1016/S1571-0661(04)80380-3zbMath1261.03164MaRDI QIDQ4916185

Iraj Kalantari, Lawrence Welch

Publication date: 19 April 2013

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

Mathematics Subject Classification ID

Quantum computation (81P68) Constructive and recursive analysis (03F60) Other constructive mathematics (03F65) Computation over the reals, computable analysis (03D78)

Related Items (4)

A blend of methods of recursion theory and topology. ⋮ A blend of methods of recursion theory and topology: a \(\Pi_1^0\) tree of shadow points ⋮ Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I ⋮ Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II

Cites Work

• Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I
• Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II
• A blend of methods of recursion theory and topology.
• Recursive analysis
• A recursive function, defined on a compact interval and having a continuous derivative that is not recursive
• Computable functionals
• On the definitions of computable real continuous functions
• On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
• Some properties of constructive real numbers and constructive functions
• On singular coverings and properties of constructive functions connected with them
• ∏ 0 1 Classes and Degrees of Theories
• Nicht konstruktiv beweisbare Sätze der Analysis
• Recursive Real Numbers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis