Recursive properties of relations on models (Q687281): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 10:26, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Recursive properties of relations on models |
scientific article |
Statements
Recursive properties of relations on models (English)
0 references
21 August 1994
0 references
The paper is concerned with questions about the existence of recursive representations for a recursive model with one family of recursively enumerable relations and another family of relations not r.e. or immune. To construct such representations, the author found special sufficient conditions which use r.e. lists of existential formulas. There are some applications of these results. The author introduces the notion of strong supermaximality for subspaces in an \(\aleph_ 0\)- dimensional recursive vector space \(V_ \infty\) over a recursive field with decidable dependence problem. With the use of his general results he proves the existence of such subspaces. This enables him to find a new proof of Guichard's result that there exist supermaximal spaces \(M_ 1\), \(M_ 2\) such that there is no automorphism of the lattice of r.e. subspaces of \(V_ \infty\) which takes \(M_ 1\) to \(M_ 2\) [\textit{D. Guichard}, Ann. Pure Appl. Logic 25, 47-58 (1983; Zbl 0596.03042)]. He also uses these results to prove Remmel's result that there exists a recursive representation of the Boolean algebra of finite and co-finite subsets of \(\omega\) whose set of atoms is co-hypersimple [\textit{J. B. Remmel}, J. Symb. Logic 46, 572-594 (1981; Zbl 0543.03031)], and that there is a recursive representation of the group \(\aleph_ 0 Z_{p^ \infty}+ \aleph_ 0 Z_ p\) such that the maximum divisible subgroup of it has a hyperimmune complement.
0 references
recursive representations
0 references
recursive model
0 references
recursively enumerable relations
0 references
recursive vector space
0 references