Q5101339 (Q5101339): Difference between revisions

@@ Property / cites work @@
+Q5494229
@@ Property / cites work: Q5494229 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3656422
@@ Property / cites work: Q3656422 / rank @@
+Normal rank
@@ Property / cites work @@
+An independence result for \((\Pi^ 1_ 1-CA)+BI\)
@@ Property / cites work: An independence result for \((\Pi^ 1_ 1-CA)+BI\) / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773880
@@ Property / cites work: Q3773880 / rank @@
+Normal rank
@@ Property / cites work @@
+A dual form of Ramsey's theorem
@@ Property / cites work: A dual form of Ramsey's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial functions with exponentiation are well ordered
+Normal rank
@@ Property / cites work @@
+Q3671967
@@ Property / cites work: Q3671967 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773882
@@ Property / cites work: Q3773882 / rank @@
+Normal rank
@@ Property / cites work @@
+A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game
+Normal rank
@@ Property / cites work @@
+On Gödel incompleteness and finite combinatorics
@@ Property / cites work: On Gödel incompleteness and finite combinatorics / rank @@
+Normal rank
@@ Property / cites work @@
+Accessible Independence Results for Peano Arithmetic
+Normal rank
@@ Property / cites work @@
+On the interpretation of non-finitist proofs–Part II
+Normal rank
@@ Property / cites work @@
+Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
+Normal rank
@@ Property / cites work @@
+A concise introduction to mathematical logic
@@ Property / cites work: A concise introduction to mathematical logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3325707
@@ Property / cites work: Q3325707 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-theoretic investigations on Kruskal's theorem
+Normal rank
@@ Property / cites work @@
+Eine Klassifikation der ε<sub>0</sub>‐Rekursiven Funktionen
+Normal rank
@@ Property / cites work @@
+Well-Partial Orderings and their Maximal Order Types
+Normal rank
@@ Property / cites work @@
+Harvey Friedman's research on the foundations of mathematics
+Normal rank
@@ Property / cites work @@
+Q3791148
@@ Property / cites work: Q3791148 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Some rapidly growing functions
@@ Property / cites work: Some rapidly growing functions / rank @@
+Normal rank
@@ Property / cites work @@
+The varieties of arboreal experience
@@ Property / cites work: The varieties of arboreal experience / rank @@
+Normal rank
@@ Property / cites work @@
+A classification of the ordinal recursive functions
+Normal rank
@@ Property / cites work @@
+Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy
+Normal rank
@@ Property / cites work @@
+Q4452853
@@ Property / cites work: Q4452853 / rank @@
+Normal rank