Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras (Q3812250)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras
scientific article

    Statements

    Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras (English)
    0 references
    0 references
    1987
    0 references
    0 references
    r.e. extensions of Peano Arithmetic
    0 references
    Hyperhyperdiagonalizable algebras
    0 references
    diagonalization
    0 references
    0 references