@misc{indiciae60be26e6df2f,
  title = {Goedel logics: Prenex fragments},
  author = {Matthias Baaz and Mariami Gamsakhurdia},
  year = {2024},
  url = {https://arxiv.org/abs/2407.16683},
  note = {Source identifier: 2407.16683}
}