Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory (0)

by Gerhard Jäger , Thomas Strahm
Venue:Journal of Symbolic Logic
Citations:22 - 14 self