On Non-principal Arithmetical Numberings and Families (Q6489320): Difference between revisions

@@ Property / cites work @@
+Q3425600
@@ Property / cites work: Q3425600 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized computable universal numberings
@@ Property / cites work: Generalized computable universal numberings / rank @@
+Normal rank
@@ Property / cites work @@
+ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
+Normal rank
@@ Property / cites work @@
+The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
+Normal rank
@@ Property / cites work @@
+Completely enumerated sets
@@ Property / cites work: Completely enumerated sets / rank @@
+Normal rank
@@ Property / cites work @@
+On inseparable pairs
@@ Property / cites work: On inseparable pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Complete numerations with infinitely many singular elements
+Normal rank
@@ Property / cites work @@
+Some independence results for control structures in complete numberings
+Normal rank
@@ Property / cites work @@
+Subfamilies of special elements of complete numberings
+Normal rank
@@ Property / cites work @@
+Q3068278
@@ Property / cites work: Q3068278 / rank @@
+Normal rank
@@ Property / cites work @@
+Numberings, c.e. oracles, and fixed points
@@ Property / cites work: Numberings, c.e. oracles, and fixed points / rank @@
+Normal rank
@@ Property / cites work @@
+Q2709299
@@ Property / cites work: Q2709299 / rank @@
+Normal rank
@@ Property / cites work @@
+Khutoretskii's theorem for generalized computable families
+Normal rank
@@ Property / cites work @@
+On the embedding of the first nonconstructive ordinal in the Rogers semilattices
+Normal rank
@@ Property / cites work @@
+Embedding of the first nonconstructive ordinal into the Rogers semilattices of families of arithmetic sets
+Normal rank
@@ Property / cites work @@
+Q4795525
@@ Property / cites work: Q4795525 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ Property / cites work @@
+Turing Computability
@@ Property / cites work: Turing Computability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934289
@@ Property / cites work: Q4934289 / rank @@
+Normal rank
@@ Property / cites work @@
+Extremal numberings and fixed point theorems
@@ Property / cites work: Extremal numberings and fixed point theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees in Which the Recursive Sets are Uniformly Recursive
+Normal rank
@@ Property / cites work @@
+Q4530730
@@ Property / cites work: Q4530730 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal generalized computable enumerations and high degrees
+Normal rank
@@ Property / cites work @@
+On incomparable enumerations
@@ Property / cites work: On incomparable enumerations / rank @@
+Normal rank
@@ Property / cites work @@
+On \(m\)-degrees of recursively enumerable sets
@@ Property / cites work: On \(m\)-degrees of recursively enumerable sets / rank @@
+Normal rank
@@ Property / cites work @@
+On nonprincipal enumerations
@@ Property / cites work: On nonprincipal enumerations / rank @@
+Normal rank