@misc{indiciae94adf340ee93,
  title = {Completions of Kleene's second model},
  author = {Sebastiaan A. Terwijn},
  year = {2025},
  doi = {10.46298/lmcs-21(2:17)2025},
  url = {https://arxiv.org/abs/2312.14656},
  note = {Source identifier: 2312.14656}
}