The Ordering Principle and Higher Dependent Choice
Logic
2025-10-20 v2
Abstract
We provide, for any regular uncountable cardinal , a new argument for Pincus' result on the consistency of with the higher dependent choice principle 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