Well-orders in the transfinite Japaridze algebra (Q4644499)

From MaRDI portal
Revision as of 17:16, 7 February 2024 by Daniel (talk | contribs) (‎Created claim: Wikidata QID (P12): Q58883287, #quickstatements; #temporary_batch_1707303357582)
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