Generalizations of the Kruskal-Friedman theorems (Q3491541): Difference between revisions

@@ Property / author @@
-L. N. Gordeev
@@ Property / author: L. N. Gordeev / rank @@
-Normal rank
@@ Property / author @@
+L. N. Gordeev
@@ Property / author: L. N. Gordeev / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2274960
@@ Property / full work available at URL: https://doi.org/10.2307/2274960 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2169416686
@@ Property / OpenAlex ID: W2169416686 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
+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 @@
+A new system of proof-theoretic ordinal functions
@@ Property / cites work: A new system of proof-theoretic ordinal functions / rank @@
+Normal rank
@@ Property / cites work @@
+Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
+Normal rank
@@ Property / cites work @@
+Proof-theoretical analysis: Weak systems of functions and classes
+Normal rank
@@ Property / cites work @@
+A simple relationship between Buchholz's new system of ordinal notations and Takeuti's system of ordinal diagrams
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3491541