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

existentially closed probability structureGaifman probability structuresinductive probabilitymodel-companion of logical probabilitypreservation theorems

Mathematics Subject Classification ID

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

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)

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

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)