No label defined (Q3998383)

From MaRDI portal
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    0 references
    17 September 1992
    0 references
    Gentzen's transfinite version of the Pythagorean thesis
    0 references
    logical complexity
    0 references
    Pythagorean numerology
    0 references
    functional interpretations
    0 references
    \(\omega \) -consistency
    0 references
    \((\Pi _ 2\)-formulae
    0 references
    bounding functions
    0 references

    Identifiers