Well-orders in the transfinite Japaridze algebra (Q4644499)

From MaRDI portal
Revision as of 16:08, 7 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI 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