The relative consistency conjecture for Baire's grand theorem with dependent choice

The principles GBT+DC\mathsf{GBT+DC} and ZF\mathsf{ZF} are considered as set-theoretic theories, where GBT\mathsf{GBT} denotes Baire's grand theorem and DC\mathsf{DC} denotes the axiom of dependent choices. The relative consistency conjecture. GBT+DC\mathsf{GBT+DC} is consistent relative to ZF\mathsf{ZF}. The paper explains that the consistency strength of GBT\mathsf{GBT} together with DC\mathsf{DC} is unknown, while WHSP\mathsf{WHSP} appears weak enough to be consistent relative to ZF\mathsf{ZF} 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

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.