Universal isols (Q2544611): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+Q5661491
@@ Property / cites work: Q5661491 / rank @@
+Normal rank
@@ Property / cites work @@
+Solution of a problem of R. Friedberg
@@ Property / cites work: Solution of a problem of R. Friedberg / rank @@
+Normal rank
@@ Property / cites work @@
+The uniqueness of finite division for recursive equivalence types
+Normal rank
@@ Property / cites work @@
+Q5721231
@@ Property / cites work: Q5721231 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive equivalence types and combinatorial functions
+Normal rank
@@ Property / cites work @@
+Extensions to isols
@@ Property / cites work: Extensions to isols / rank @@
+Normal rank
@@ Property / cites work @@
+Extensions to isolic integers
@@ Property / cites work: Extensions to isolic integers / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4250996528
@@ Property / OpenAlex ID: W4250996528 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2544611