On the Continuity of Effective Multifunctions

DOI10.1016/j.entcs.2008.12.023zbMath1262.03095OpenAlexW2029130197MaRDI QIDQ4918021

Dieter Spreen

Publication date: 3 May 2013

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.12.023

zbMATH Keywords

multifunctionseffectivity

Mathematics Subject Classification ID

Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Theory of numerations, effectively presented structures (03D45) Computation over the reals, computable analysis (03D78)

Related Items (2)

COMPUTABLE SEMANTICS FOR CTL* ON DISCRETE-TIME AND CONTINUOUS-SPACE DYNAMIC SYSTEMS ⋮ Computable CTL * for Discrete-Time and Continuous-Space Dynamic Systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computability concepts for programming language semantics
• A fundamental effect in computations on real numbers
• Computability on subsets of Euclidean space. I: Closed and compact subsets
• Computability on subsets of metric spaces.
• Domain representations of topological spaces
• Formal spaces and their effective presentations
• Continuity and computability of reachable sets
• Effective operations on partial recursive functions
• Abstract versus concrete computation on metric partial algebras
• Algorithmic operators in constructive metric spaces
• Recursive metric spaces
• Corrigendum
• Set-valued analysis

This page was built for publication: On the Continuity of Effective Multifunctions