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

DOI10.4064/fm725-9-2020OpenAlexW2934427250MaRDI QIDQ5162572

Victoria Gitman, Joel David Hamkins, Asaf Karagila

Publication date: 3 November 2021

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1904.04190

zbMATH Keywords

class forcingFodor's lemmaKelley-Morse set theory

Mathematics Subject Classification ID

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

Related Items (2)

VARIETIES OF CLASS-THEORETIC POTENTIALISM ⋮ A model of the generic Vopěnka principle in which the ordinals are not Mahlo

Cites Work

• Unnamed Item
• Fine structure and class forcing
• Fodor's lemma can fail everywhere
• Characterizations of pretameness and the Ord-cc
• Verallgemeinerung eines Satzes von Alexandroff und Urysohn
• What is the theory without power set?
• Class Forcing in Class Theory
• How to have more things by forgetting how to count them
• Open determinacy for class games
• THE EXACT STRENGTH OF THE CLASS FORCING THEOREM

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