Research articles

search articles

My Pages

Stat

Members: 3645
Articles: 2'501'711
Articles rated: 2609

19 April 2024

» arxiv » 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:	Forum \| Review \| PDF \| 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.

browser Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)

ScienXe.org
» my Online CV
» Free

News, job offers and information for researchers and scientists:

home

contact

sitemap