On some generalizations of the primitive recursive arithmetic (Q1885041): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2004.03.067
+Normal rank
@@ Property / OpenAlex ID @@
+W2020893225
@@ Property / OpenAlex ID: W2020893225 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus
+Normal rank
@@ Property / cites work @@
+Q4263838
@@ Property / cites work: Q4263838 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3815289
@@ Property / cites work: Q3815289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586197
@@ Property / cites work: Q5586197 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4149746
@@ Property / cites work: Q4149746 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Consistency and Undecidability of Recursive Arithmetic
+Normal rank