We give a predicative construction of a completion of a uniform space in the constructive Zermelo–Fraenkel set theory.
A predicative completion of a uniform space
Schuster, Peter Michael
2012-01-01
Abstract
We give a predicative construction of a completion of a uniform space in the constructive Zermelo–Fraenkel set theory.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.