Minimal readability of intuitionistic arithmetic and elementary analysis (Q4876321): 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.2307/2275884
@@ Property / full work available at URL: https://doi.org/10.2307/2275884 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2133713329
@@ Property / OpenAlex ID: W2133713329 / rank @@
+Normal rank
@@ Property / cites work @@
+Rapidly growing Ramsey functions
@@ Property / cites work: Rapidly growing Ramsey functions / rank @@
+Normal rank
@@ Property / cites work @@
+Nested recursion
@@ Property / cites work: Nested recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q5528627
@@ Property / cites work: Q5528627 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3325707
@@ Property / cites work: Q3325707 / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactic translations and provably recursive functions
+Normal rank
@@ Property / cites work @@
+Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy
+Normal rank
@@ Property / cites work @@
+A classification of the ordinal recursive functions
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4876321