Construction of measure from semialgebra of sets

DOI10.1515/FORMA-2015-0025zbMath1334.28002OpenAlexW2333722679MaRDI QIDQ271897

Noboru Endou

Publication date: 20 April 2016

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2015-0025

zbMATH Keywords

measure theorypre-measure

Mathematics Subject Classification ID

Contents, measures, outer measures, capacities (28A12) Mechanization of proofs and logical operations (03B35)

Related Items (1)

Product pre-measure

Cites Work

• The orthogonal projection and the Riesz representation theorem
• \(\sigma\)-ring and \(\sigma\)-algebra of sets
• Semantics of MML Query - Ordering
• Cartesian Products of Family of Real Linear Spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Construction of measure from semialgebra of sets