Model Theory for Lam Logic


Miodrag Rašković


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.