We prove, constructively, that the Loomis�Sikorski Theorem for ?-complete Boolean algebras follows from a representation theorem for Archimedean vector lattices and a constructive representation of Boolean algebras as spaces of Carathéodory place functions. We also prove a constructive subdirect product representation theorem for arbitrary partially ordered vector spaces.
© 2008-2024 Fundación Dialnet · Todos los derechos reservados