In this paper, by considering the notion of $Sigma$-hyperalgebras for an arbitrary signature $Sigma$, we study the notions of regular and strongly regular relations on a $Sigma$-hyperalgebra, $mathfrak{A}$. We show that each regular relation which contains a strongly regular relation is a strongly regular relation. Then we concentrate on the connection between the fundamental relation of $mathf...

In his monograph [Gon86], H. Gonshor showed that Conway’s real closed field of surreal numbers carries an exponential and logarithmic map. Subsequently, L. van den Dries and P. Ehrlich showed in [vdDE01] that it is a model of the elementary theory of the field of real numbers with the exponential function. In this paper, we give a complete description of the exponential equivalence classes (see...

We will show how reaching consensus among n individuals communicating in pairs depends on the topology of the communications graph. In particular we show that the consensus on the value of union consistent function is guaranteed in any non-cyclic fair protocol. We also anylyze protocols where individuals exchange (simultaneously) information in pairs. Finally we prove a surprising result that a...

Recently, there has been a growing interest in understanding the complexity of common analytic equivalence relations between separable Banach spaces via the notion of Borel reducibility in descriptive set theory (see [Bos] [FG] [FLR] [FR1] [FR2] [Me]). In general, the notion of Borel reducibility yields a hierarchy (though not linear) among equivalence relations in terms of their relative compl...