Independence of the induction principle and the axiom of choice in the pure calculus of constructions (Q1199547): Difference between revisions

From MaRDI portal
Created claim: Wikidata QID (P12): Q114683722, #quickstatements; #temporary_batch_1706326753173
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 05:52, 31 January 2024

scientific article
Language Label Description Also known as
English
Independence of the induction principle and the axiom of choice in the pure calculus of constructions
scientific article

    Statements

    Independence of the induction principle and the axiom of choice in the pure calculus of constructions (English)
    0 references
    0 references
    16 January 1993
    0 references
    polymorphically typed lambda calculus
    0 references
    calculus of constructions
    0 references
    induction principle over data types
    0 references
    second-order quantification
    0 references
    axiom of choice
    0 references
    proof by contradiction
    0 references

    Identifiers