Sep 14, 2006 · Title:Solution of a Problem of Barendregt on Sensible lambda-Theories. Authors:Benedetto Intrigila, Richard Statman. View a PDF of the paper ...
H is the theory extending β-conversion by identifying all closed unsolvables. Hω is the closure of this theory under the ω-rule (and β-conversion).
Solution of a Problem of Barendregt on Sensible lambda-Theories ... Abstract. <i>H</i> is the theory extending β-conversion by identifying all closed ...
Introduction. There is a strong need to make theorem provers such as COQ or ISABELL/HOL more and more powerful (see e.g. [3], [2], [1]).
H is the theory extending β-conversion by identifying all closed unsolvables. Hω is the closure of this theory under the ω-rule A long-standing conjecture ...
Solution of a Problem of Barendregt on Sensible lambda-Theories. by: Benedetto Intrigila; Richard Statman. Publication date: 2006-10-18. Collection: arxiv ...
Intrigila, B., Statman, R.: Solution of a Problem of Barendregt on Sensible λ-Theories. Logical Methods in Computer Science, 2(4) (2006). Google Scholar.
Volume 5, Issue 2 · Solution of a Problem of Barendregt on Sensible lambda-Theories · Benedetto Intrigila ; Richard Statman. <i>H</i> is the theory extending ...
tion relates to the longstanding open problem proposed by Barendregt about the existence of a continuous model or, more generally, of a non-syntactical model of.
Missing: Solution | Show results with:Solution
This solves in the affirmative a well known problem of H. Barendregt. The technique of proof has interest in itself and can be extended to prove that the theory ...