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
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references