A class of \(\Sigma_{3}^{0}\) modular lattices embeddable as principal filters in \({\mathcal L}^*(V_\infty)\)

DOI10.1007/S00153-008-0078-2zbMath1173.03032OpenAlexW2076597235MaRDI QIDQ948910

R. D. Dimitrov

Publication date: 16 October 2008

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

Full work available at URL: https://doi.org/10.1007/s00153-008-0078-2

zbMATH Keywords

computable vector spacefilters of quasimaximal spaceslattice product

Mathematics Subject Classification ID

Modular lattices, Desarguesian lattices (06C05) Recursively (computably) enumerable sets and degrees (03D25) Computable structure theory, computable model theory (03C57)

Related Items (4)

Orbits of maximal vector spaces ⋮ ON COHESIVE POWERS OF LINEAR ORDERS ⋮ The Lattice of Computably Enumerable Vector Spaces ⋮ 2008–2009 Winter Meeting of the Association for Symbolic Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quasimaximality and principal filters isomorphism between \({\mathcal E}^*\) and \({\mathcal L}^*(V_\infty)\)
• Undecidability of \(L(F_{\infty})\) and other lattices of r.e. substructures
• Recursively enumerable vector spaces

This page was built for publication: A class of \(\Sigma_{3}^{0}\) modular lattices embeddable as principal filters in \({\mathcal L}^*(V_\infty)\)