Resumen de The Loomis-Sikorski Theorem revisited

Gerard Buskes, Ben de Pagter , A. van Rooij

• 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.