Additive relations among recursive equivalence types (Q2530548): 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 @@
+Recursive equivalence types and combinatorial functions
+Normal rank
@@ Property / cites work @@
+The Normal Coordinate Transformation of a Linear System with an Arbitrary Loss Function
+Normal rank
@@ Property / cites work @@
+Elementary properties of the group of isolic integers
+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 / cites work @@
+Combinatorial series and recursive equivalence types
+Normal rank