ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Subset
Power set
Hyperpower set sequence
Hyperpower set
Hypersubset
Subset algebra
Subset structure
Measurable space
Measurable map
Random variable
Random number
Random Euclidean number
Definition D4381
Random basic number
Children
Random real number
Results
Random basic number absolutisation equals sum of positive and negative parts
Random basic number almost surely finite if first absolute moment is finite
Random basic number almost surely finite iff positive and negative parts are
Random unsigned basic number almost surely finite if expectation is finite