Pages that link to "Item:Q1407569"
From MaRDI portal
The following pages link to Metric Boolean algebras and constructive measure theory (Q1407569):
Displaying 12 items.
- Sigma-compactness of metric Boolean algebras and uniform convergence of frequencies to probabilities (Q643814) (← links)
- t-norms induced by metrics on Boolean algebras (Q855186) (← links)
- Categorical geometry and integration without points (Q2015818) (← links)
- Algebras of complemented subsets (Q2104273) (← links)
- Measure and integration on Boolean algebras of regular open subsets in a topological space (Q2148862) (← links)
- Measures on minimally generated Boolean algebras (Q2463874) (← links)
- Constructive algebraic integration theory (Q2575777) (← links)
- Boolean Valued and Stone Algebra Valued Measure Theories (Q4304151) (← links)
- Synthetic topology in Homotopy Type Theory for probabilistic programming (Q5055499) (← links)
- Abstract versus concrete computation on metric partial algebras (Q5277710) (← links)
- (Q5845059) (← links)
- Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory (Q6635512) (← links)