No label defined (Q4378239)

Let \({\mathcal A}\) be a countable admissible set such that \({\mathcal A}\subseteq \) HC and \(\omega \in {\mathcal A}\). In this paper a logic \(L^{\text fin}_{\mathcal AP}\) is obtained by extending H. J. Keisler's \(L_{\mathcal AP}\) by the axiom of finitely many valued measure: \[ \bigvee _{c\in Q^+}\bigwedge _{\varphi \in \Phi _n}((P\vec x>0)\varphi (\vec x)\rightarrow (P\vec x>c)\varphi (\vec x)), \] where \(\Phi _n\in {\mathcal A}\) and \(\Phi _n=\{\varphi: \varphi {\text has} n \;\text{free variables}\}\). The probability structure for \(L^{\text fin}_{{\mathcal AP}}\) is a structure \(\langle {\mathcal U},\mu \rangle \) such that \({\mathcal U}\) is a classical first-order structure without operations and \(\mu \) is a finitely many valued probability measure. It is proved that this axiomatization is complete for \(\Sigma _1\) definable theories with respect to the class of probability models with finitely many valued measure.