H is the theory extending eta-conversion by identifying all closed unsolvables. Homega is the closure of this theory under the omega-rule (and eta-conversion). A long-standing conjecture of H. Barendregt states that the provable equations of Homega form a Pi_{1}^{1}-complete set. Here we prove that conjecture.
Note: answers to reviews or questions about the article must be posted in the forum section.
Authors are not allowed to review their own article. They can use the forum section.
register
my alerts
cs/0609080
Did you like this article? 