Well-orders in the transfinite Japaridze algebra (Q4644499)

From MaRDI portal
Revision as of 19:32, 19 April 2024 by Importer (talk | contribs) (‎Changed an Item)
scientific article; zbMATH DE number 6997885
Language Label Description Also known as
English
Well-orders in the transfinite Japaridze algebra
scientific article; zbMATH DE number 6997885

    Statements

    Well-orders in the transfinite Japaridze algebra (English)
    0 references
    0 references
    0 references
    8 January 2019
    0 references
    provability logics
    0 references
    ordinal notations
    0 references
    Japaridze algebra
    0 references
    reflection calculus
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references