PP-2004-27: The first order formulas preserved under ultrafilter extensions are not recursively enumerable

PP-2004-27: ten Cate, Balder (2004) The first order formulas preserved under ultrafilter extensions are not recursively enumerable. [Report]

Preview	Text (Full Text) PP-2004-27.text.pdf Download (72kB) \| Preview
	Text (Abstract) PP-2004-27.abstract.txt Download (325B)

Abstract

In this short note, we prove that the first-order formulas preserved
under ultrafilter extensions are not recursively enumerable.

Item Type:	Report
Report Nr:	PP-2004-27
Series Name:	Prepublication (PP) Series
Year:	2004
Uncontrolled Keywords:	modal logic; correspondence theory; ultrafilter extensions
Subjects:	Logic
Date Deposited:	12 Oct 2016 14:36
Last Modified:	12 Oct 2016 14:36
URI:	https://eprints.illc.uva.nl/id/eprint/138

View Item