In this paper‎, ‎we mainly investigate how the generalized metrizability properties of the remainders affect the metrizability of rectifiable spaces‎, ‎and how the character of the remainders affects the character‎ ‎and the size of a rectifiable space‎. ‎Some results in [A. V‎. ‎Arhangel'skii and J‎. ‎Van Mill‎, ‎On topological groups with a first-countable remainder‎, ‎Topology Proc. 42 (2013...

We propose a classification of partial order temporal properties into a hierarchy, which is a generalization of the safety-progress hierarchy of Chang, Manna and Pnueli. The classes of the hierarchy are characterized through three views: language-theoretic, topological and temporal. Instead of the domain of strings, we take the domain of Mazurkiewicz traces as a basis for our considerations. Fo...

Two common approaches to constructive and effective topology are connected by showing that formal topologies have canonical representation in terms of Scott domains. Moreover a map lifting theorem for the representation is proved. MSC 2000 classification: 54A05, 03D45, 03F65.

Multilevel power converters provide more than two levels of voltage to achieve smoother and less distorted ac to-dc, dc-to-ac, and dc-to-dc power conversion. This paper presents a generalized multilevel inverter (converter) topology with self voltage balancing. The generalized multilevel inverter topology provides a true multilevel structure that can balance each DC voltage level automatically ...

We prove some results on the Wadge order on the space of sets of natural numbers endowed with Scott topology, and more generally, on omega-continuous domains. Using alternating decreasing chains we characterize the property of Wadge hardness for the classes of the Hausdorff difference hierarchy (iterated differences of open sets). A similar characterization holds for Wadge one-to-one and finite...