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

Cached

Download Links

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