The consistency-strength conjecture for ZFR with dependent choice
The consistency-strength conjecture for ZFR with dependent choice
Let denote the set-theoretic theory under discussion, and let denote the principle of dependent choice. Consistency-strength conjecture. The theory has consistency strength strictly greater than that of . This is motivated by the interaction between Berkeley-cardinal principles, failures of dependent choice, and elementary self-embeddings of the universe; the source does not provide a resolution.
Sources & referencesView supporting material
Primary source
Farmer Schlutzenberg, “Reinhardt cardinals and iterates of V”, arXiv:2002.01215 (2020).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.