Transfinite metrics, sequences and topological properties

Reasoning About Transfinite Sequences

We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequences of actions and quantitative temporal operators indexed by ordinals replace the standard next-time and until future-time operators. Our aim is to control such systems by designing controllers that safely work on ω-s...

Reasoning about transfinite sequences (extended abtract)

We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequences of actions and quantitative temporal operators indexed by ordinals replace the standard next-time and until future-time operators. Our aim is to control such systems by designing controllers that safely work on ω-s...

Some New Properties of Transfinite Ordinals

1 Presented to the Society, December 27, 1939. The author is indebted to Professor W. A. Hurwitz for his indispensable advice in the preparation of this paper. 2 W. Sierpinski, Leçons sur les Nombres Transfinis, Paris, 1928, p. 202; hereafter referred to as Sierpinski (I). The theorem was first stated for ordinals of the first and second ordinal class by G. Cantor, Beitrdge zur Begründung der t...

Topological properties of some sequences defined over 2-normed spaces

The paper investigates some classes of real number sequences over 2-normed spaces defined by means of Orlicz functions, a bounded sequence of strictly positive real numbers, a multiplier and a normal paranormed sequence space. Relevant properties of such classes have been investigated. Moreover, relationships among different such classes of sequences have also been studied under various paramet...

Transfinite Equations in Transfinite Strings