For Finitary Induction-Induction, Induction is Enough (Q6079233)

From MaRDI portal
scientific article; zbMATH DE number 7756111
Language Label Description Also known as
English
For Finitary Induction-Induction, Induction is Enough
scientific article; zbMATH DE number 7756111

    Statements

    0 references
    0 references
    0 references
    27 October 2023
    0 references
    type theory
    0 references
    inductive types
    0 references
    inductive-inductive types
    0 references
    For Finitary Induction-Induction, Induction is Enough (English)
    0 references

    Identifiers