First order theories of some lattices of open sets (Q5367055)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6790153
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.9308732151985168
0 references
0.8363140225410461
0 references
0.7647081017494202
0 references
0.7363179922103882
0 references
0.7321163415908813
0 references
