Computable operators on regular sets

DOI10.1002/MALQ.200310107MaRDI QIDQ3159424zbMATH OpenOpenAlexWikidataFDO

Authors Martin Ziegler

Publication date 16 February 2005

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200310107

zbMATH Keywords

Computabilityrecursive analysisregular setset operators

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Elementary problems in Euclidean geometries (51M04) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Recommendations

• Computable operators on co-regular subsets
• Computability on Regular Subsets of Euclidean Space
• Closed sets and operators thereon: representations, computability and complexity
• Computability on subsets of Euclidean space. I: Closed and compact subsets
• Computability of convex sets

Cited in

(17)

• On the computability of the set of automorphisms of the unit square
• Continuity and computability of reachable sets
• Singular coverings and non‐uniform notions of closed set computability
• On computably locally compact Hausdorff spaces
• Computability of convex sets
• Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy
• Singular coverings and non-uniform notions of closed set computability
• Complexity of operators on compact sets
• Effectivity on continuous functions in topological spaces
• On computable metrization
• Computability of Subsets of Metric Spaces
• Admissibly Represented Spaces and Qcb-Spaces
• Computable operators on co-regular subsets
• On the topological aspects of the theory of represented spaces
• Computability of sets in Euclidean space
• The Dyck and the Preiss separation uniformly
• Effectively open real functions

This page was built for publication: Computable operators on regular sets

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