Page 1 Next

Displaying 1 – 20 of 45

Showing per page

𝒵 -distributive function lattices

Marcel Erné (2013)

Mathematica Bohemica

It is known that for a nonempty topological space X and a nonsingleton complete lattice Y endowed with the Scott topology, the partially ordered set [ X , Y ] of all continuous functions from X into Y is a continuous lattice if and only if both Y and the open set lattice 𝒪 X are continuous lattices. This result extends to certain classes of 𝒵 -distributive lattices, where 𝒵 is a subset system replacing the system 𝒟 of all directed subsets (for which the 𝒟 -distributive complete lattices are just the continuous...

A note on topology of Z -continuous posets

Venu G. Menon (1996)

Commentationes Mathematicae Universitatis Carolinae

Z -continuous posets are common generalizations of continuous posets, completely distributive lattices, and unique factorization posets. Though the algebraic properties of Z -continuous posets had been studied by several authors, the topological properties are rather unknown. In this short note an intrinsic topology on a Z -continuous poset is defined and its properties are explored.

A result forO2-convergence to be topological in posets

Qingguo Li, Zhiwei Zou (2016)

Open Mathematics

In this paper, the α waybelow relation, which is determined by O2-convergence, is characterized by the order on a poset, and a sufficient and necessary condition for O2-convergence to be topological is obtained.

Compact pospaces

Venu G. Menon (2003)

Commentationes Mathematicae Universitatis Carolinae

Posets with property DINT which are compact pospaces with respect to the interval topologies are characterized.

Conditions under which the least compactification of a regular continuous frame is perfect

Dharmanand Baboolal (2012)

Czechoslovak Mathematical Journal

We characterize those regular continuous frames for which the least compactification is a perfect compactification. Perfect compactifications are those compactifications of frames for which the right adjoint of the compactification map preserves disjoint binary joins. Essential to our characterization is the construction of the frame analog of the two-point compactification of a locally compact Hausdorff space, and the concept of remainder in a frame compactification. Indeed, one of the characterizations...

Denotational aspects of untyped normalization by evaluation

Andrzej Filinski, Henning Korsholm Rohde (2005)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

We show that the standard normalization-by-evaluation construction for the simply-typed λ β η -calculus has a natural counterpart for the untyped λ β -calculus, with the central type-indexed logical relation replaced by a “recursively defined” invariant relation, in the style of Pitts. In fact, the construction can be seen as generalizing a computational-adequacy argument for an untyped, call-by-name language to normalization instead of evaluation.In the untyped setting, not all terms have normal forms,...

Denotational aspects of untyped normalization by evaluation

Andrzej Filinski, Henning Korsholm Rohde (2010)

RAIRO - Theoretical Informatics and Applications

We show that the standard normalization-by-evaluation construction for the simply-typed λβη-calculus has a natural counterpart for the untyped λβ-calculus, with the central type-indexed logical relation replaced by a “recursively defined” invariant relation, in the style of Pitts. In fact, the construction can be seen as generalizing a computational-adequacy argument for an untyped, call-by-name language to normalization instead of evaluation.In the untyped setting, not all terms have normal...

Domain representability of C p ( X )

Harold Bennett, David Lutzer (2008)

Fundamenta Mathematicae

Let C p ( X ) be the space of continuous real-valued functions on X, with the topology of pointwise convergence. We consider the following three properties of a space X: (a) C p ( X ) is Scott-domain representable; (b) C p ( X ) is domain representable; (c) X is discrete. We show that those three properties are mutually equivalent in any normal T₁-space, and that properties (a) and (c) are equivalent in any completely regular pseudo-normal space. For normal spaces, this generalizes the recent result of Tkachuk that C p ( X ) is...

Domain-representable spaces

Harold Bennett, David Lutzer (2006)

Fundamenta Mathematicae

We study domain-representable spaces, i.e., spaces that can be represented as the space of maximal elements of some continuous directed-complete partial order (= domain) with the Scott topology. We show that the Michael and Sorgenfrey lines are of this type, as is any subspace of any space of ordinals. We show that any completely regular space is a closed subset of some domain-representable space, and that if X is domain-representable, then so is any G δ -subspace of X. It follows that any Čech-complete...

Currently displaying 1 – 20 of 45

Page 1 Next