The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying 61 –
80 of
116
New concepts of Lebesgue measure on are proposed and some of their realizations in the ZFC theory are given. Also, it is shown that Baker’s both measures [1], [2], Mankiewicz and Preiss-Tišer generators [6] and the measure of [4] are not α-standard Lebesgue measures on for α = (1,1,...).
In this article we formalize in Mizar [5] product pre-measure on product sets of measurable sets. Although there are some approaches to construct product measure [22], [6], [9], [21], [25], we start it from σ-measure because existence of σ-measure on any semialgebras has been proved in [15]. In this approach, we use some theorems for integrals.
Currently displaying 61 –
80 of
116