TY  - RPRT
TI  - Derivatives of normal functions and omega-models
AU  - Toshiyasu Arai
PY  - 2017
UR  - https://arxiv.org/abs/1704.08790
ID  - 1704.08790
ER  -