Transfinite expansions of arithmetic formulas (Q1254249): Difference between revisions

@@ Property / cites work @@
+Q4109656
@@ Property / cites work: Q4109656 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4071217
@@ Property / cites work: Q4071217 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5525322
@@ Property / cites work: Q5525322 / rank @@
+Normal rank
@@ Property / cites work @@
+Functionals defined by transfinite recursion
@@ Property / cites work: Functionals defined by transfinite recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank