文章基本信息
- 标题：Solution of a Problem of Barendregt on Sensible λ-Theories
- 本地全文：下载
- 作者：Benedetto Intrigila ; Richard Statman
- 期刊名称：Logical Methods in Computer Science
- 印刷版ISSN：1860-5974
- 电子版ISSN：1860-5974
- 出版年度：2006
- 卷号：2
- 期号：04
- DOI：10.2168/LMCS-2(4:5)2006
- 出版社：Technical University of Braunschweig
- 摘要：
H is the theory extending β-conversion by identifying all closed
unsolvables. H ω is the closure of this theory under the ω-rule
(and β-conversion). A long-standing conjecture of H. Barendregt states
that the provable equations of H ω form
Π11-complete set. Here we prove that conjecture
