@misc{indiciae28fff6527bc9,
  title = {AC and the Independence of WO in Second-Order Henkin Logic, Part I},
  author = {Christine Gaßner},
  year = {2024},
  url = {https://arxiv.org/abs/2409.10276},
  note = {Source identifier: 2409.10276}
}