We consider logics which define different properties of functions –such as injectivity, surjectivity, monotonicity, etc.– in the context of temporal×modal logic. In this type of logics, the possible worlds semantics is modified by considering each world as a temporal flow and using accessibility functions to represent the connection among them. This approach is adequate to model interactions be...

The Besicovitch pseudodistance measures the relative size of the set of points where two functions take different values; the quotient space modulo the induced equivalence relation is endowed with a natural metric. We study the behavior of cellular automata in the new topology and show that, under suitable additional hypotheses, they retain certain properties possessed in the usual product topo...

We give a criterion to check if, given a prime power pr with r > 1, the only rational points of the modular curve X 0 (p r) are trivial (i.e. cusps or points furnished by complex multiplication). We then prove that this criterion is verified if p satisfies explicit congruences. This applies in particular to the modular curves Xsplit(p), which intervene in the problem of Serre concerning uniform...

The Besicovitch pseudodistance measures the relative size of the set of points where two functions take different values; the quotient space modulo the induced equivalence relation is endowed with a natural metric. We study the behaviour of cellular automata in the new topology and show that, under suitable additional hypotheses, they retain certain properties possessed in the usual product top...

We investigate topological and ergodic properties of cellular automata having equicontinuity points. In this class surjectivity on a transitive SFT implies existence of a dense set of periodic points. Our main result is that under the action of such an automaton any shift–ergodic measure converges in Cesàro mean, assuming equicontinuity points have measure 1; the limit measure is described by a...

By a theorem of Wahl, the canonically embedded curves which are hyperplane section of K3 surfaces are distinguished by the non-surjectivity of their Wahl map. In this paper we address the problem of distinguishing hyperplane sections of abelian surfaces. The somewhat surprising result is that the Wahl map of such curves is (tendentially) surjective, but their second Wahl map has corank at least...

Surjectivity of linear projections between distribution families with fixed mean and covariance (regardless of dimension) is re-derived by a new proof. We further extend this property to distribution families that respect additional constraints, such as symmetry, unimodality and log-concavity. By combining our results with classic univariate inequalities, we provide new worst-case analyses for ...

A completion via Frink ideals is used to define a convex powerdomain of an arbitrary continuous lattice as a continuous lattice. The powerdomain operator is a functor in the category of continuous lattices and continuous inf-preserving maps and preserves projective limits and surjectivity of morphisms; hence one can solve domain equations in which it occurs. Analogous results hold for algebraic...