Some results on extensionality in lambda calculus

Annals of Pure and Applied Logic 132 (2-3):109-125 (2005)
  Copy   BIBTEX

Abstract

In this paper we consider the problem of the existence of a λ-theory T such that:–T is recursive enumerable;–the ω-rule holds in T .We solve affirmatively this problem.Some related questions are also discussed

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,429

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Topological Representation of the Lambda-Calculus.Steve Awodey - 2000 - Mathematical Structures in Computer Science 10 (1):81-96.
Lambda‐Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Mathematical Logic Quarterly 26 (19‐21):289-310.
$Lambdamu$-Calculus and Bohm's Theorem.Rene David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
Recursion Theory and the Lambda-Calculus.Robert E. Byerly - 1982 - Journal of Symbolic Logic 47 (1):67-83.
Lambda Calculus with Types.H. P. Barendregt - 2013 - Cambridge University Press.
Some Results on Numeral Systems in $\lambda$ -Calculus.Benedetto Intrigila - 1994 - Notre Dame Journal of Formal Logic 35 (4):523-541.
Typed Lambda Calculus.Henk P. Barendregt, Wil Dekkers & Richard Statman - 1977 - In Jon Barwise & H. Jerome Keisler (eds.), Handbook of Mathematical Logic. North-Holland Pub. Co.. pp. 1091--1132.
The Abstract Variable-Binding Calculus.Don Pigozzi & Antonino Salibra - 1995 - Studia Logica 55 (1):129 - 179.
Russell's 1903 - 1905 Anticipation of the Lambda Calculus.Kevin Klement - 2003 - History and Philosophy of Logic 24 (1):15-37.

Analytics

Added to PP
2014-01-16

Downloads
10 (#881,816)

6 months
1 (#416,470)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Remarks on Applicative Theories.Andrea Cantini - 2005 - Annals of Pure and Applied Logic 136 (1-2):91-115.

Add more citations

References found in this work

Implication and Analysis in Classical Frege Structures.Robert C. Flagg & John Myhill - 1987 - Annals of Pure and Applied Logic 34 (1):33-85.

Add more references