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.

Soju Filters in Hoop Algebras

Rajab Ali Borzooei, Gholam Reza Rezaei, Mona Aaly Kologhani, Young Bae Jun (2021)

Bulletin of the Section of Logic

Similarity:

The notions of (implicative) soju filters in a hoop algebra are introduced, and related properties are investigated. Relations between a soju sub-hoop, a soju filter and an implicative soju filter are discussed. Conditions for a soju filter to be implicative are displayed, and characterizations of an implicative soju filters are considered. The extension property of an implicative soju filter is established.

Tree structure on the set of multiplicative semi-norms of Krasner algebras H(D).

K. Boussaf, N. Maïnetti, M. Hemdaoui (2000)

Revista Matemática Complutense

Similarity:

Let K be an algebraically closed field, complete for an ultra- metric absolute value, let D be an infinite subset of K and let H(D) be the set of analytic elements on D. We denote by Mult(H(D), U) the set of semi-norms Phi of the K-vector space H(D) which are continuous with respect to the topology of uniform convergence on D and which satisfy further Phi(f g)=Phi(f) Phi(g) whenever f,g elements of H(D) such that fg element of H(D). This set is provided with the topology of simple convergence....