First Order Theories of Some Lattices of Open Sets (Q5367055)

From MaRDI portal
scientific article; zbMATH DE number 6790153
Language Label Description Also known as
English
First Order Theories of Some Lattices of Open Sets
scientific article; zbMATH DE number 6790153

    Statements

    0 references
    0 references
    12 October 2017
    0 references
    topological space
    0 references
    lattice
    0 references
    open set
    0 references
    effectively open set
    0 references
    first order theory
    0 references
    decidability
    0 references
    \(m\)-reducibility
    0 references
    interpretation
    0 references
    math.LO
    0 references
    cs.LO
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references