Characterizations of ordinal analysis

James Walsh 0007. Characterizations of ordinal analysis. Annals of Pure and Applied Logic, 174(4):103230, April 2023. [doi]

Bibliographies