Undecidability of \(L(F_{\infty})\) and other lattices of r.e. substructures (Q1083446)
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 3974953
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Undecidability of \(L(F_{\infty})\) and other lattices of r.e. substructures |
scientific article; zbMATH DE number 3974953 |
Statements
Undecidability of \(L(F_{\infty})\) and other lattices of r.e. substructures (English)
0 references
1986
0 references
This paper establishes the undecidability of \(L(F_{\infty})\). The result is established in a general setting along the lines of that of \textit{J. B. Remmel} [Ann. Math. Logic 18, 153-191 (1980; Zbl 0471.03037)]. It applies to the lattices of r.e. substructures of - for example - (all) Steinitz systems, free groups, Boolean algebras, and a wide class of modules over locally computable rings. The proof builds a special type of r-maximal set, and, using this, codes Boolean pairs into the relevant lattice. Related applications are discussed.
0 references
lifting property
0 references
local exchange property
0 references
lattices of r.e. substructures
0 references
r-maximal set
0 references
0.8379627466201782
0 references
0.768113911151886
0 references
0.7658780813217163
0 references
0.7658780813217163
0 references
0.7640866041183472
0 references
