Ordinal notations and well-orderings in bounded arithmetic (Q1861331): Difference between revisions

@@ Property / author @@
-Chris Pollett
@@ Property / author: Chris Pollett / rank @@
-Normal rank
@@ Property / author @@
+Chris Pollett
@@ Property / author: Chris Pollett / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691043
@@ Property / cites work: Q5691043 / rank @@
+Normal rank
@@ Property / cites work @@
+Notations for exponentiation.
@@ Property / cites work: Notations for exponentiation. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3476809
@@ Property / cites work: Q3476809 / rank @@
+Normal rank
@@ Property / cites work @@
+An Application of Boolean Complexity to Separation Problems in Bounded Arithmetic
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis
@@ Property / cites work: Systems of predicative analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis, II: Representations of ordinals
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+How easy is local search?
@@ Property / cites work: How easy is local search? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856172
@@ Property / cites work: Q4856172 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. An introduction
@@ Property / cites work: Proof theory. An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143279
@@ Property / cites work: Q4143279 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3140643
@@ Property / cites work: Q3140643 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1861331