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 182 publications that cite this research output on Dimensions.
Article in Annals of Pure and Applied Logic (July 2024)
Article in Annals of Pure and Applied Logic (July 2024)
Article in Computability (March 2024)