Results 281 to 290 of about 97,480 (311)

On effective topological spaces

Journal of Symbolic Logic, 1998
AbstractStarting with D. Scott's work on the mathematical foundations of programming language semantics, interest in topology has grown up in theoretical computer science, under the slogan ‘open sets are semidecidable properties’. But whereas on effectively given Scott domains all such properties are also open, this is no longer true in general.
openaire   +2 more sources

Topological spaces for cpos

1989
Informally we show why a domain with a reasonable collection of properties is a topological space. We then address the question: if one wishes to do programming language semantics in a category of topological spaces instead of the category of complete partial orders (cpos) which category should be used? This question is first considered with respect to
openaire   +1 more source

ON A CLASS OF TOPOLOGICAL SPACES

Studia Scientiarum Mathematicarum Hungarica, 2001
Let a topological s ace X be said to be rarophile i .each rare set is a .nite intersection of semi-o en sets (in the sense that A is semi-o en i .A .cl(int(A))).Various characteri- zations for raro hile spaces,examples of rarophile and non-rarophile spaces,ro erties of raro hile spaces are given and some o en roblems formulated.
openaire   +2 more sources

A Topology for Spaces of Transformations

The Annals of Mathematics, 1946
This paper defines and describes a particular type of topology2 for a class C of continuous functions on one topological space A to another, B; in other words, we topologize the class of transformations of A into (possibly a proper subset of) B. The topology is constructed thus?: Let K be any compact subset of A, and W be any open set of B.
openaire   +2 more sources

An Indoor Space Subspacing Framework for Implementing a 3D Hierarchical Network-Based Topological Data Model

ISPRS International Journal of Geo-Information, 2022
Alexis Richard C Claridades, Jiyeong Lee, Lee Jiyeong   +2 more
exaly  

Spatial topological analysis model of ship encounter space

Ocean Engineering, 2020
Zhichen Liu, Ying Li
exaly  

Dynamics of Topological Polarization Singularity in Momentum Space

Physical Review Letters, 2021
Yixuan Zeng, Guangwei Hu, Kaipeng Liu
exaly  

Observation of Protected Photonic Edge States Induced by Real-Space Topological Lattice Defects

Physical Review Letters, 2020
Qiang Wang, Haoran Xue, Baile Zhang
exaly  

ON COMPUTER TOPOLOGICAL FUNCTION SPACE

Journal of the Korean Mathematical Society, 2009
Sang-Eon Han
exaly  

Topological relations between fuzzy regions in a fuzzy topological space

International Journal of Applied Earth Observation and Geoinformation, 2010
Wolfgang Kainz
exaly