It is proved that the quasi-proximity space induced by the bicompletion of a quasi-uniform T0-space X is a subspace of the quasi-proximity space induced by the Samuel bicompactification of X. The result is then used to establish that the locally finite covering quasi-uniformity defined on the category Top0 of topological T0-spaces and continuous maps is not lower K-true (in the sense of Brümmer...

The notion of sobriety is extended to the realm topological spaces valued in a commutative and unital quantale, via an adjunction between category quantale modules quantale-valued spaces. Relations such sober domains based on flat ideals are investigated. In particular, it shown that if unit element coincides with its top element, then every domain (relative ideals) Scott topology space.

In this paper, we define new subclasses ${S}^{*}_{q}(alpha,Phi),$ ${M}_{q}(alpha,Phi)$ and ${L}_{q}(alpha,Phi)$ of analytic functions in the space of logistic sigmoid functions based on quasi--subordination and determine the initial coefficient estimates $|a_2|$ and $|a_3|$ and also determine the relevant connection to the classical Fekete--Szeg"o inequalities. Further, we discuss the improved ...

A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational values are determined by the observations that can be made of them. A new definition of sobriety is formulated in terms of lambda calculus and elementary category theory, with no reference to lattice structure, but, for topological spaces, this...

Sober-t32 is a candidate stream cipher in the NESSIE competition. Some new attacks are presented in this paper. A Guess and Determine attack is mounted against Sober-t32 without the decimation of the key stream by the so-called stuttering phase. Also, two distinguishing attacks are mounted against full Sober-t32. These attacks are not practically feasible, but they are theoretically more effici...

William Roche and Elliott Sober argue that explanatoriness is evidentially irrelevant. This conclusion is surprising since it conflicts with a plausible assumption—the fact that a hypothesis best explains a given set of data is evidence that the hypothesis is true. We argue that Roche and Sober?s screening-off argument fails to account for a key aspect of evidential strength: the weight of a bo...