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
▶ D3161: Random real number
Results
▶ R3583: Random basic number absolutisation equals sum of positive and negative parts
▶ R3589: Random basic number almost surely finite if first absolute moment is finite
▶ R3587: Random basic number almost surely finite iff positive and negative parts are
▶ R5008: Random unsigned basic number almost surely finite if expectation is finite