Co-c.e. sets with disconnected complements (Q722203): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00224-017-9781-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2618597156
@@ Property / OpenAlex ID: W2618597156 / rank @@
+Normal rank
@@ Property / cites work @@
+Plottable Real Number Functions and the Computable Graph Theorem
+Normal rank
@@ Property / cites work @@
+Computability on subsets of metric spaces.
@@ Property / cites work: Computability on subsets of metric spaces. / rank @@
+Normal rank
@@ Property / cites work @@
+Computability of 1-manifolds
@@ Property / cites work: Computability of 1-manifolds / rank @@
+Normal rank
@@ Property / cites work @@
+Effectiveness for Embedded Spheres and Balls
@@ Property / cites work: Effectiveness for Embedded Spheres and Balls / rank @@
+Normal rank
@@ Property / cites work @@
+Q3639062
@@ Property / cites work: Q3639062 / rank @@
+Normal rank
@@ Property / cites work @@
+Co-c.e. spheres and cells in computable metric spaces
+Normal rank
@@ Property / cites work @@
+Local computability of computable metric spaces and computability of co-c.e. continua
+Normal rank
@@ Property / cites work @@
+Compact manifolds with computable boundaries
@@ Property / cites work: Compact manifolds with computable boundaries / rank @@
+Normal rank
@@ Property / cites work @@
+Computable intersection points
@@ Property / cites work: Computable intersection points / rank @@
+Normal rank
@@ Property / cites work @@
+Computable neighbourhoods of points in semicomputable manifolds
+Normal rank
@@ Property / cites work @@
+MAXIMAL COMPUTABILITY STRUCTURES
@@ Property / cites work: MAXIMAL COMPUTABILITY STRUCTURES / rank @@
+Normal rank
@@ Property / cites work @@
+Incomputability of Simply Connected Planar Continua
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3260574
@@ Property / cites work: Q3260574 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank