Classifying Phase Transition Thresholds for Goodstein Sequences and Hydra Games (Q5361258)

From MaRDI portal
scientific article; zbMATH DE number 6781294
Language Label Description Also known as
English
Classifying Phase Transition Thresholds for Goodstein Sequences and Hydra Games
scientific article; zbMATH DE number 6781294

    Statements

    Classifying Phase Transition Thresholds for Goodstein Sequences and Hydra Games (English)
    0 references
    0 references
    0 references
    27 September 2017
    0 references
    independence results
    0 references
    Goodstein sequences
    0 references
    hydras
    0 references
    provably recursive functions
    0 references
    Peano arithmetic
    0 references
    Hardy functions
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references