Descriptive Choice Principles and How to Separate Them
Logic
2023-07-20 v1
Abstract
The axiom of countable choice for reals is one of the most basic fragments of the axiom of choice needed in many parts of mathematics. Descriptive choice principles are a further stratification of this fragment by the descriptive complexity of the sets. In this paper, we provide a separation technique for descriptive choice principles based on Jensen forcing. Our results generalise a theorem by Kanovei.
Cite
@article{arxiv.2307.09837,
title = {Descriptive Choice Principles and How to Separate Them},
author = {Lucas Wansner and Ned J H Wontner},
journal= {arXiv preprint arXiv:2307.09837},
year = {2023}
}
Comments
24 pages, 1 figure, based on work in PhD thesis