ORDINAL ANALYSIS OF PARTIAL COMBINATORY ALGEBRAS (Q5015728): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3171268278
@@ Property / OpenAlex ID: W3171268278 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+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 @@
+Q3221960
@@ Property / cites work: Q3221960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+On the existence of extensional partial combinatory algebras
+Normal rank
@@ Property / cites work @@
+Monotone inductive definitions over the continuum
@@ Property / cites work: Monotone inductive definitions over the continuum / rank @@
+Normal rank
@@ Property / cites work @@
+Index sets for \(\Pi^0_1\) classes
@@ Property / cites work: Index sets for \(\Pi^0_1\) classes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4128540
@@ Property / cites work: Q4128540 / rank @@
+Normal rank
@@ Property / cites work @@
+Realizing levels of the hyperarithmetic hierarchy as degree spectra of relations on computable structures
+Normal rank
@@ Property / cites work @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-Order Computability
@@ Property / cites work: Higher-Order Computability / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability and recursive set theory
@@ Property / cites work: Realizability and recursive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Up to equimorphism, hyperarithmetic is recursive
@@ Property / cites work: Up to equimorphism, hyperarithmetic is recursive / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperarithmetical Sets
@@ Property / cites work: Hyperarithmetical Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. The theory of functions and sets of natural numbers
+Normal rank
@@ Property / cites work @@
+A general form of relative recursion
@@ Property / cites work: A general form of relative recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability. An introduction to its categorical side
+Normal rank
@@ Property / cites work @@
+Q5477363
@@ Property / cites work: Q5477363 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive well-orderings
@@ Property / cites work: Recursive well-orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5015728