Introducing the notions of pre-measure space and pre-integration space, we provide a predicative approach to Bishop's and Cheng's constructive development of the Daniell approach to measure and integration.
Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory
Petrakis, Iosif;
2024-01-01
Abstract
Introducing the notions of pre-measure space and pre-integration space, we provide a predicative approach to Bishop's and Cheng's constructive development of the Daniell approach to measure and integration.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
