Displaying similar documents to “The differential equation y' = fy in the algebras H(D).”

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).

Compounding Objects

Zvonimir Šikić (2020)

Bulletin of the Section of Logic

Similarity:

We prove a characterization theorem for filters, proper filters and ultrafilters which is a kind of converse of Łoś's theorem. It is more natural than the usual intuition of these terms as large sets of coordinates, which is actually unconvincing in the case of ultrafilters. As a bonus, we get a very simple proof of Łoś's theorem.