Analytic computable structure theory and $L^p$ spaces

DOI10.4064/fm448-5-2018zbMath1481.03035arXiv1701.00840OpenAlexW2963166739MaRDI QIDQ4615025

Timothy H. McNicholl, Joe Clanin, Don Stull

Publication date: 1 February 2019

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1701.00840

zbMATH Keywords

functional analysiscomputable analysiscomputable structure theory

Mathematics Subject Classification ID

Spaces of measurable functions ((L^p)-spaces, Orlicz spaces, Köthe function spaces, Lorentz spaces, rearrangement invariant spaces, ideal spaces, etc.) (46E30) Isometric theory of Banach spaces (46B04) Theory of numerations, effectively presented structures (03D45) Computation over the reals, computable analysis (03D78)

Related Items (12)

New degree spectra of Polish spaces ⋮ Computable Stone spaces ⋮ Continuous logic and embeddings of Lebesgue spaces ⋮ Degrees of and lowness for isometric isomorphism ⋮ Computing the exponent of a Lebesgue space ⋮ Oracle computability of conditional expectations onto subfactors ⋮ Analytic computable structure theory and \(L^p\)-spaces. II ⋮ ON THE COMPLEXITY OF CLASSIFYING LEBESGUE SPACES ⋮ COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM ⋮ Computing on the Banach space C [ 0 , 1 ] ⋮ Computable analysis and classification problems ⋮ Degrees of non-computability of homeomorphism types of Polish spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computable dimension for ordered fields
• On the isometries of certain function-spaces
• Effective categoricity of abelian \(p\)-groups
• Autostability of models and Abelian groups
• Autostability of models
• Banach spaces of vector-valued functions
• Computable structures and the hyperarithmetical hierarchy
• Degree spectra and computable dimensions in algebraic structures
• The isometry degree of a computable copy of \(\ell^p\)
• The computable dimension of ordered abelian groups
• Turing's Legacy
• Computable structures and operations on the space of continuous functions
• A Note on the Computable Categoricity of $$\ell ^p$$ ℓ p Spaces
• Effective procedures in field theory
• Recursive isomorphism types of recursive Boolean algebras
• Absolutely non-computable predicates and functions in analysis
• UNIFORM PROCEDURES IN UNCOUNTABLE STRUCTURES
• Computable copies of ℓ p 1
• The Classification Problem for Compact Computable Metric Spaces
• CONSTRUCTIVE ALGEBRAS I
• Computably Isometric Spaces

This page was built for publication: Analytic computable structure theory and $L^p$ spaces