Nonrecursive combinatorial functions (Q5668793): Difference between revisions

@@ Property / cites work @@
+Extensions to isols
@@ Property / cites work: Extensions to isols / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive equivalence types and combinatorial functions
+Normal rank
@@ Property / cites work @@
+Diophantine correct non-standard models in the isols
+Normal rank
@@ Property / cites work @@
+Universal isols
@@ Property / cites work: Universal isols / rank @@
+Normal rank
@@ Property / cites work @@
+Retraceable Sets
@@ Property / cites work: Retraceable Sets / rank @@
+Normal rank