TY  - RPRT
TI  - On principles between $Σ_1$- and $Σ_2$-induction, and monotone enumerations
AU  - Alexander P. Kreuzer
AU  - Keita Yokoyama
PY  - 2015
UR  - https://arxiv.org/abs/1306.1936
ID  - 1306.1936
ER  -