Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice (Q1756495)

From MaRDI portal
Revision as of 18:50, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice
scientific article

    Statements

    Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    14 January 2019
    0 references
    realizability
    0 references
    type theory
    0 references
    formal Church's thesis
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references