On principles between ∑1- and ∑2-induction, and monotone enumerations
Kreuzer, Alexander P., Yokoyama, KeitaVolume:
16
Language:
english
Journal:
Journal of Mathematical Logic
DOI:
10.1142/S0219061316500045
Date:
June, 2016
File:
PDF, 348 KB
english, 2016