On the Lattices of Effectively Open Sets (Q3188269): 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/978-3-319-40189-8_31
+Normal rank
@@ Property / OpenAlex ID @@
+W2494261924
@@ Property / OpenAlex ID: W2494261924 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable functionals of finite types
@@ Property / cites work: Computable functionals of finite types / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of Some Topological Theories
@@ Property / cites work: Undecidability of Some Topological Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3665086
@@ Property / cites work: Q3665086 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3734391
@@ Property / cites work: Q3734391 / rank @@
+Normal rank
@@ Property / cites work @@
+Coding in the partial order of enumerable sets
@@ Property / cites work: Coding in the partial order of enumerable sets / rank @@
+Normal rank
@@ Property / cites work @@
+The Uniformity Principle for  -definability
@@ Property / cites work: The Uniformity Principle for -definability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322161
@@ Property / cites work: Q5322161 / rank @@
+Normal rank
@@ Property / cites work @@
+Effectively dense Boolean algebras and their applications
+Normal rank
@@ Property / cites work @@
+Towards a descriptive set theory for domain-like structures
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank