@misc{indiciae436fd10a9fb8,
  title = {Characterization of the Axiomatizable Prenex Fragments of First-Order Goedel Logics},
  author = {Matthias Baaz and Norbert Preining and Richard Zach},
  year = {2003},
  doi = {10.1109/ismvl.2003.1201403},
  url = {https://arxiv.org/abs/math/0303011},
  note = {Source identifier: math/0303011}
}