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.