Distinguishing three strong saturation properties in nonstandard analysis (Q1302293): Difference between revisions
From MaRDI portal
Revision as of 22:53, 28 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Distinguishing three strong saturation properties in nonstandard analysis |
scientific article |
Statements
Distinguishing three strong saturation properties in nonstandard analysis (English)
0 references
21 March 2000
0 references
The definitions of \({\kappa }\)-isomorphism property \((\text{IP}_{\kappa })\), \({\kappa }\)-special model axiom (\(\text{SMA}_{\kappa}\)), and full saturation were introduced by \textit{C. W. Henson} [``The isomorphism property in nonstandard analysis and its use in the theory of the Banach spaces'', J. Symb. Log. 39, 717-731 (1974; Zbl 0306.02055)] and \textit{D. Ross} [``Automorphisms of the Loeb algebra'', Fundam. Math. 128, 29-36 (1987; Zbl 0633.28010), ``The special model axiom in nonstandard analysis'', J. Symb. Log. 55, No. 3, 1233-1242 (1990; Zbl 0721.03049)] as generalizations of the \({\kappa}\)-saturation property. Full saturation is the strongest, then comes the \({\kappa}\)-special model axiom, and then the \({\kappa}\)-isomorphism property. Every time when a result is proved under a stronger property, the natural question is whether or not the result can be proved under a weaker property. So far there have been no examples in some mathematical field other than logic to show the different strengths among the strong saturation properties. The paper under review fills the gap. An example of a Loeb probability space is constructed which is a consequence of full saturation unprovable under \(\text{SMA}_{\kappa}\). It is shown that \(\text{SMA}_{{\aleph}_1}\) cannot be replaced by \(\text{IP}_{{\aleph}_1}\) in some theorem on Loeb spaces. Finally, it is proved that under \(\text{SMA}_{{\aleph}_1}\) every Loeb probability space has an ergodic (even strong mixing) transformation.
0 references
saturation
0 references
special model axiom
0 references
Loeb probability space
0 references
internally presented
0 references
measure-preserving
0 references
internal permutation
0 references
0 references