Interpolation functor and computability.

DOI10.1016/S0304-3975(01)00106-2zbMath1051.03051OpenAlexW2066229419MaRDI QIDQ1607301

Atsushi Yoshikawa

Publication date: 31 July 2002

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

Full work available at URL: https://doi.org/10.1016/s0304-3975(01)00106-2

zbMATH Keywords

Calderón's methodComplex interpolation functorEffective separabilityInterpolated computability structure

Mathematics Subject Classification ID

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

Related Items (2)

Computable sequences in the Sobolev spaces ⋮ Towards computability of elliptic boundary value problems in variational formulation

Cites Work

• A domain-theoretic approach to computability on the real line
• Computable Banach spaces via domain theory
• Computability and Noncomputability in Classical Analysis
• Intermediate spaces and interpolation, the complex method
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Interpolation functor and computability.