Warsaw discs and semicomputability

DOI10.1016/J.TOPOL.2018.02.014MaRDI QIDQ1709073zbMATH OpenOpenAlexWikidataFDO

Authors Zvonko Iljazovic, Bojan Pažek

Publication date 27 March 2018

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.topol.2018.02.014

zbMATH Keywords

Warsaw circlecomputable setcomputable metric spacesemicomputable setWarsaw disc

Mathematics Subject Classification ID

Connections of general topology with other structures, applications (54H99) Constructive and recursive analysis (03F60)

Recommendations

• Computability on quasi-Polish spaces
• scientific article; zbMATH DE number 800363
• Polish spaces, computable approximations, and bitopological spaces
• A semilattice of degrees of computable metrics
• Contribution of Warsaw logicians to computational logic
• On the computation of the disjunctive well-founded semantics
• Paraconsistent computation and dialetheic machines
• On computability and disintegration
• Computability of Følner sets

Cites work

• scientific article; zbMATH DE number 42077 (Why is no real title available?)
• scientific article; zbMATH DE number 53928 (Why is no real title available?)
• scientific article; zbMATH DE number 3622573 (Why is no real title available?)
• scientific article; zbMATH DE number 1955470 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• Chainable and circularly chainable co-r.e. sets in computable metric spaces
• Co-c.e. sets with disconnected complements
• Co-c.e. spheres and cells in computable metric spaces
• Compact manifolds with computable boundaries
• Computability of 1-manifolds
• Computability on computable metric spaces
• Computability on subsets of metric spaces.
• Computable neighbourhoods of points in semicomputable manifolds
• Effectiveness for embedded spheres and balls
• Incomputability of Simply Connected Planar Continua
• Maximal computability structures
• On a Π⁰₁ Set of Positive Measure
• Plottable Real Number Functions and the Computable Graph Theorem

Cited in

(8)

• The surjection property and computable type
• Compact manifolds with computable boundaries
• Computability of pseudo-cubes
• Computability of 1-manifolds
• Computable neighbourhoods of points in semicomputable manifolds
• Semicomputable manifolds in computable topological spaces
• Co-c.e. spheres and cells in computable metric spaces
• Computability of graphs

This page was built for publication: Warsaw discs and semicomputability

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