- Elementary patterns of resemblance.Timothy J. Carlson - 2001 - Annals of Pure and Applied Logic 108 (1-3):19-77.details
|
|
Does mathematics need new axioms.Solomon Feferman, Harvey M. Friedman, Penelope Maddy & John R. Steel - 1999 - Bulletin of Symbolic Logic 6 (4):401-446.details
|
|
Combinatory logic with polymorphic types.William R. Stirton - 2022 - Archive for Mathematical Logic 61 (3):317-343.details
|
|
Relativized ordinal analysis: The case of Power Kripke–Platek set theory.Michael Rathjen - 2014 - Annals of Pure and Applied Logic 165 (1):316-339.details
|
|
An ordinal analysis of parameter free Π12-comprehension.Michael Rathjen - 2005 - Archive for Mathematical Logic 44 (3):263-362.details
|
|
An ordinal analysis of stability.Michael Rathjen - 2005 - Archive for Mathematical Logic 44 (1):1-62.details
|
|
Does reductive proof theory have a viable rationale?Solomon Feferman - 2000 - Erkenntnis 53 (1-2):63-96.details
|
|
Presentation to the panel, “does mathematics need new axioms?” Asl 2000 meeting, urbana il, June 5, 2000.Solomon Feferman - unknowndetails
|
|
Mathematical proof theory in the light of ordinal analysis.Reinhard Kahle - 2002 - Synthese 133 (1/2):237 - 255.details
|
|
Reverse mathematics of mf spaces.Carl Mummert - 2006 - Journal of Mathematical Logic 6 (2):203-232.details
|
|
Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results.Andreas Weiermann - 2005 - Annals of Pure and Applied Logic 136 (1):189-218.details
|
|
Three conceptual problems that bug me (7th Scandinavian Logic Symposium, Uppsala lecture, Aug.18-20, 1996 Draft).Solomon Feferman - unknowndetails
|
|
Huge reflection.Joan Bagaria & Philipp Lücke - 2023 - Annals of Pure and Applied Logic 174 (1):103171.details
|
|
Epsilon substitution for $$\textit{ID}_1$$ ID 1 via cut-elimination.Henry Towsner - 2018 - Archive for Mathematical Logic 57 (5-6):497-531.details
|
|
Proof Theory as an Analysis of Impredicativity( New Developments in Logic: Proof-Theoretic Ordinals and Set-Theoretic Ordinals).Ryota Akiyoshi - 2012 - Journal of the Japan Association for Philosophy of Science 39 (2):93-107.details
|
|
Ordinal analysis by transformations.Henry Towsner - 2009 - Annals of Pure and Applied Logic 157 (2-3):269-280.details
|
|
A Buchholz Derivation System for the Ordinal Analysis of KP + Π₃-Reflection.Markus Michelbrink - 2006 - Journal of Symbolic Logic 71 (4):1237 - 1283.details
|
|
Elementary patterns of resemblance.Timothy Carlson - 2001 - Annals of Pure and Applied Logic 108 (1-3):19-77.details
|
|
A Sneak Preview of Proof Theory of Ordinals.Toshiyasu Arai - 2012 - Annals of the Japan Association for Philosophy of Science 20:29-47.details
|
|
Reading Gentzen's Three Consistency Proofs Uniformly.Ryota Akiyoshi & Yuta Takahashi - 2013 - Journal of the Japan Association for Philosophy of Science 41 (1):1-22.details
|
|