TY  - RPRT
TI  - Non-principal ultrafilters, program extraction and higher order reverse mathematics
AU  - Alexander P. Kreuzer
PY  - 2011
DO  - 10.1142/s021906131250002x
UR  - https://arxiv.org/abs/1109.4277
ID  - 1109.4277
ER  -