TY  - RPRT
TI  - MacNeille completion and Buchholz' Omega rule for parameter-free second order logics
AU  - Kazushige Terui
PY  - 2019
UR  - https://arxiv.org/abs/1804.11066
ID  - 1804.11066
ER  -