Quasimaximality and principal filters isomorphism between E^* and L^*(V_)
Let \(V_\infty\) be a computable infinite-dimensional computable vector space generated by a computable basis. Any two such spaces are computably isomorphic. Two of its subspaces \(V_0\) and \(V_1\) are called equivalent if there exists a finite-dimensional vector space \(W\) such that \(V_0+W=V_1+W\). The classes of computably enumerable subspaces of \(V_\infty\) modulo this equivalence form a lattice \({\mathcal L}^\ast(V_\infty)\) by inclusion up to a finite-dimensional subspace. The principal filter of it generated by a subspace \(V\) is denoted by \({\mathcal L}^\ast(V,\uparrow)\). The principal filter generated by a computably enumerable subset \(I\) of the basis in the lattice \({\mathcal E}^\ast\) of computably enumerable subsets of the computable basis modulo the equivalence ``to differ on a finite set only is denoted by \({\mathcal E}^\ast(I,\uparrow)\). The author proves a nessessary and sufficient condition for a quasimaximal subset \(I\) of the computable basis of \(V_\infty\) to generate a subspace cl\((I)\) for which the ordered set \({\mathcal L}^\ast(\text{cl}(I),\uparrow)\) is isomorphic to \({\mathcal E}^\ast(I,\uparrow)\) and gives examples of spaces that satisfy and do not satisfy this condition.
- Orbits of maximal vector spaces
- A class of \(\Sigma_{3}^{0}\) modular lattices embeddable as principal filters in \({\mathcal L}^*(V_\infty)\)
- Decidable subspaces and recursively enumerable subspaces
- The Lattice of Computably Enumerable Vector Spaces
- Bases of supermaximal subspaces and Steinitz systems. I
- Orbits of maximal vector spaces
- The Lattice of Computably Enumerable Vector Spaces
- Principal filters definable by parameters in 𝓔bT
- 2008–2009 Winter Meeting of the Association for Symbolic Logic
- 2005–06 Winter Meeting of the Association for Symbolic Logic
- Cohesive powers of structures
- A note on r-maximal subspaces of \(V_{\infty}\)
- A class of \(\Sigma_{3}^{0}\) modular lattices embeddable as principal filters in \({\mathcal L}^*(V_\infty)\)
This page was built for publication: Quasimaximality and principal filters isomorphism between \({\mathcal E}^*\) and \({\mathcal L}^*(V_\infty)\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q701738)
