Universal isols (Q2544611): Difference between revisions

@@ 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