Results on arithmetical complexity of important sets of formulas of several fuzzy predicate logics are surveyed and some new results are proven.

Franco Montagna, a prominent logician and one of the leaders of the Italian school on Mathematical Logic, passed away on February 18, 2015. We survey some of his results and ideas in the two disciplines he greatly contributed along his career: provability logic and many-valued logic.