On computable presentations of some functional lattices (Q1044671)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On computable presentations of some functional lattices |
scientific article |
Statements
On computable presentations of some functional lattices (English)
0 references
18 December 2009
0 references
In the paper under review the author describes several lattices which have no computable presentations. They are the lattice of all computable order-theoretic automorphisms of the rational numbers, the lattice of the monotonic functions on the natural numbers etc. It is also proved that the lattice of all computable mappings defined on the rational numbers has a computable presentation.
0 references
recursive model
0 references
computable presentation
0 references
computable automorphisms
0 references
lattice-ordered group
0 references
functional lattice
0 references
computable model
0 references
