Some model theory for probability structures

MaRDI QIDQ2772906zbMATH OpenFDO

Authors George Georgescu

Publication date 22 July 2002

Published in Reports on Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

inductive probabilitypreservation theoremsexistentially closed probability structureGaifman probability structuresmodel-companion of logical probability

Mathematics Subject Classification ID

Models of other mathematical theories (03C65) Measures on Boolean rings, measure algebras (28A60) Ultraproducts and related constructions (03C20) Interpolation, preservation, definability (03C40) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• Classical models are particular cases of probabilistic models
• Model theory of measure spaces and probability logic
• Can logic be combined with probability? Probably
• Probabilities on first order models
• Probabilistic models for intuitionistic predicate logic

Cited in

(10)

• Axiomatic Geometry of Conditional Models
• States on polyadic MV-algebras
• Probability modals and infinite domains
• Classical models are particular cases of probabilistic models
• scientific article; zbMATH DE number 3208566 (Why is no real title available?)
• Generalized Bosbach states. I
• Finite probabilistic structures
• Valued quantum B-algebras
• Model theory of measure spaces and probability logic
• Random unary predicates: Almost sure theories and countable models

This page was built for publication: Some model theory for probability structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2772906)