Ideals without minimal elements in Rogers semilattices (Q903180): Difference between revisions

@@ Property / DOI @@
-.1007/s10469-015-9340-y
@@ Property / DOI: 10.1007/s10469-015-9340-y / rank @@
-Normal rank
@@ Property / cites work @@
+Q2709299
@@ Property / cites work: Q2709299 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized computable universal numberings
@@ Property / cites work: Generalized computable universal numberings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530730
@@ Property / cites work: Q4530730 / rank @@
+Normal rank
@@ Property / cites work @@
+Enumeration of families of general recursive functions
+Normal rank
@@ Property / cites work @@
+The computable enumerations of families of general recursive functions
+Normal rank
@@ Property / cites work @@
+Two existence theorems for computable numerations
@@ Property / cites work: Two existence theorems for computable numerations / rank @@
+Normal rank
@@ Property / cites work @@
+On some examples of upper semilattices of computable enumerations
+Normal rank
@@ Property / DOI @@
+.1007/S10469-015-9340-Y
@@ Property / DOI: 10.1007/S10469-015-9340-Y / rank @@
+Normal rank