Vol. 37(51), pp. 1722 (1985) 

Model theory for $L_{\Cal AM}$ logicMiodrag Ra\v skovi\'cPrirodnomatemati\v cki fakultet, Kragujevac, YugoslaviaAbstract: 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:
Electronic fulltext finalized on: 2 Nov 2001. This page was last modified: 16 Nov 2001.
© 2001 Mathematical Institute of the Serbian Academy of Science and Arts
