Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and normal form theorems (Q1004086)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and normal form theorems
scientific article

    Statements

    Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and normal form theorems (English)
    0 references
    0 references
    2 March 2009
    0 references
    transfinite computation
    0 references
    computation on the reals
    0 references
    constructibility theory
    0 references
    admissibility
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers