Wellordering proofs for metapredicative Mahlo (0)

Cached

Download Links

by Thomas Strahm
Venue:Journal of Symbolic Logic
Citations:6 - 1 self