Well-Ordering Principles in Proof Theory and Reverse Mathematics
Book chapter (September 2022)
The most recent citing publications are shown below. View all 90 publications that cite this research output on Dimensions.
Book chapter (September 2022)
Article in Journal of Symbolic Logic (September 2022)
Article in Annals of Pure and Applied Logic (May 2022)