PP-2004-27: Balder ten Cate The first order formulas preserved under ultrafilter extensions are not recursively enumerable 1.Full Text, 2.Abstract. < Back
