the aim of this paper is to establish a fuzzy version of the dualitybetween domains and completely distributive lattices. all values aretaken in a fixed frame $l$. a definition of (strongly) completelydistributive $l$-ordered sets is introduced. the main result inthis paper is that the category of fuzzy domains is dually equivalentto the category of strongly completely distributive $l$-ordereds...

In this paper, we present equivalent characterizations of L-closure systems on lower bounded complete L-ordered sets and complete L-lattices, respectively. These results demonstrate the feasibility of notion of fuzzy closure system developed in our previous work (L.-K. Guo, G.-Q. Zhang, Q.-G. Li: Fuzzy closure systems on L-ordered sets. Math. Log. Quart. 57 (3) (2011), 281-291.). Also we develo...

in an earlier work we showed that for ordered fields f not isomorphic to the reals r, there are continuous 1-1 unctions on [0, 1]f which map some interior point to a boundary point of the image (and so are not open). here we show that over closed bounded intervals in the rationals q as well as in all non-archimedean ordered fields of countable cofinality, there are uniformly continuous 1-1 func...

The aim of this paper is to establish a fuzzy version of the dualitybetween domains and completely distributive lattices. All values aretaken in a fixed frame $L$. A definition of (strongly) completelydistributive $L$-ordered sets is introduced. The main result inthis paper is that the category of fuzzy domains is dually equivalentto the category of strongly completely distributive $L$-ordereds...

As an application of the dual equivalence between the category of L-spatialC-objects and the category of L-sober C-M-L-spaces, it is shown in this paper that for a fixed augmented partially ordered set A, there exists a dual equivalence between the category of A-spatial augmented partially ordered sets and the category of A-sober A-valued spaces. Then, with regard to this duality, for a fixed (...

Neutron elastic and inelastic scattering measurements have been performed in order to investigate the spin structure and the magnetic excitations in the impurity-induced antiferromagnetic ordered phase of the doped spin gap system Tl(Cu 1−x Mg x)Cl 3 with x = 0.03. The magnetic Bragg reflections indicative of the ordering were observed at Q Q Q = (h, 0, l) with integer h and odd l below T N = 3...

It is NP-complete to determine whether a given ordered set has a fixed point free orderpreserving self-map. On the way to this result, we establish the NP-completeness of a related problem: Given ordered sets P and Q with t-tuples (PI,. ,pt) and (41,. . , qt) from P and Q respectively, is there an order-preserving map f: P + Q satisfying f(pz) > qr for each i = l,...,t? Mathematics Subject Clas...

Let P be a partially ordered set and let Pp denote the set of all order-preserving mappings of P to P ordered by/ < g in Pp iif(p) < g(p) for all p £ P. We prove that if P and Q are finite, connected partially ordered sets and Pp = Q<¡ then Psg. Is a partially ordered set determined by its order-preserving mappings? L. M. Gluskin [4] has shown that the set of order-preserving mappings of a part...

This paper presents symmetry classes of the Hartree-Fock (HF) solutions of spin and orbital ordered states in a t2g Hubbard model on a two-dimensional square lattice. Using a group theoretical bifurcation theory of the Hartree-Fock equation, we obtained many types of broken symmetry solutions which bifurcate from the normal state through one step transition in cases of commensurate ordering vec...

This paper investigates the local convergence of the Lagrange–SQP–Newton method applied to an optimal control problem governed by a phase field equation with distributed control. The phase field equation is a system of two semilinear parabolic differential equations. Stability analysis of optimization problems and regularity results for parabolic differential equations are used to proof converg...