HDS-37: Barendregt, Henk (2023) Some extensional term models for combinatory logics and Lambda-Calculi. Doctoral thesis, Rijksuniversiteit Utrecht.
Text (Full Text (PDF))
HDS-37-Henk-Barendregt.text.pdf - Published Version Download (9MB) |
|
Text (Full Text (DJVU))
HDS-37-Henk-Barendregt.text.djvu - Published Version Download (6MB) |
|
Text (Errata)
HDS-37-Henk-Barendregt.errata.pdf - Supplemental Material Download (153kB) |
|
Text (Addenda)
HDS-37-Henk-Barendregt.addenda.pdf - Supplemental Material Download (179kB) |
|
Text (Samenvatting)
HDS-37-Henk-Barendregt.samenvatting.txt - Other Download (1kB) |
|
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. |
Subjects: | Logic Mathematics |
Depositing User: | Dr Marco Vervoort |
Date Deposited: | 24 Oct 2023 13:34 |
Last Modified: | 06 Jun 2024 21:35 |
URI: | https://eprints.illc.uva.nl/id/eprint/2277 |
Actions (login required)
View Item |