On the continuity of effective multifunctions

DOI10.1016/J.ENTCS.2008.12.023MaRDI QIDQ4918021zbMATH OpenOpenAlexFDO

Authors 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

effectivitymultifunctions

Mathematics Subject Classification ID

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

Recommendations

• Effectivity and effective continuity of multifunctions
• scientific article; zbMATH DE number 1222114
• Effective continuities on effective topological spaces
• scientific article; zbMATH DE number 1222103
• Relative computability and uniform continuity of relations

Cites work

• A fundamental effect in computations on real numbers
• Abstract versus concrete computation on metric partial algebras
• Algorithmic operators in constructive metric spaces
• Computability concepts for programming language semantics
• Computability on subsets of Euclidean space. I: Closed and compact subsets
• Computability on subsets of metric spaces.
• Continuity and computability of reachable sets
• Corrigendum to: ``On effective topological spaces
• Domain representations of topological spaces
• Effective operations on partial recursive functions
• Formal spaces and their effective presentations
• scientific article; zbMATH DE number 3846844 (Why is no real title available?)
• scientific article; zbMATH DE number 4043227 (Why is no real title available?)
• scientific article; zbMATH DE number 490143 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 821282 (Why is no real title available?)
• scientific article; zbMATH DE number 3319536 (Why is no real title available?)
• Recursive metric spaces
• Set-valued analysis

Cited in

(4)

• Computable semantics for \(\text{CTL}^*\) on discrete-time and continuous-space dynamic systems
• Effectivity and effective continuity of multifunctions
• Computable CTL * for Discrete-Time and Continuous-Space Dynamic Systems
• Effectively open real functions

This page was built for publication: On the continuity of effective multifunctions

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