摘要：集合论的可分层公式集合以通常的一阶公式语法形成一种形式语言。我们展示了这种语言以及其补集都不是上下文无关的。然而，在稍微丰富的句法系统中，我们可以考虑一组在 $alpha$-等价性下完整的可分层公式的子集， 并且证明这个集合是上下文无关的。
作者：Calliope Ryan-Smith
论文ID：2304.10291
分类：Logic
分类简称：math.LO
提交时间：2023-08-24
PDF 下载： 英文版 中文版pdf翻译中