scientific article; zbMATH DE number 1123883
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.
- Completeness theorem for probability models with finitely many valued measure in logic with integrals
- scientific article; zbMATH DE number 3928978
- Completeness theorem for propositional probabilistic models whose measures have only finite ranges
- Completeness theorem for biprobability models
- Probability logics with vector-valued measures
- Completeness and interpolation of almost-everywhere quantification over finitely additive measures
- Completeness theorem for biprobability models
- Completeness theorem for probability models with finitely many valued measure in logic with integrals
- Sufficiency and completeness for classes of probability distributions generated by a single probability distribution
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4378239)
