پیوندهای مفید
آمار
| تعداد نشریات | 7 |
| تعداد شماره‌ها | 399 |
| تعداد مقالات | 5,389 |
| تعداد مشاهده مقاله | 5,288,012 |
| تعداد دریافت فایل اصل مقاله | 4,882,747 |
On some aspects of measure and probability logics and a new logical proof for a theorem of Stone | ||
| AUT Journal of Mathematics and Computing | ||
| مقاله 11، دوره 2، شماره 1، اردیبهشت 2021، صفحه 103-108 اصل مقاله (326.1 K) | ||
| نوع مقاله: Original Article | ||
| شناسه دیجیتال (DOI): 10.22060/ajmc.2021.19318.1045 | ||
| نویسنده | ||
| Alireza Mofidi* | ||
| 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 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. | ||
| کلیدواژه‌ها | ||
| Integration and probability logics؛ Representations and measure existence theorems؛ Compactness in logic | ||
| مراجع | ||
|
[1] S. Bagheri, M. Pourmahdian, The logic of integration, Arch. Math. Logic 48 (2009) 465-492.
[2] D. Hoover, Probability logic, Annals of Mathematical Logic 14 (1978) 287-313.
[3] H. Keisler, Probability quantifiers, in: Model Theoretic Logics, edited by J. Barwise and S. Feferman, SpringerVerlag, (1985), pp. 509-556.
[4] A. Mofidi, On some dynamical aspects of NIP theories., Arch. Math. Logic, 57 (1-2) (2018) 37-71.
[5] A. Mofidi, S. M. Bagheri, Quantified universes and ultraproduct, Math. Logic Quart. 58 (2012) 63-74.
[6] M. Raskovic, R. Dordevic, Probability quantifiers and operators, Vesta Company, Belgrade, 1996. | ||
|
آمار تعداد مشاهده مقاله: 1,185 تعداد دریافت فایل اصل مقاله: 650 |
||