Displaying similar documents to “Algebraic real analysis.”

A categorical concept of completion of objects

Guillaume C. L. Brümmer, Eraldo Giuli (1992)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We introduce the concept of firm classes of morphisms as basis for the axiomatic study of completions of objects in arbitrary categories. Results on objects injective with respect to given morphism classes are included. In a finitely well-complete category, firm classes are precisely the coessential first factors of morphism factorization structures.

On a characterization of the unit interval in terms of clones

Artur Barkhudaryan (1999)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

This paper gives a partial solution to a problem of W. Taylor on characterization of the unit interval in the class of all topological spaces by means of the first order properties of their clones. A characterization within the class of compact spaces is obtained.

Bertrand’s Ballot Theorem

Karol Pąk (2014)

Formalized Mathematics

Similarity:

In this article we formalize the Bertrand’s Ballot Theorem based on [17]. Suppose that in an election we have two candidates: A that receives n votes and B that receives k votes, and additionally n ≥ k. Then this theorem states that the probability of the situation where A maintains more votes than B throughout the counting of the ballots is equal to (n − k)/(n + k). This theorem is item #30 from the “Formalizing 100 Theorems” list maintained by Freek Wiedijk at http://www.cs.ru.nl/F.Wiedijk/100/. ...

Qualitative investigation of nonlinear differential equations describing infiltration of water

Xingbao Wu (1995)

Annales Polonici Mathematici

Similarity:

A nonlinear differential equation of the form (q(x)k(x)u')' = F(x,u,u') arising in models of infiltration of water is considered, together with the corresponding differential equation with a positive parameter λ, (q(x)k(x)u')' = λF(x,u,u'). The theorems about existence, uniqueness, boundedness of solution and its dependence on the parameter are established.