Kelley–Morse set theory does not prove the class Fodor principle
From MaRDI portal
Publication:5162572
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
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