TY - JOUR
ID - 4273
TI - On some aspects of measure and probability logics and a new logical proof for a theorem of Stone
JO - AUT Journal of Mathematics and Computing
JA - AJMC
LA - en
SN - 2783-2449
AU - Mofidi, Alireza
AD - Department of Mathematics and Computer Science, Amirkabir University of Technology (Tehran Polytechnic), Tehran, Iran
Y1 - 2021
PY - 2021
VL - 2
IS - 1
SP - 103
EP - 108
KW - Integration and probability logics
KW - Representations and measure existence theorems
KW - Compactness in logic
DO - 10.22060/ajmc.2021.19318.1045
N2 - 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 pursue 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.
UR - https://ajmc.aut.ac.ir/article_4273.html
L1 - https://ajmc.aut.ac.ir/article_4273_a20c079ea8be3c837743e9d6e8a1a6ac.pdf
ER -