Admissible extensions of subtheories of second order arithmetic
Article in Annals of Pure and Applied Logic (July 2024)
The most recent citing publications are shown below. View all 332 publications that cite this research output on Dimensions.
Article in Annals of Pure and Applied Logic (July 2024)
Article in Studia Logica (March 2024)
Article in Mathematical Logic Quarterly (December 2023)