Probability logic with conditional expectation (Q1057851)

Probability logics are logics adequate for the study of structures arising in probability theory. The newest member of the family of probability logics is the probability logic with conditional expectation. In the paper this logic is denoted by \(L_{AE}\). The author develops the model theory for this logic and answers affirmatively problems posed by Keisler regarding the existence and uniqueness of hyperfinite models, the validity of Robinson's consistency property and Craig's interpolation theorem for \(L_{AE}\). The author introduces a notion of hyperfinite model for \(L_{AE}\) that naturally extends the corresponding notion of hyperfinite model for \(L_{AS}\) introduced by Keisler. The author proves that these models exist and for a special type of hyperfinite models, that he calls uniform, he proves that they are unique.