Determinacy in second order arithmetic, Foundations of the formal sciences v (0)

by C HEINATSCH, M MÖLLERFELD
Venue:Studies in Logic, College Publications, 2007