Typed lambda-calculus in classical Zermelo-Fraenkel set theory (Q5945009)
From MaRDI portal
scientific article; zbMATH DE number 1655895
Language | Label | Description | Also known as |
---|---|---|---|
English | Typed lambda-calculus in classical Zermelo-Fraenkel set theory |
scientific article; zbMATH DE number 1655895 |
Statements
Typed lambda-calculus in classical Zermelo-Fraenkel set theory (English)
0 references
18 July 2002
0 references
In this paper the author introduces ``\(\text{ZF}_\varepsilon\) set theory'' which, he claims, includes all of ZF + AF. However, his proof of the substitutivity for equality is not complete, so it is not clear whether his claim is justified. He then develops \(\text{ZF}_\varepsilon\) set theory within a classical extension of lambda calculus.
0 references
lambda calculus
0 references
set theory
0 references