Recursive Functions Over Well Ordered Partial Orderings (Q3272473): Difference between revisions

@@ label / en / label / en @@
+Recursive Functions Over Well Ordered Partial Orderings
@@ 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/2033606
@@ Property / full work available at URL: https://doi.org/10.2307/2033606 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4235296751
@@ Property / OpenAlex ID: W4235296751 / rank @@
+Normal rank
@@ Property / title @@
+Recursive Functions Over Well Ordered Partial Orderings (English)
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Creative sets
@@ Property / cites work: Creative sets / rank @@
+Normal rank
@@ Property / cites work @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical Predicates and Function Quantifiers
@@ Property / cites work: Arithmetical Predicates and Function Quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive well-orderings
@@ Property / cites work: Recursive well-orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of number-theoretic predicates
@@ Property / cites work: Hierarchies of number-theoretic predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Grundlagen einer allgemeinen Theorie der mathematischen Satzsysteme
+Normal rank