WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY (Q5159496): Difference between revisions

@@ Property / cites work @@
+\(\Pi_1^1\)-comprehension as a well-ordering principle
+Normal rank
@@ Property / cites work @@
+A categorical construction of Bachmann–Howard fixed points
+Normal rank
@@ Property / cites work @@
+Computable aspects of the Bachmann–Howard principle
+Normal rank
@@ Property / cites work @@
+A note on ordinal exponentiation and derivatives of normal functions
+Normal rank
@@ Property / cites work @@
+From Kruskal’s theorem to Friedman’s gap condition
+Normal rank
@@ Property / cites work @@
+HOW STRONG ARE SINGLE FIXED POINTS OF NORMAL FUNCTIONS?
+Normal rank
@@ Property / cites work @@
+What is effective transfinite recursion in reverse mathematics?
+Normal rank
@@ Property / cites work @@
+Derivatives of normal functions in reverse mathematics
+Normal rank
@@ Property / cites work @@
+Π12-logic, Part 1: Dilators
@@ Property / cites work: Π12-logic, Part 1: Dilators / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773876
@@ Property / cites work: Q3773876 / rank @@
+Normal rank
@@ Property / cites work @@
+Set recursion and \(\Pi ^ 1_ 2\)-logic
@@ Property / cites work: Set recursion and \(\Pi ^ 1_ 2\)-logic / rank @@
+Normal rank
@@ Property / cites work @@
+Embeddability of ptykes
@@ Property / cites work: Embeddability of ptykes / rank @@
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and ordinal exponentiation
@@ Property / cites work: Reverse mathematics and ordinal exponentiation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+The Veblen functions for computability theorists
@@ Property / cites work: The Veblen functions for computability theorists / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734436
@@ Property / cites work: Q5734436 / rank @@
+Normal rank
@@ Property / cites work @@
+An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension
+Normal rank
@@ Property / cites work @@
+Q3464624
@@ Property / cites work: Q3464624 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension
+Normal rank
@@ Property / cites work @@
+Well-Ordering Principles and Bar Induction
@@ Property / cites work: Well-Ordering Principles and Bar Induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2906572
@@ Property / cites work: Q2906572 / rank @@
+Normal rank
@@ Property / cites work @@
+Harvey Friedman's research on the foundations of mathematics
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank