Effectivity and effective continuity of multifunctions

DOI10.2178/jsl/1268917496zbMath1209.03034OpenAlexW2089065016MaRDI QIDQ3570164

Dieter Spreen

Publication date: 24 June 2010

Published in: The 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

multifunctionsconstructive analysiseffective continuity

Mathematics Subject Classification ID

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

Related Items (2)

Some results related to the continuity problem ⋮ Real computation with least discrete advice: a complexity theory of nonuniform computability with applications to effective linear algebra

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Domain representability of metric spaces
• Total sets and objects in domain theory
• Computability concepts for programming language semantics
• A fundamental effect in computations on real numbers
• Feasible real random access machines
• Computability on subsets of Euclidean space. I: Closed and compact subsets
• Computability on subsets of metric spaces.
• Domain representations of topological spaces
• On some decision problems in programming
• Formal spaces and their effective presentations
• Continuity and computability of reachable sets
• Effective operations on partial recursive functions
• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
• Continuous Lattices and Domains
• Abstract versus concrete computation on metric partial algebras

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