Typed lambda-calculus in classical Zermelo-Fraenkel set theory (Q5945009)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Typed lambda-calculus in classical Zermelo-Fraenkel set theory |
scientific article; zbMATH DE number 1655895
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7127844095230103
0 references
0.7060678005218506
0 references
0.7043415307998657
0 references
