Dedekind -complete -groups and Riesz spaces as varieties

From MaRDI portal
Publication:2194076




Abstract: We prove that the category of Dedekind sigma-complete Riesz spaces is an infinitary variety, and we provide an explicit equational axiomatization. In fact, we show that finitely many axioms suffice over the usual equational axiomatization of Riesz spaces. Our main result is that mathbbR, regarded as a Dedekind sigma-complete Riesz space, generates this category as a quasi-variety, and therefore as a variety. Analogous results are established for the categories of (i) Dedekind sigma-complete Riesz spaces with a weak order unit, (ii) Dedekind sigma-complete lattice-ordered groups, and (iii) Dedekind sigma-complete lattice-ordered groups with a weak order unit.









This page was built for publication: Dedekind \(\sigma \)-complete \(\ell \)-groups and Riesz spaces as varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2194076)