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:
File | Dimensione | Formato | |
---|---|---|---|
Premeasures.pdf
accesso aperto
Tipologia:
Versione dell'editore
Licenza:
Dominio pubblico
Dimensione
807.57 kB
Formato
Adobe PDF
|
807.57 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.