Non-uniqueness at ω2 in Kleene'sO (Q5586298): Difference between revisions

@@ Property / cites work @@
+The constructivity of maximal dual ideals in certain Boolean algebras
+Normal rank
@@ Property / cites work @@
+Classifications of Recursive Functions by Means of Hierarchies
+Normal rank
@@ Property / cites work @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
+Normal rank
@@ Property / cites work @@
+Q5612467
@@ Property / cites work: Q5612467 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1513219929
@@ Property / OpenAlex ID: W1513219929 / rank @@
+Normal rank