On the Continuity of Effective Multifunctions

DOI10.1016/j.entcs.2008.12.023zbMath1262.03095MaRDI 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

multifunctions; effectivity

Mathematics Subject Classification ID

54H05: Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets)

03D45: Theory of numerations, effectively presented structures

03D78: Computation over the reals, computable analysis

Related Items

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