Singular coverings and non‐uniform notions of closed set computability

DOI10.1002/MALQ.200610058MaRDI QIDQ3528149zbMATH OpenOpenAlexFDO

Authors Stéphane Le Roux, Martin Ziegler

Publication date 8 October 2008

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

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

zbMATH Keywords

co-r.e. closed setsconnected componentnon-uniform computability

Mathematics Subject Classification ID

Applications of computability and recursion theory (03D80) Constructive and recursive analysis (03F60)

Recommendations

• Singular coverings and non-uniform notions of closed set computability
• Closed sets and operators thereon: representations, computability and complexity
• Computability on Subsets of Locally Compact Spaces
• Universal singular sets and unrectifiability
• scientific article; zbMATH DE number 1873436
• Computability of Følner sets
• Computability on subsets of Euclidean space. I: Closed and compact subsets
• Complete sets and closeness to complexity classes
• scientific article; zbMATH DE number 5064948
• Continuity and computability of reachable sets

Cites work

• Computability on continuous, lower semi-continuous and upper semi-continuous real functions
• Computability on subsets of Euclidean space. I: Closed and compact subsets
• Computable operators on regular sets
• Effective Borel measurability and reducibility of functions
• scientific article; zbMATH DE number 3143695 (Why is no real title available?)
• scientific article; zbMATH DE number 3871350 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 4091484 (Why is no real title available?)
• scientific article; zbMATH DE number 1303200 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 1499089 (Why is no real title available?)
• Logical Approaches to Computational Barriers
• Relatively recursive reals and real functions
• The Arithmetical Hierarchy of Real Numbers

Cited in

(14)

• Semicomputable manifolds in computable topological spaces
• The cohesive principle and the Bolzano-Weierstraß principle
• Computability and analysis, a historical approach
• The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma
• Real computation with least discrete advice: a complexity theory of nonuniform computability with applications to effective linear algebra
• 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
• Computability of Subsets of Metric Spaces
• Computable neighbourhoods of points in semicomputable manifolds
• Connected choice and the Brouwer fixed point theorem
• Computable Closed Euclidean Subsets with and without Computable Points
• Sets, complements and boundaries
• Co-c.e. sets with disconnected complements
• Computable approximations of semicomputable graphs

This page was built for publication: Singular coverings and non‐uniform notions of closed set computability

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