The relative consistency conjecture for Baire's grand theorem with dependent choice
The relative consistency conjecture for Baire's grand theorem with dependent choice
The principles and are considered as set-theoretic theories, where denotes Baire's grand theorem and denotes the axiom of dependent choices. The relative consistency conjecture. is consistent relative to . The paper explains that the consistency strength of together with is unknown, while appears weak enough to be consistent relative to without large cardinals; this motivates the conjecture.
Sources & referencesView supporting material
Primary source
Lorenzo Notaro, “A game for Baire's grand theorem”, arXiv:2301.11805 (2024).
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.