良拟序与层次结构理论
计算机科学中的逻辑
2018-09-11 v1
摘要
我们讨论良拟序(WQO)在若干以层次结构与可归约性为主要分类工具的领域的应用,特别是描述集合论、可计算性理论与自动机理论。虽然经典的集合层次结构通常退化为非常接近序数的结构,但将其推广到函数需要更复杂的良拟序,可归约性亦如此。我们综述迄今取得的一些结果,并讨论开放问题与可能的研究方向。
引用
@article{arxiv.1809.02941,
title = {Well Quasiorders and Hierarchy Theory},
author = {Victor Selivanov},
journal= {arXiv preprint arXiv:1809.02941},
year = {2018}
}
备注
37 pages