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]

[img]
Preview
Text (Full Text)
PP-2004-27.text.pdf

Download (72kB) | Preview
[img] 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

Actions (login required)

View Item View Item