A Model-Theoretic Approach to Ordinal Analysis (1997)

Cached

Download Links

by Jeremy Avigad , Richard Sommer
Venue:Bulletin of Symbolic Logic
Citations:11 - 3 self