Model theory for $L_{\Cal AM}$ logic

Miodrag Ra\v skovi\'c

Abstract: In [3] Keisler introduced several probability logics $(L_{\Cal AM}, L(\int)_{w1w}$, etc.) and developed model theory for them together with Hoover. We introduce $L_{\Cal AM}$ which, instead of probability measure, has a $\sigma$-finite one and give a method how to transfer results from $L_{\Cal AP}$ to our logic.

Classification (MSC2000): 03C70; 03C90

Full text of the article:

• Compressed PostScript file (56 kilobytes)
• PDF file (144 kilobytes)