The index set of Boolean algebras autostable relative to strong constructivizations (Q498225)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The index set of Boolean algebras autostable relative to strong constructivizations
scientific article

    Statements

    The index set of Boolean algebras autostable relative to strong constructivizations (English)
    0 references
    28 September 2015
    0 references
    computable model
    0 references
    strongly constructivizable model
    0 references
    autostability
    0 references
    autostability relative to strong constructivizations
    0 references
    Boolean algebra
    0 references
    distributive lattice
    0 references
    ring
    0 references
    commutative semigroup
    0 references
    partial order
    0 references
    hyperarithmetic hierarchy
    0 references
    index set
    0 references
    0 references
    0 references
    0 references

    Identifiers

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