Computable structures and operations on the space of continuous functions

DOI10.4064/FM36-12-2015MaRDI QIDQ2804293zbMATH OpenOpenAlexFDO

Authors Alexander Melnikov, Keng Meng Ng

Publication date 28 April 2016

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/3d438db3290b8e9a79d2c09eb221879c33aa6e1e

zbMATH Keywords

continuous functionseffective categoricityeffective Banach space

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Applications of computability and recursion theory (03D80)

Recommendations

• Computability and continuity in metric partial algebras equipped with computability structures
• scientific article; zbMATH DE number 1088270
• scientific article; zbMATH DE number 1344955
• Computable and Continuous Partial Homomorphisms on Metric Partial Algebras
• Effective properties of sets and functions in metric spaces with computability structure

Cites work

• scientific article; zbMATH DE number 3747093 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• A Real Number Structure that is Effectively Categorical
• A lightface analysis of the differentiability rank
• A recursive function, defined on a compact interval and having a continuous derivative that is not recursive
• A tutorial on computable analysis
• Autostability of models and Abelian groups
• Computable Algebra, General Theory and Theory of Computable Fields
• Computable structures and the hyperarithmetical hierarchy
• Computably Isometric Spaces
• Degree spectra and computable dimensions in algebraic structures
• Degree spectra of relations on computable structures in the presence of Δ₂⁰isomorphisms
• Isometries and computability structures
• On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
• On the Denjoy rank, the Kechris-Woodin rank and the Zalcwasser rank
• Ranks of differentiable functions
• Recursively Categorical Linear Orderings
• The Kechris-Woodin Rank is Finer Than the Zalcwasser Rank
• The Set of Continuous Functions with the Everywhere Convergent Fourier Series
• Towards computability of elliptic boundary value problems in variational formulation

Cited in

(19)

• A semilattice of degrees of computable metrics
• Uniform procedures in uncountable structures
• Computable and Continuous Partial Homomorphisms on Metric Partial Algebras
• A Note on the Computable Categoricity of $$\ell ^p$$ ℓ p Spaces
• Analytic computable structure theory and \(L^p\) spaces
• Computability of Polish spaces up to homeomorphism
• Computable analysis and classification problems
• Positive predicate structures for continuous data
• Computable topological groups and Pontryagin duality
• COMPUTABLY COMPACT METRIC SPACES
• A note on computable distinguishing colorings
• Interval-valued computations and their connection with PSPACE
• Computably and punctually universal spaces
• Oracle computability of conditional expectations onto subfactors
• Computable presentations of C*-algebras
• Computing the exponent of a Lebesgue space
• Computable Stone spaces
• On Computational Constructions in Function Spaces
• ON THE COMPLEXITY OF CLASSIFYING LEBESGUE SPACES

This page was built for publication: Computable structures and operations on the space of continuous functions

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