Ackermann's substitution method (remixed) (Q2503393): Difference between revisions

@@ Property / reviewed by @@
-Grigori Mints
@@ Property / reviewed by: Grigori Mints / rank @@
-Normal rank
@@ Property / reviewed by @@
+Grigori Mints
@@ Property / reviewed by: Grigori Mints / 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.1016/j.apal.2005.09.016
+Normal rank
@@ Property / OpenAlex ID @@
+W2099681375
@@ Property / OpenAlex ID: W2099681375 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Interpretation of Non-Finitist Proofs--Part I
+Normal rank
@@ Property / cites work @@
+Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy
+Normal rank
@@ Property / cites work @@
+Q5611757
@@ Property / cites work: Q5611757 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582304
@@ Property / cites work: Q5582304 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. 2nd ed
@@ Property / cites work: Proof theory. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+The substitution method
@@ Property / cites work: The substitution method / rank @@
+Normal rank
@@ Property / cites work @@
+Q2776806
@@ Property / cites work: Q2776806 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215632
@@ Property / cites work: Q4215632 / rank @@
+Normal rank
@@ Property / cites work @@
+Epsilon substitution method for theories of jump hierarchies
+Normal rank
@@ Property / cites work @@
+Epsilon substitution method for \(\text{ID}_{1}(\Pi_{1}^{0}\vee{\Sigma} _{1}^{0})\)
+Normal rank
@@ Property / cites work @@
+Epsilon substitution method for elementary analysis
+Normal rank
@@ Property / cites work @@
+Q4325774
@@ Property / cites work: Q4325774 / rank @@
+Normal rank
@@ Property / cites work @@
+A termination proof for epsilon substitution using partial derivations
+Normal rank
@@ Property / cites work @@
+Functionals defined by transfinite recursion
@@ Property / cites work: Functionals defined by transfinite recursion / rank @@
+Normal rank
@@ Property / cites work @@
+A Uniform Approach to Fundamental Sequences and Hierarchies
+Normal rank
@@ Property / cites work @@
+The epsilon calculus and Herbrand complexity
@@ Property / cites work: The epsilon calculus and Herbrand complexity / rank @@
+Normal rank
@@ Property / cites work @@
+A classification of the ordinal recursive functions
+Normal rank
@@ Property / cites work @@
+Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
+Normal rank
@@ Property / cites work @@
+Provability algebras and proof-theoretic ordinals. I
+Normal rank