Classifying positive equivalence relations (Q3309827): 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/2273443
@@ Property / full work available at URL: https://doi.org/10.2307/2273443 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2068423429
@@ Property / OpenAlex ID: W2068423429 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorie der Numerierungen I
@@ Property / cites work: Theorie der Numerierungen I / rank @@
+Normal rank
@@ Property / cites work @@
+Creative Functions
@@ Property / cites work: Creative Functions / rank @@
+Normal rank
@@ Property / cites work @@
+On the relation provable equivalence and on partitions in effectively inseparable sets
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively enumerable classes and their application to recursive sequences of formal theories
+Normal rank
@@ Property / cites work @@
+Creative sets
@@ Property / cites work: Creative sets / rank @@
+Normal rank