Note on Construction of Probabilities on Many-Valued Events via Schauder Bases and Inverse Limits

Abstract

Every probability on many-valued events (a state on a finitely-generated free MV-algebras) is uniquely represented by refining finitely-supported probabilities across all Schauder bases. This procedure enables reconstructing the state space as the inverse limit of an inverse system of finite-dimensional simplices.