Patterns of resemblance and Bachmann-Howard fixed points (Q2064043): Difference between revisions

@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis
+Normal rank
@@ Property / cites work @@
+Elementary patterns of resemblance
@@ Property / cites work: Elementary patterns of resemblance / rank @@
+Normal rank
@@ Property / cites work @@
+Normal forms for elementary patterns
@@ Property / cites work: Normal forms for elementary patterns / rank @@
+Normal rank
@@ 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 @@
+HOW STRONG ARE SINGLE FIXED POINTS OF NORMAL FUNCTIONS?
+Normal rank
@@ Property / cites work @@
+A note on ordinal exponentiation and derivatives of normal functions
+Normal rank
@@ Property / cites work @@
+Derivatives of normal functions in reverse mathematics
+Normal rank
@@ Property / cites work @@
+Q4111536
@@ Property / cites work: Q4111536 / rank @@
+Normal rank
@@ Property / cites work @@
+Π12-logic, Part 1: Dilators
@@ Property / cites work: Π12-logic, Part 1: Dilators / rank @@
+Normal rank
@@ Property / cites work @@
+Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
+Normal rank
@@ Property / cites work @@
+Q3778746
@@ Property / cites work: Q3778746 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625138
@@ Property / cites work: Q5625138 / rank @@
+Normal rank
@@ Property / cites work @@
+Open Questions in Reverse Mathematics
@@ Property / cites work: Open Questions in Reverse Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-theoretic investigations on Kruskal's theorem
+Normal rank
@@ Property / cites work @@
+Q3960692
@@ Property / cites work: Q3960692 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. 2nd ed
@@ Property / cites work: Proof theory. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity
+Normal rank
@@ Property / cites work @@
+Assignment of ordinals to patterns of resemblance
@@ Property / cites work: Assignment of ordinals to patterns of resemblance / rank @@
+Normal rank
@@ Property / cites work @@
+\(\Sigma _{1}\)-elementarity and Skolem hull operators
+Normal rank
@@ Property / cites work @@
+Pure patterns of order 2
@@ Property / cites work: Pure patterns of order 2 / rank @@
+Normal rank