Loeb extensions and ultrapowers of measures on fragments (Q1210142)

In ``Measures and forking'' [ibid. 34, 119-169 (1987; Zbl 0633.03024)], \textit{H. J. Keisler} initiated and provided a detailed study of various kinds of measures on \(\sigma\)-algebras generated by definable sets. Here we consider some additional measure constructions and their properties. In particular, we study the ultrapower of a measure on an algebra of the form \({\mathcal F}(A)\). We first show that for a countable language, it is always nonforking (Theorem 1). Then we prove some preservation results, dealing with the equivalence of measures, Loeb measures, ultrapowers and Loeb extensions of ultrapowers (Propositions and Theorems 2-5). Except for Theorem 5, our characterizations of preservations are quite complete. It is worthwhile to note that Theorem 3 deals with a stable measure. Such a notion should be interesting in other contexts. It provides a method to `stabilize' an unstable theory and complements Keisler's approach.