zbMATH — the first resource for mathematics

Boolean powers and stochastic spaces. (English) Zbl 0789.03038
We investigate the relationship between the Boolean power \(\mathbb{R}[\mathbb{B}]\) of \(\mathbb{R}\) and the elementary stochastic space \(E\) in the sense of D. Kappos [Probability algebras and stochastic spaces (1969; Zbl 0196.185)]. We obtain here that these two spaces are isomorphic. In this way, we obtain a stochastic interpretation of the Boolean power structure. The development is similar to Takeuti’s Boolean analysis. The main difference lies in the fact that we use a full Boolean-valued model, known as Boolean power, and a two-step procedure: First we develop a restrictive model (a discrete or a kind of first order model), the Boolean power in which all the axioms of the reals can be transferred immediately, and then we complete it using Cauchy sequences or Dedekind cuts in order to get a model isomorphic to the stochastic space \(V\). In this way, we avoid the general Scott-Solovay model and we get instead a model which is more appropriate for generalizing the Robinsonian Infinitesimal Analysis to Boolean Analysis.

03C90 Nonclassical models (Boolean-valued, sheaf, etc.)
60B99 Probability theory on algebraic and topological structures
03H05 Nonstandard models in mathematics
Full Text: EuDML
[1] GRĂ„TZER G.: Universal Algebra. (2nd edition), Springer-Verlang, Berlin, 1979. · Zbl 0412.08001
[2] HALMOS P. R.: Measure Theory. Van Nostrand, Reinhold, Toronto, 1950. · Zbl 0040.16802
[3] KAPPOS D.: Probability Algebras and Stochastic Spaces. Academic Press. New York, 1969. · Zbl 0196.18501
[4] MANSFIELD R.: The theory of Boolean ultrapowers. Ann. Math. Logic 2 (1971), 297-323. · Zbl 0216.29401 · doi:10.1016/0003-4843(71)90017-9
[5] POTTHOLF K.: Boolean ultrapowers. Arch. Math. Logic 16 (1974), 37-48. · Zbl 0285.02045 · doi:10.1007/BF02025117 · eudml:137883
[6] SCOTT D.: A proof of the independence of the Continuum hypothesis. Math. Systems Theory 2 (1967), 89-111. · Zbl 0149.25302 · doi:10.1007/BF01705520
[7] SCOTT D.: Boolean models and non-standard analysis. Applications of Model Theory to Algebra, Analysis and Probability (W. A. J. Luxemburg. Holt. Reinhart & Winston 1969.
[8] STROYAN K.-LUXEMBURG W. A. J.: Introduction to the Theory of Infinitesimals. Academic Press, 1976. · Zbl 0336.26002
[9] TAKEUTI G.: Two Applications of Logic to Mathematics. Iwanami & Princeton Univ. Press, 1978. · Zbl 0393.03027 · doi:10.1515/9781400871346
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.