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

From MaRDI portal
Revision as of 21:21, 26 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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