Science-advisor.net - Scientific Search Engine and Online Forum

info/FAQ

sitemap

My Science-advisor

Google search

Statistics

Members: 1196
Articles: 1'234'128
Articles rated: 1075

01 December 2008

cs/0609080

Article overview

Solution of a Problem of Barendregt on Sensible lambda-Theories
Benedetto Intrigila ; Richard Statman ;
Date:	14 Sep 2006
Subject:	Logic in Computer Science
Abstract:	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.
Source:	arXiv, cs/0609080
Services:	Article forum \| Review this article \| Full Text PDF \| Add to favorites

No review found.

Did you like this article?

This article or document is ...
important:
of broad interest:
readable:
new:
correct:
Global appreciation:

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.

ScienXe.org
-Online CV for scientists
-Ideal for job applications
-Free
http://scienXe.org

Our service for jobs and open positions in research and science: jobs.myScience.ch

info

feedback

Warning: Unknown: Your script possibly relies on a session side-effect which existed until PHP 4.2.3. Please be advised that the session extension does not consider global variables as a source of data, unless register_globals is enabled. You can disable this functionality and this warning by setting session.bug_compat_42 or session.bug_compat_warn to off, respectively. in Unknown on line 0