Computable structures and operations on the space of continuous functions

DOI10.4064/fm36-12-2015zbMath1393.03025OpenAlexW2549647330MaRDI QIDQ2804293

Keng Meng Ng, Alexander G. Melnikov

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

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

Related Items (13)

A semilattice of degrees of computable metrics ⋮ A Note on the Computable Categoricity of $$\ell ^p$$ ℓ p Spaces ⋮ UNIFORM PROCEDURES IN UNCOUNTABLE STRUCTURES ⋮ Computable Stone spaces ⋮ COMPUTABLY COMPACT METRIC SPACES ⋮ Analytic computable structure theory and $L^p$ spaces ⋮ Computing the exponent of a Lebesgue space ⋮ A note on computable distinguishing colorings ⋮ Computable topological groups and Pontryagin duality ⋮ Oracle computability of conditional expectations onto subfactors ⋮ ON THE COMPLEXITY OF CLASSIFYING LEBESGUE SPACES ⋮ COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM ⋮ Computable analysis and classification problems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Towards computability of elliptic boundary value problems in variational formulation
• Autostability of models and Abelian groups
• Computable structures and the hyperarithmetical hierarchy
• Degree spectra and computable dimensions in algebraic structures
• A recursive function, defined on a compact interval and having a continuous derivative that is not recursive
• A LIGHTFACE ANALYSIS OF THE DIFFERENTIABILITY RANK
• Degree spectra of relations on computable structures in the presence of Δ₂⁰isomorphisms
• Ranks of differentiable functions
• The Set of Continuous Functions with the Everywhere Convergent Fourier Series
• Recursively Categorical Linear Orderings
• A Real Number Structure that is Effectively Categorical
• On the Denjoy rank, the Kechris-Woodin rank and the Zalcwasser rank
• The Kechris-Woodin Rank is Finer Than the Zalcwasser Rank
• Computably Isometric Spaces
• Computable Algebra, General Theory and Theory of Computable Fields
• On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction

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