Solution of a problem of R. Friedberg (Q2625891): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Retraceable Sets
@@ Property / cites work: Retraceable Sets / rank @@
+Normal rank
@@ Property / cites work @@
+The uniqueness of finite division for recursive equivalence types
+Normal rank
@@ Property / cites work @@
+Recursive equivalence types and combinatorial functions
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2625891