Quasimaximality and principal filters isomorphism between E^* and L^*(V_)

DOI10.1007/S00153-003-0196-9MaRDI QIDQ701738zbMATH OpenOpenAlexFDO

Authors R. D. Dimitrov

Publication date 16 December 2004

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-003-0196-9

zbMATH Keywords

quasimaximal setcomputable vector space

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Recommendations

• 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

Cited in

(8)

• Principal filters definable by parameters in 𝓔_bT
• A class of \(\Sigma_{3}^{0}\) modular lattices embeddable as principal filters in \({\mathcal L}^*(V_\infty)\)
• 2008–2009 Winter Meeting of the Association for Symbolic Logic
• Orbits of maximal vector spaces
• The Lattice of Computably Enumerable Vector Spaces
• 2005–06 Winter Meeting of the Association for Symbolic Logic
• Cohesive powers of structures
• A note on r-maximal subspaces of \(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)