选择原理等价的最大性与良根性原理的逻辑结构
计算机科学中的逻辑
2024-05-17 v1 逻辑
摘要
我们研究了 Teichm{"u}ller-Tukey 引理的逻辑结构，这是一个等价于选择公理的最大性原理，并展示它对应于更新归纳原则的一般化，这是构造数学中等价于依赖选择公理的良根性原理。从此，我们提出等价于选择公理的各种最大性和良根性原理的通用形式，包括 Zorn 引理的一个变体。我们 initiate 与 Brede 和第一作者给出的选择引理和 bar 归纳原理通用类进行比较。
引用
@article{arxiv.2405.09946,
title = {On the logical structure of some maximality and well-foundedness principles equivalent to choice principles},
author = {Hugo Herbelin},
journal= {arXiv preprint arXiv:2405.09946},
year = {2024}
}