Well-orders in the transfinite Japaridze algebra (Q4644499)

From MaRDI portal
Revision as of 07:21, 13 November 2024 by Daniel (talk | contribs) (‎Created claim: DBLP publication ID (P1635): journals/igpl/DuqueJ14, #quickstatements; #temporary_batch_1731475607626)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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