English

A solution to the MV-spectrum Problem in size aleph one

Logic 2023-04-03 v1

Abstract

Denote by IdcG_c G the lattice of all principal \ell-ideals of an Abelian \ell-group GG. Our main result is the following. Theorem. For every countable Abelian \ell-group GG, every countable completely normal distributive 0-lattice L,L, and every closed 0-lattice homomorphism φ:IdcGL\varphi : {\rm Id}_c G \to L, there are a countable Abelian \ell-group HH, an \ell-homomorphism f:GHf: G \to H, and a lattice isomorphism ι:IdcHL\iota: {\rm Id}_c H \to L such that φ=ιIdcf\varphi = \iota \circ {\rm Id}_c f. We record the following consequences of that result: (1) A 0-lattice homomorphism φ:KL\varphi: K \to L, between countable completely normal distributive 0-lattices, can be represented, with respect to the functor Idc_c, by an \ell-homomorphism of Abelian \ell-groups iff it is closed. (2) A distributive 0-lattice DD of cardinality at most 1\aleph_1 is isomorphic to some IdcG_c G iff DD is completely normal and for all a,bDa,b \in D the set {xDabx\{x\in D | a \leq b \vee x has a countable coinitial subset. This solves Mundici's MV-spectrum Problem for cardinalities up to 1\aleph_1. The bound 1\aleph_1 is sharp. Item (1) is extended to commutative diagrams indexed by forests in which every node has countable height.All our results are stated in terms of vector lattices over any countable totally ordered division ring.

Keywords

Cite

@article{arxiv.2303.18137,
  title  = {A solution to the MV-spectrum Problem in size aleph one},
  author = {Miroslav Ploscica and Friedrich Wehrung},
  journal= {arXiv preprint arXiv:2303.18137},
  year   = {2023}
}
R2 v1 2026-06-28T09:43:23.478Z