A Model-Theoretic Approach to Ordinal Analysis (Q4338039): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2152101391
@@ Property / OpenAlex ID: W2152101391 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3325707
@@ Property / cites work: Q3325707 / rank @@
+Normal rank
@@ Property / cites work @@
+On the relationship between <i>ATR</i><sub>0</sub> and
+Normal rank
@@ Property / cites work @@
+A classification of the ordinal recursive functions
+Normal rank
@@ Property / cites work @@
+Formalizing forcing arguments in subsystems of second-order arithmetic
+Normal rank
@@ Property / cites work @@
+Transfinite induction within Peano arithmetic
@@ Property / cites work: Transfinite induction within Peano arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Subsystems of true arithmetic and hierarchies of functions
+Normal rank
@@ Property / cites work @@
+Inductive full satisfaction classes
@@ Property / cites work: Inductive full satisfaction classes / rank @@
+Normal rank
@@ Property / cites work @@
+Rapidly growing Ramsey functions
@@ Property / cites work: Rapidly growing Ramsey functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+On the strength of König's duality theorem for countable bipartite graphs
+Normal rank
@@ Property / cites work @@
+Proof theory of reflection
@@ Property / cites work: Proof theory of reflection / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4338039