HDS-37: Some extensional term models for combinatory logics and Lambda-Calculi

HDS-37: Barendregt, Henk (2023) Some extensional term models for combinatory logics and Lambda-Calculi. Doctoral thesis, Rijksuniversiteit Utrecht.

[thumbnail of Full Text (PDF)] Text (Full Text (PDF))
HDS-37-Henk-Barendregt.text.pdf - Published Version
Download (9MB)
[thumbnail of Full Text (DJVU)] Text (Full Text (DJVU))
HDS-37-Henk-Barendregt.text.djvu - Published Version
Download (6MB)
[thumbnail of Errata] Text (Errata)
HDS-37-Henk-Barendregt.errata.pdf - Supplemental Material
Download (153kB)
[thumbnail of Addenda] Text (Addenda)
HDS-37-Henk-Barendregt.addenda.pdf - Supplemental Material
Download (179kB)
[thumbnail of Samenvatting] Text (Samenvatting)
HDS-37-Henk-Barendregt.samenvatting.txt - Other
Download (1kB)
[thumbnail of Extended version (Amazon, 2020)] Text (Extended version (Amazon, 2020))
HDS-37-Henk-Barendregt.amazon-link.html - Other
Download (596B)

Abstract

This thesis is concerned with combinatorial logic, not as a basis for the rest of mathematics, but as a formal system for the study of computational procedures. Chapter I provides an overview and extension of already known material.
In Chapter II, the ω-rule is introduced and, using transfinite induction, it is proven that the extension of combinatorial logic with the ω-rule is consistent. Furthermore, the existence of universal generators is proven. For terms that are not universal generators, the ω rule is a derivative rule.
In Chapter III, a number of other consistency results are proven, yielding several non-elementary equivalent models of combinatorial logic.
Proofs of the above results usually use conservative extensions of combinatorial logic. A new proof technique plays an important role here, namely the underlining method. This method formalizes the concept of residue and thus avoids the otherwise rather cumbersome arguments.

Item Type: Thesis (Doctoral)
Report Nr: HDS-37
Series Name: ILLC Historical Dissertation (HDS) Series
Year: 2023
Additional Information: Originally published: June 1971 (Rijksuniversiteit Utrecht).
Subjects: Logic
Mathematics
Depositing User: Dr Marco Vervoort
Date Deposited: 24 Oct 2023 13:34
Last Modified: 26 Sep 2025 01:07
URI: https://eprints.illc.uva.nl/id/eprint/2277

Actions (login required)

View Item View Item
ILLC Preprints and Publications is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility