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
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