Partial combinatory algebra and generalized numberings (Q2148902): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2981017762
@@ Property / OpenAlex ID: W2981017762 / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey on Universal Computably Enumerable Equivalence Relations
+Normal rank
@@ Property / cites work @@
+Q3674634
@@ Property / cites work: Q3674634 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3342534
@@ Property / cites work: Q3342534 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed point theorems for precomplete numberings
@@ Property / cites work: Fixed point theorems for precomplete numberings / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying positive equivalence relations
@@ Property / cites work: Classifying positive equivalence relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5565113
@@ Property / cites work: Q5565113 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorie der Numerierungen I
@@ Property / cites work: Theorie der Numerierungen I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4111546
@@ Property / cites work: Q4111546 / rank @@
+Normal rank
@@ Property / cites work @@
+More on Geometric Morphisms between Realizability Toposes
+Normal rank
@@ Property / cites work @@
+Q4128540
@@ Property / cites work: Q4128540 / rank @@
+Normal rank
@@ Property / cites work @@
+Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3478394
@@ Property / cites work: Q3478394 / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on Positive Equivalence Relations
@@ Property / cites work: A Note on Positive Equivalence Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-Order Computability
@@ Property / cites work: Higher-Order Computability / rank @@
+Normal rank
@@ Property / cites work @@
+The λ-calculus is ω-incomplete
@@ Property / cites work: The λ-calculus is ω-incomplete / rank @@
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. Vol. II
@@ Property / cites work: Classical recursion theory. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability. An introduction to its categorical side
+Normal rank
@@ Property / cites work @@
+Extensions of Scott's graph model and Kleene's second algebra
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Index sets of quotient objects of the Post numeration
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ Property / cites work @@
+GENERALIZATIONS OF THE RECURSION THEOREM
@@ Property / cites work: GENERALIZATIONS OF THE RECURSION THEOREM / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank