Computable isomorphisms of distributive lattices (Q2327454)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computable isomorphisms of distributive lattices |
scientific article |
Statements
Computable isomorphisms of distributive lattices (English)
0 references
15 October 2019
0 references
distributive lattice
0 references
computable reducibility
0 references
equivalence relation
0 references
computable categoricity
0 references
Heyting algebra
0 references
computable metric space
0 references
