in this study, we investigate the further properties of quasi irresolute topological groupsdened in [20]. we show that if a group homomorphism f between quasi irresolute topologicalgroups is irresolute at eg, then f is irresolute on g. later we prove that in a semi-connectedquasi irresolute topological group (g; ; ), if v is any symmetric semi-open neighborhood ofeg, then g is generated by v...

The topic of sets with fuzzy order relations valuated in complete lattices with additional structure has been quite active in the recent decade, and a number of papers have been published (see [3, 5, 6] among many others). Based on a quantale-valued order relation and subset membership, counterparts to common order-theoretic notions can be defined, like monotone mappings, adjunctions, joins and...

This thesis puts forward a flexible and principled approach to the development of construction and verification tools for imperative programs, in which the control flow and the data level are cleanly separated. The approach is inspired by algebraic principles and benefits from an algebraic semantics layer. It is programmed in the Isabelle/HOL interactive theorem prover and yields simple lightwe...

the polynomial interpolation in one dimensional space r is an important method to approximate the functions. the lagrange and newton methods are two well known types of interpolations. in this work, we describe the semi inherited interpolation for approximating the values of a function. in this case, the interpolation matrix has the semi inherited lu factorization.

Each closed oriented 3-manifoldM is naturally associated with a set of integersD(M), the degrees of all self-maps on M . D(M) is determined for each torus bundle and torus semi-bundle M . The structure of torus semi-bundle is studied in detail. The paper is a part of a project to determine D(M) for all 3-manifolds in Thurston’s picture.

Ever since the introduction of fuzzy sets by L. A. Zadeh [14], the fuzzy concept has invaded almost all branches of Mathematics. The concept of fuzzy topological space was introduced and developed by C.L. Chang [3] and since then many fuzzy topologists [1,6-13] have extended various notions in classical topology to fuzzy topological spaces. The concept of somewhat continuous functions was intro...

A subset A of a space X is called regular open if A = IntA, and regular closed if X\A is regular open, or equivalently, if A= IntA. A is called semiopen [16] (resp., preopen [17], semi-preopen [3], b-open [4]) ifA⊂ IntA (resp.,A⊂ IntA,A⊂ IntA ,A⊂ IntA∪ IntA). The concept of a preopen set was introduced in [6] where the term locally dense was used and the concept of a semi-preopen set was introd...

In conclusion, I may point out that Theorem II may be generalized by a weakening of the hypothesis (d) . (1) In the first place, continuity of [a, g] f with respect to the pair of variables a, /3 may be replaced by upper semi-continuity . This generalization requires no change in the proof . (2) This continuity (or upper semi-continuity) with respect to (a, /3) is used only to show that the set...

In some past works by the author and collaborators, the notion of ageing function of an exchangeable survival model was introduced and several properties of it were analyzed. Generally, the ageing function turns out to be a semi-copula. Here we focus attention on the special class of survival models whose ageing function is actually a copula. For pairs of models in this class we define a notion...

The solvability in Sobolev spaces is proved for divergence form second order elliptic equations in the whole space, a half space, and a bounded Lipschitz domain. For equations in the whole space or a half space, the leading coefficients a are assumed to be measurable in one direction and have small BMO semi-norms in the other directions. For equations in a bounded domain, additionally we assume...