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 extend the method of Scott and Barreto and present an explicit and simple algorithm to generate families of generalized MNT elliptic curves. Our algorithm allows us to obtain all families of generalized MNT curves with any given cofactor. Then, we analyze the complex multiplication equations of these families of curves and transform them into generalized Pell equation. As an e...

In functional analysis it is well known that every linear functional defined on the dual of a locally convex vector space which is continuous for the weak∗ topology is the evaluation at a uniquely determined point of the given vector space. M. Schröder and A. Simpson have obtained a similar result for lower semicontinuous linear functionals on the cone of all Scott-continuous valuations on a to...

Abstract. Let L be a lattice and M a bounded distributive lattice. Let ConL denote the congruence lattice of L, P (M) the Priestley dual space of M , and L (M) the lattice of continuous order-preserving maps from P (M) to L with the discrete topology. It is shown that Con(L ) ∼= (ConL) P (ConM) Λ , the lattice of continuous order-preserving maps from P (ConM) to ConL with the Lawson topology. V...

In functional analysis it is well known that every linear functional defined on the dual of a locally convex vector space which is continuous for the weak topology is the evaluation at a uniquely determined point of the given vector space. M. Schröder and A. Simpson have obtained a similar result for lower semicontinuous linear functionals on the cone of all Scott-continuous valuations on a top...

This paper uses ideas from artiicial intelligence to show how default notions can be deened over Scott domains. We combine these ideas with ideas arising in domain theory to shed some light on the properties of nonmonotonicity in a general model-theoretic setting. We consider in particular a notion of default nonmonotonic entailment between prime open sets in the Scott topology of a domain. We ...

In this paper we give an example of a countably-based algebraic domain D such that max(D) is Hausdorff but not regular in the relative Scott topology, and such that max(D) contains the usual space of rational numbers as a closed subspace. Our example shows that certain known results about max(D), where max(D) is regular and D is countably based, are the sharpest possible. MR Classifications: pr...

In this article, we characterise all continuous posets which are partially metrizable in their Scott topology. We present conditions for pmetrizability, which are both necessary and sufficient, in terms of measurements, domain-theoretic bases and, in a more general setting, in terms of radially convex metrics. These conditions, together with their refinements and generalisations, set a natural ...

This paper uses ideas from artiicial intelligence to show how default notions can be deened over Scott domains. We combine these ideas with ideas arising in domain theory to shed some light on the properties of nonmonotonicity in a general model-theoretic setting. We consider in particular a notion of default nonmonotonic entailment between prime open sets in the Scott topology of a domain. We ...