The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Double Sequences and Iterated Limits in Regular Space”

Convergent Filter Bases

Roland Coghetto (2015)

Formalized Mathematics

Similarity:

We are inspired by the work of Henri Cartan [16], Bourbaki [10] (TG. I Filtres) and Claude Wagschal [34]. We define the base of filter, image filter, convergent filter bases, limit filter and the filter base of tails (fr: filtre des sections).