星高层次结构对比变量层次结构
计算机科学中的逻辑
2009-04-13 v1 计算机科学与博弈论
摘要
星高层次结构（相应地，变量层次结构）通过根据不动点算子的嵌套深度（相应地，根据绑定变量的数量）对μ-项进行分类。我们在某些假设下证明，变量层次结构是星高层次结构的一个真细化。我们的意思是，变量层次结构的不坍塌蕴含星高层次结构的不坍塌。该证明依赖于这两个层次结构的组合刻画。
引用
@article{arxiv.0904.1701,
title = {The Star Height Hierarchy Vs. The Variable Hierarchy},
author = {Walid Belkhir},
journal= {arXiv preprint arXiv:0904.1701},
year = {2009}
}