Recursive quasi-metric spaces.

DOI10.1016/S0304-3975(02)00692-8zbMath1071.03026MaRDI QIDQ1427771

Vasco Brattka

Publication date: 14 March 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

HyperspacesComputable analysisFunction spacesQuasi-metric spaces

Mathematics Subject Classification ID

Hyperspaces in general topology (54B20) Metric spaces, metrizability (54E35) Constructive and recursive analysis (03F60) Theory of numerations, effectively presented structures (03D45)

Related Items (11)

A generalized proximal linearized algorithm for DC functions with application to the optimal size of the firm problem ⋮ The quasi-metrizability of hyperspaces ⋮ Computability on subsets of metric spaces. ⋮ Logarithmic quasi-distance proximal point scalarization method for multi-objective programming ⋮ A double completion for an arbitrary \(T_0\)-quasi-metric space ⋮ A proximal point algorithm with quasi-distance in multi-objective optimization ⋮ On computably locally compact Hausdorff spaces ⋮ The space of formal balls and models of quasi-metric spaces ⋮ An improved proximal method with quasi-distance for nonconvex multiobjective optimization problem ⋮ A proximal algorithm with quasi distance. Application to habit's formation ⋮ Generated quasi-metric hyper and function spaces.

Cites Work

• A faithful computational model of the real numbers
• Domain representability of metric spaces
• Computability on subsets of Euclidean space. I: Closed and compact subsets
• Effective properties of sets and functions in metric spaces with computability structure
• Computability on subsets of metric spaces.
• Computability on continuous, lower semi-continuous and upper semi-continuous real functions
• Topological properties of real number representations.
• Computability on computable metric spaces
• Generated quasi-metric hyper and function spaces.
• On effective topological spaces
• Approaches to Effective Semi‐Continuity of Real Functions
• Recursive metric spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Recursive quasi-metric spaces.