No CrossRef data available.
Published online by Cambridge University Press: 12 March 2014
Given a subset A of a fixed saturated model , we let
denote the algebra of definable subsets of the domain of M of
with parameters from A. Then a complete type p over A can be regarded as a measure on
, assigning the value 1 to members of p and 0 to nonmembers. In [5] and [6], Keisler developed a theory of forking concerning probability measures. Therefore it generalizes the ordinary theory. On a different track, we can view the complement of the type p, or the collection of null sets of any measure on
, as ideals on
. Moreover, ideals and the pseudometric of a measure form examples of the so-called FN topology. Roughly speaking, an FN topology is one that topologizes the ring structure of a Boolean algebra. Associated with this topology is a special basis, called an FN basis. For
, it is natural to identify such a basis with a collection of partial types approximating a certain type.
In this paper, we extend the theory of forking and deal with FN bases (hence ideals in particular). By proving a few results here, we hope to indicate that this extension could become as fruitful as Keisler's theory and hence provide an alternative. Our approach here is more algebraic and less analytic. Unlike [5], methods from nonstandard analysis are not used.
There are two fundamental reasons why the classical theory should be generalized. One is to extend our investigation to unstable theories. (There are no stability assumptions on the theory in the present work.) The other is to study different and more flexible ways of collecting formulas, such as FN basis.
After fixing our notation in §1, we first deal with ideals in §2. We study certain nice extensions. Specifically, we prove the existence of flat nonforking ideals. We then provide a normalization theorem for ideals.
To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Find out more about the Kindle Personal Document Service.
To save this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you used this feature, you will be asked to authorise Cambridge Core to connect with your Dropbox account. Find out more about saving content to Dropbox.
To save this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you used this feature, you will be asked to authorise Cambridge Core to connect with your Google Drive account. Find out more about saving content to Google Drive.