@misc{indiciae846fb5adbae2,
  title = {MacNeille completion and Buchholz' Omega rule for parameter-free second order logics},
  author = {Kazushige Terui},
  year = {2019},
  url = {https://arxiv.org/abs/1804.11066},
  note = {Source identifier: 1804.11066}
}