Effectivity and effective continuity of multifunctions

DOI10.2178/JSL/1268917496MaRDI QIDQ3570164zbMATH OpenOpenAlexFDO

Authors Dieter Spreen

Publication date 24 June 2010

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

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.551.7996

zbMATH Keywords

constructive analysiseffective continuitymultifunctions

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Computation over the reals, computable analysis (03D78) Constructive and recursive analysis (03F60)

Recommendations

• On the continuity of effective multifunctions
• Effective continuities on effective topological spaces
• scientific article; zbMATH DE number 1222103
• Computability on computable metric spaces
• Computability on continuous, lower semi-continuous and upper semi-continuous real functions

Cites work

• A fundamental effect in computations on real numbers
• Abstract versus concrete computation on metric partial algebras
• 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
• Continuous Lattices and Domains
• Domain representability of metric spaces
• Domain representations of topological spaces
• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
• Effective operations on partial recursive functions
• Feasible real random access machines
• Formal spaces and their effective presentations
• scientific article; zbMATH DE number 42077 (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 3291134 (Why is no real title available?)
• On some decision problems in programming
• Total sets and objects in domain theory

Cited in

(6)

• Real computation with least discrete advice: a complexity theory of nonuniform computability with applications to effective linear algebra
• Some results related to the continuity problem
• Effectivity in Spaces with Admissible Multirepresentations
• On the continuity of effective multifunctions
• Effectively open real functions
• Effective continuities on effective topological spaces

This page was built for publication: Effectivity and effective continuity of multifunctions

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