On the Lattices of Effectively Open Sets (Q3188269): Difference between revisions

@@ 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