Characterization of the Axiomatizable Prenex Fragments of First-Order Goedel Logics
arXiv:math/0303011 · doi:10.1109/ISMVL.2003.1201403
Abstract
The prenex fragments of first-order infinite-valued Goedel logics are classified. It is shown that the prenex Goedel logics characterized by finite and by uncountable subsets of [0, 1] are axiomatizable, and that the prenex fragments of all countably infinite Goedel logics are not axiomatizable.
6 pages; forthcoming in ISMVL 2003