Borel bqo 值函数的类 Wadge 度
逻辑
2019-09-25 v1 计算机科学中的逻辑
摘要
我们统一了 Wadge 理论的两个著名推广。第一个考虑比经典情形中连续函数更一般的归约函数，第二个将 Wadge 可归约性从集合（即 {0,1} 值函数）扩展到 Q 值函数，其中 Q 为良拟序（better quasiorder）。在本文中，我们考虑 Q 值函数上更一般的归约，并在第一方向上推广 L. Motto Ros 的某些结果，在第二方向上推广 T. Kihara 与 A. Montalbán 的某些结果：我们的主要结果表明，Δ^0_α-可测 Q 值函数的 Δ^0_α-度结构同构于 Δ^0_β-可测 Q 值函数的 Δ^0_β-度结构，且这些均同构于第 γ 次迭代 Q-标记林上的广义同态序。
引用
@article{arxiv.1909.10835,
title = {Wadge-like degrees of Borel bqo-valued functions},
author = {Takayuki Kihara and Victor Selivanov},
journal= {arXiv preprint arXiv:1909.10835},
year = {2019}
}