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.
No message found in this article forum.
You have a question or message about this article?
Ask the community and write a message in the forum. If you want to rate this article, please use the review section..
To add a message in the forum, you need to login or register first. (free): registration page
REGISTER
my alerts
939350
You have a question or message about this article?
Ask the community and write a message in the forum.