基数特征的可计算类比:预测与重排
逻辑
2020-08-13 v3
摘要
最近有多个团队致力于提取与连续统基数不变量相关的性质,并将这些性质转化为计算预言机类似的组合性质。每种性质在 Turing 度中产生一个高度概念。本文研究了由 evasion 数及其对偶 prediction 数的转化,以及两种版本的 rearrangement 数所产生的高度概念。经过适当转化,这些概念产生了四种新的高度概念。我们将定义这些新概念,展示它们的一些基本性质,并将它们置于 Cicho\'n 图的可计算性理论版本中。
引用
@article{arxiv.1706.07987,
title = {Computable analogs of cardinal characteristics: Prediction and Rearrangement},
author = {Iván Ongay-Valverde and Paul Tveite},
journal= {arXiv preprint arXiv:1706.07987},
year = {2020}
}
备注
33 pages, 6 figures, thesis chapter