Exact estimates of the provability of transfinite induction in the initial segments of arithmetic (Q2557248): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 05:49, 3 February 2024

scientific article
Language Label Description Also known as
English
Exact estimates of the provability of transfinite induction in the initial segments of arithmetic
scientific article

    Statements

    Exact estimates of the provability of transfinite induction in the initial segments of arithmetic (English)
    0 references
    0 references
    1973
    0 references

    Identifiers