TY  - RPRT
TI  - Characterization of the Axiomatizable Prenex Fragments of First-Order Goedel Logics
AU  - Matthias Baaz
AU  - Norbert Preining
AU  - Richard Zach
PY  - 2003
DO  - 10.1109/ismvl.2003.1201403
UR  - https://arxiv.org/abs/math/0303011
ID  - math/0303011
ER  -