Encodability of Kleene's <i>O</i> (Q4404868): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2273040
@@ Property / full work available at URL: https://doi.org/10.2307/2273040 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2112673210
@@ Property / OpenAlex ID: W2112673210 / rank @@
+Normal rank
@@ Property / cites work @@
+Sets with no subset of higher degree
@@ Property / cites work: Sets with no subset of higher degree / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Class groups of integral group rings
@@ Property / cites work: Class groups of integral group rings / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of members of \(\Pi_ 1^ 0\) classes
@@ Property / cites work: Degrees of members of \(\Pi_ 1^ 0\) classes / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive transfinite number classes
@@ Property / cites work: Constructive transfinite number classes / rank @@
+Normal rank