Small decidable sheaves (Q3824313)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Small decidable sheaves
scientific article

    Statements

    Small decidable sheaves (English)
    0 references
    0 references
    0 references
    1986
    0 references
    sheaf model
    0 references
    second-order arithmetic
    0 references
    coprime element in the lattice of decidable subsets of \({\mathbb{N}}\)
    0 references

    Identifiers

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