A constructive proof of dependent choice in classical arithmetic via memoization
Preprint in arXiv (March 2019)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
Preprint in arXiv (March 2019)
Preprint in arXiv (May 2018)
Conference proceeding (March 2016)