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

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Import241208061232 (talk | contribs)
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1007/s00153-018-0612-9 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1007/S00153-018-0612-9 / rank
 
Normal rank

Latest revision as of 08:38, 11 December 2024

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