树类中的均匀化、选择函数与良序
逻辑
2009-09-25 v1
摘要
树的单子二阶理论允许对元素及任意子集进行量化。我们依据如下问题对树类进行分类:树 T 是否具有可定义的选择函数(由带参数的单子公式给出)?出现了一种自然的二分法:第一类中的树没有可定义的选择函数,而第二类中的树甚至具有其元素的可定义良序。这与均匀化问题有密切关联。
引用
@article{arxiv.math/9404227,
title = {Uniformization, choice functions and well orders in the class of trees},
author = {Shmuel Lifsches and Saharon Shelah},
journal= {arXiv preprint arXiv:math/9404227},
year = {2009}
}