Some model theory for probability structures
George Georgescu · Reports on Mathematical Logic · 2001
A b s t r a c t. In this paper we study some model theory for Gaifman probability structures. A classical result of Horn-Tarski concerning the extension of probabilities on Boolean algebras will allow us to prove some preservation theorems for probability structures, the modelcompanion of logical probability, etc. extending some classical results in eastern model theory.