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

From MaRDI portal
Revision as of 08:38, 11 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(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
    0 references
    0 references