Nonrecursive combinatorial functions (Q5668793): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2307/2272550
@@ Property / full work available at URL: https://doi.org/10.2307/2272550 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2137494027
@@ Property / OpenAlex ID: W2137494027 / rank @@
+Normal rank
@@ 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