On some aspects of measure and probability logics and a new logical proof for a theorem of Stone

Document Type : Original Article


Department of Mathematics and Computer Science, Amirkabir University of Technology (Tehran Polytechnic), Tehran, Iran



One of the functions of mathematical logic is studying mathematical objects and notions by logical means. There are several important representation theorems in analysis. Amongst them, there is a well-known classical one which concerns probability algebras. There are quite a few proofs of this result in the literature. This paper pursues two main goals. One is to consider some aspects of measure and probability logics and expose a novel proof for the mentioned representation theorem using ideas from logic and by application of an important result from model theory.
The second and even more important goal is to present more connections between two fields of analysis and logic and reveal more the strength of logical methods and tools in analysis. The paper is mostly written for general mathematicians, in particular the people who are active in analysis or logic as the main audience. It is self-contained and includes all prerequisites from logic and analysis.


Main Subjects

Volume 2, Issue 1
Winter and Spring 2021
Pages 103-108
  • Receive Date: 02 December 2020
  • Revise Date: 25 January 2021
  • Accept Date: 28 January 2021