English

The Ordering Principle and Higher Dependent Choice

Logic 2025-10-20 v2

Abstract

We provide, for any regular uncountable cardinal κ\kappa, a new argument for Pincus' result on the consistency of ZF\mathrm{ZF} with the higher dependent choice principle DC<κ\mathrm{DC}_{<\kappa} and the ordering principle in the presence of a failure of the axiom of choice. We also generalise his methods and obtain these consistency results in a larger class of models.

Keywords

Cite

@article{arxiv.2510.14821,
  title  = {The Ordering Principle and Higher Dependent Choice},
  author = {Peter Holy and Jonathan Schilhan},
  journal= {arXiv preprint arXiv:2510.14821},
  year   = {2025}
}

Comments

13 pages

R2 v1 2026-07-01T06:41:37.947Z