The choiceless cardinals are inconsistent
Logic
2020-10-09 v5
Authors:
Rupert McCallum
Abstract
We give a proof of the Kunen inconsistency in ZF.
Cite
@article{arxiv.1712.09678,
title = {The choiceless cardinals are inconsistent},
author = {Rupert McCallum},
journal= {arXiv preprint arXiv:1712.09678},
year = {2020}
}
Comments
There is a flaw in the proof of the first lemma
Related papers
View all related →
Logic · Mathematics
Even ordinals and the Kunen inconsistency
Gabriel Goldberg
2021-02-19
Logic · Mathematics
Inconsistency of inaccessibility
A. Kiselev
2011-10-18
Logic in Computer Science · Computer Science
Inconsistency of the Zermelo-Fraenkel set theory with the axiom of choice and its effects on the computational complexity
Minseong Kim
2017-01-03
Logic · Mathematics
Choiceless cardinals and the continuum problem
Gabriel Goldberg
2022-01-28
Logic · Mathematics
Appendix to "Inconsistency of Inaccessibility"
A. Kiselev
2011-10-21
Logic · Mathematics
After all, there are some inequalities which are provable in ZFC
Tomek Bartoszyński, Andrzej Rosłanowski, Saharon Shelah
2013-01-03
Logic · Mathematics
Consequences of arithmetic for set theory
Lorenz Halbeisen, Saharon Shelah
2016-09-06
Logic · Mathematics
Infinite Combinatorics revisited in the absence of Axiom of Choice
Tamás Csernák, Lajos Soukup
2023-06-13
Logic · Mathematics
Two results on cardinal invariants at uncountable cardinals
Dilip Raghavan, Saharon Shelah
2018-01-30
Logic in Computer Science · Computer Science
Two Fuzzy Logic Programming Paradoxes Imply Continuum Hypothesis="False" & Axiom of Choice="False" Imply ZFC is Inconsistent
Rafee Ebrahim Kamouna
2009-03-20
Logic · Mathematics
Some mutually inconsistent generic large cardinals
Monroe Eskew
2019-01-07
Logic · Mathematics
On the verge of inconsistency: Magidor cardinals and Magidor filters
Shimon Garti, Yair Hayut, Saharon Shelah
2017-06-30
Logic · Mathematics
A choice-free cardinal equality
Guozhen Shen
2021-11-02
Logic · Mathematics
The Ordering Principle and Higher Dependent Choice
Peter Holy, Jonathan Schilhan
2025-10-20
Logic · Mathematics
Inconsistency of Reinhardt cardinals with $\mathsf{ZF}$
Rupert McCallum
2026-02-13
Logic · Mathematics
Splitting, Bounding, and Almost Disjointness can be quite Different
Vera Fischer, Diego A. Mejía
2019-08-15
Logic · Mathematics
Lifting proof theory to the countable ordinals II: second-order indescribable cardinals
Toshiyasu Arai
2014-09-09
Logic · Mathematics
The failure of square at all uncountable cardinals is weaker than a Woodin limit of Woodin cardinals
Douglas Blue, Paul Larson, Grigor Sargsyan
2026-02-16
Logic · Mathematics
Large cardinals, structural reflection, and the HOD Conjecture
Juan P. Aguilera, Joan Bagaria, Philipp Lücke
2025-09-17
Logic · Mathematics
A Framework for Forcing Constructions at Successors of Singular Cardinals
James Cummings, Mirna Džamonja, Menachem Magidor, Charles Morgan +1
2016-05-23
Logic · Mathematics
A consistency theorem for cardinal sequences of length $< \omega_3$
Juan Carlos Martínez, Lajos Soukup
2025-12-02
Logic · Mathematics
All uncountable regular cardinals can be inaccessible in HOD
Mohammad Golshani
2016-08-03
Logic · Mathematics
A Note on Singular Cardinals in Set Theory Without Choice
Denis I. Saveliev
2007-09-18
Logic · Mathematics
A strong polarized relation
Shimon Garti, Saharon Shelah
2018-04-26
Logic · Mathematics
A Note on a Theorem of Apter
Rahman Mohammadpour, Otto Rajala, Sebastiano Thei
2026-03-11