The first order formulas preserved under ultrafilter extensions are not recursively enumerable Balder ten Cate Abstract: In this short note, we prove that the first-order formulas preserved under ultrafilter extensions are not recursively enumerable. Keywords: modal logic; correspondence theory; ultrafilter extensions