Computable and Continuous Partial Homomorphisms on Metric Partial Algebras

DOI10.2178/bsl/1058448675zbMath1058.03070OpenAlexW2038472629MaRDI QIDQ4650302

Viggo Stoltenberg-Hansen, J. V. Tucker

Publication date: 9 February 2005

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.bsl/1058448675

zbMATH Keywords

continuitycomputabilitycomputable partial sequence structureseffective metric partial algebrashomomorphisms between topological algebraic structuresmetric partial universal algebras

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Intuitionistic mathematics (03F55) Theory of numerations, effectively presented structures (03D45)

Related Items (9)

Partial Horn logic and Cartesian categories ⋮ Can Newtonian systems, bounded in space, time, mass and energy compute all functions? ⋮ Programming Experimental Procedures for Newtonian Kinematic Machines ⋮ Stability of representations of effective partial algebras ⋮ Stability for Effective Algebras ⋮ Computable total functions on metric algebras, universal algebraic specifications and dynamical systems ⋮ Embedding infinitely parallel computation in Newtonian kinematics ⋮ Computations via Newtonian and relativistic kinematic systems ⋮ Computational complexity with experiments as oracles

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Domain representability of metric spaces
• Embedding metric spaces into CPO's
• Concrete models of computation for topological algebras
• Computation by `While' programs on topological partial algebras
• Effective properties of sets and functions in metric spaces with computability structure
• Computable functionals of finite types
• IS WAVE PROPAGATION COMPUTABLE OR CAN WAVE COMPUTERS BEAT THE TURING MACHINE?
• Complete local rings as domains
• Theorie der Numerierungen I
• Theorie Der Numerierungen III
• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
• On effective topological spaces

This page was built for publication: Computable and Continuous Partial Homomorphisms on Metric Partial Algebras