Uniform logical proofs for Riesz representation theorem, Daniell-Stone theorem and Stone's representation theorem for probability algebras

DOI10.1007/s41980-021-00662-zarXiv1908.03774MaRDI QIDQ6323485

Publication date: 10 August 2019

Integration with respect to measures and other set functions (28A25) Logic with extra quantifiers and operators (03C80) Applications of model theory (03C98) Integration theory via linear functionals (Radon measures, Daniell integrals, etc.), representing set functions and measures (28C05)

This page was built for publication: Uniform logical proofs for Riesz representation theorem, Daniell-Stone theorem and Stone's representation theorem for probability algebras