Kelley-Morse set theory does not prove the class Fodor principle

Gitman, Victoria, Hamkins, Joel David and Karagila, Asaf (2020) Kelley-Morse set theory does not prove the class Fodor principle. Fundamenta Mathematicae. ISSN 0016-2736 (In Press)

[img]
Preview
PDF (Accepted_Manuscript) - Submitted Version
Download (404kB) | Preview

Abstract

We show that Kelley-Morse set theory does not prove the class Fodor principle, the assertion that every regressive class function F:S→Ord defined on a stationary class S is constant on a stationary subclass. Indeed, it is relatively consistent with KM for any infinite λ with ω≤λ≤Ord that there is a class function F:Ord→λ that is not constant on any stationary class. Strikingly, it is consistent with KM that there is a class A⊆ω×Ord, such that each section An={α∣(n,α)∈A} contains a class club, but ⋂nAn is empty. Consequently, it is relatively consistent with KM that the class club filter is not σ-closed.

Item Type: Article
Faculty \ School: Faculty of Science > School of Mathematics
Related URLs:
Depositing User: LivePure Connector
Date Deposited: 19 Nov 2020 00:47
Last Modified: 20 Jan 2021 00:50
URI: https://ueaeprints.uea.ac.uk/id/eprint/77730
DOI:

Actions (login required)

View Item View Item