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

DOI10.4064/FM725-9-2020zbMATH Open1529.03262arXiv1904.04190MaRDI QIDQ6316902FDOQ6316902

Authors: Victoria Gitman, Joel David Hamkins, Asaf Karagila 

Publication date: 8 April 2019

Abstract: We show that Kelley-Morse set theory does not prove the class Fodor principle, the assertion that every regressive class function $F:SoextOrd$ defined on a stationary class $S$ is constant on a stationary subclass. Indeed, it is relatively consistent with KM for any infinite $lambda$ with $omegaleqlambdaleqextOrd$ that there is a class function $F:extOrdolambda$ that is not constant on any stationary class. Strikingly, it is consistent with KM that there is a class $AsubseteqomegaimesextOrd$, such that each section $A_n=alphamid(n,alpha)inA$ contains a class club, but $$ is empty. Consequently, it is relatively consistent with KM that the class club filter is not $sigma$-closed.

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70) Axiom of choice and related propositions (03E25)

This page was built for publication: Kelley-Morse set theory does not prove the class Fodor principle

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6316902)