Computability and continuity in metric partial algebras equipped with computability structures

DOI10.1002/MALQ.200310114MaRDI QIDQ3159433zbMATH OpenOpenAlexFDO

Authors Fredrik Dahlgren

Publication date 16 February 2005

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200310114

zbMATH Keywords

Banach-Mazur computable functioncomputabilityeffective continuityuniversal algebra

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Partial algebras (08A55)

Recommendations

• Computable and Continuous Partial Homomorphisms on Metric Partial Algebras
• scientific article; zbMATH DE number 1222111
• Notions of semicomputability in topological algebras over the reals
• scientific article; zbMATH DE number 1344955
• Effective properties of sets and functions in metric spaces with computability structure

Cited in

(10)

• On an ad hoc computability structure in a Hilbert space
• Computable total functions on metric algebras, universal algebraic specifications and dynamical systems
• Computable structures and operations on the space of continuous functions
• Two constructive embedding‐extension theorems with applications to continuity principles and to Banach‐Mazur computability
• scientific article; zbMATH DE number 1222111 (Why is no real title available?)
• Continuity ∑—Algebras (Extended Abstract)
• scientific article; zbMATH DE number 1746034 (Why is no real title available?)
• Computable and Continuous Partial Homomorphisms on Metric Partial Algebras
• Abstract versus concrete computation on metric partial algebras
• On the complexity of the theory of a computably presented metric structure

This page was built for publication: Computability and continuity in metric partial algebras equipped with computability structures

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