Warsaw discs and semicomputability

DOI10.1016/J.TOPOL.2018.02.014OpenAlexW2792597200WikidataQ130185765 ScholiaQ130185765MaRDI QIDQ1709073FDOQ1709073

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Computability on subsets of metric spaces.
• Plottable Real Number Functions and the Computable Graph Theorem
• Computability on computable metric spaces
• Compact manifolds with computable boundaries
• Chainable and circularly chainable co-r.e. sets in computable metric spaces
• Incomputability of Simply Connected Planar Continua
• Effectiveness for embedded spheres and balls
• Computability of 1-manifolds
• Computable neighbourhoods of points in semicomputable manifolds
• On a Π⁰₁ Set of Positive Measure
• Maximal computability structures
• Co-c.e. spheres and cells in computable metric spaces
• Co-c.e. sets with disconnected complements

Cited In (8)

• The surjection property and computable type
• Compact manifolds with computable boundaries
• Computability of pseudo-cubes
• Computability of 1-manifolds
• Co-c.e. spheres and cells in computable metric spaces
• Computable neighbourhoods of points in semicomputable manifolds
• Semicomputable manifolds in computable topological 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)