Recursive properties of relations on models (Q687281): Difference between revisions

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.