A solution to the MV-spectrum problem in size aleph one
DOI10.1016/j.jalgebra.2023.10.024arXiv2303.18137OpenAlexW4388672947MaRDI QIDQ6142849
Friedrich Wehrung, Miroslav Ploščica
Publication date: 4 January 2024
Published in: Journal of Algebra (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2303.18137
latticespectrumidealclosed mapdistributivegroupforestvector latticeabeliancountableconsonancelattice-orderedcompletely normalcountably based differences
Special polytopes (linear programming, centrally symmetric, etc.) (52B12) Arrangements of points, flats, hyperplanes (aspects of discrete geometry) (52C35) Heyting algebras (lattice-theoretic aspects) (06D20) Structure and representation theory of distributive lattices (06D05) MV-algebras (06D35) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Convex sets without dimension restrictions (aspects of convex geometry) (52A05)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Non-axiomatizability of real spectra in \(\mathcal L_{ \infty \lambda} \)
- From objects to diagrams for ranges of functors
- Advanced Łukasiewicz calculus and MV-algebras
- Conrad frames
- Archimedean lattices
- The spectrum problem for abelian \(\ell\)-groups and MV-algebras
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Prime spectra of lattice-ordered abelian groups
- A completely normal spectral space that is not a real spectrum
- Cevian properties in ideal lattices of abelian \(\ell\)-groups
- Cevian operations on distributive lattices
- Free abelian lattice groups
- Real spectra and \(\ell\)-spectra of algebras and vector lattices over countable fields
- Real spectrum versus \(\ell\)-spectrum via Brumfiel spectrum
- The essential cover and the absolute cover of a schematic space
- Spectral spaces of countable Abelian lattice-ordered groups
- From noncommutative diagrams to anti-elementary classes
- Free Vector Lattices
- Prime Ideal Structure in Commutative Rings
- Projective classes as images of accessible functors
