Let M = 〈M, +, <, 0, {λ}λ∈D〉 be an ordered vector space over an ordered division ring D, and G = 〈G,⊕, eG〉 an n-dimensional group definable in M. We show that if G is definably compact and definably connected with respect to t-topology, then it is definably isomorphic to a ‘definable quotient group’ U/L, for some convex W -definable subgroup U of 〈Mn, +〉 and a lattice L of rank n. As two conseq...

We introduce the notion of ideal, prime ideal, lter, fuzzy ideal, fuzzy prime ideal, fuzzy lter of ordered $Gamma$-semiring and study their properties and relations between them. We characterize the prime ideals and lters of ordered $Gamma$-semiring with respect to fuzzy ideals and fuzzy l- ters respectively.

Fuzzy relations are mappings from pairs of elements into the interval [0, 1]. As a replacement for the complement operation one can use the mapping that sends x to 1 − x. Together with the concepts of t-norm and t-conorm a weak form of Boolean algebra can be defined. However, to our knowledge so far no notion of domain or codomain has been investigated for fuzzy relations. These might, however,...

The aim of this paper is to study the high order difference scheme for the solution of a fractional partial differential equation (PDE) in the electroanalytical chemistry. The space fractional derivative is described in the Riemann-Liouville sense. In the proposed scheme we discretize the space derivative with a fourth-order compact scheme and use the Grunwald- Letnikov discretization of the Ri...

If F is a vector space over an ordered division ring, C a convex subset of V and L the lattice of convex subsets of C, then we call L a convexity lattice. We give necessary and sufficient conditions for an abstract lattice to be a convexity lattice in the finite dimensional case.

Abstract. Off-stoichiometric alloys exhibit partial disorder, in the sense that only some of the sublattices of the stoichiometric ordered alloy become disordered. This paper puts forward a generalization of the augmented space recursion (ASR) introduced earlier by one of us (Mookerjee et al 1997(*)) for systems with many atoms per unit cell. In order to justify the convergence properties of AS...

We construct one-step iterative process for an α- nonexpansive mapping and a mapping satisfying condition (C) in the framework of a convex metric space. We study △-convergence and strong convergence of the iterative process to the common fixed point of the mappings. Our results are new and are valid in hyperbolic spaces, CAT(0) spaces, Banach spaces and Hilbert spaces, simultaneously.

1. Let X be a Banach space, and B(X) the Banach algebra of all bounded linear operators in X. The closed two sided ideals of B(X) (actually, of any Banach algebra) form a complete lattice L(X). Aside from very concrete cases, L(X) has not yet been determined; for instance, when X = l, l ^ p < « > , L(X) is a chain (i.e., totally ordered) with three elements: {o}, B(X) and the ideal C(X) of comp...