The following pages link to Integrals and valuations (Q3621282):
Displayed 12 items.
- Continuity and geometric logic (Q280833) (← links)
- Bohrification of operator algebras and quantum logic (Q383005) (← links)
- Locatedness and overt sublocales (Q638474) (← links)
- Intuitionistic quantum logic of an \(n\)-level system (Q735205) (← links)
- A topos for algebraic quantum theory (Q1048087) (← links)
- A comparison of two topos-theoretic approaches to quantum theory (Q1936655) (← links)
- Presenting de Groot duality of stably compact spaces (Q2182316) (← links)
- (Q4580318) (← links)
- Synthetic topology in Homotopy Type Theory for probabilistic programming (Q5055499) (← links)
- Probability, valuations, hyperspace: Three monads on top and the support as a morphism (Q5084481) (← links)
- An effect-theoretic account of Lebesgue integration (Q5971402) (← links)
- Foundational aspects of uncountable measure theory: Gelfand duality, Riesz representation, canonical models, and canonical disintegration (Q6039634) (← links)