The Ordering Principle and Dependent Choice
arXiv:2504.02744 · doi:10.1017/bsl.2025.10130
Abstract
We introduce finite support iterations of symmetric systems, and use them to provide a strongly modernized proof of David Pincus' classical result that the axiom of dependent choice is independent over ZF with the ordering principle together with a failure of the axiom of choice.
17 pages