[EN] In a reversible language, any forward computation can be undone by a finite sequence of backward steps. Reversible computing has been studied in the context of different programming languages and formalisms, where it ...
Minguzzi, E.(Universitat Politècnica de València, 2012-10-01)
[EN] A topological preordered space admits a Hausdorff T2-preorder compactification if and only if it is Tychonoff and the preorder is represented by the family of continuous isotone functions. We construct the largest ...
Bella, Angelo(Universitat Politècnica de València, 2018-04-02)
[EN] A pseudocompact space is maximal pseudocompact if every strictly finer topology is no longer pseudocompact. The main result here is a counterexample which answers a question rised by Alas, Sanchis and Wilson.
Felipe Román, María Josefa; Grittini, N.; Sotomayor, Víctor(Springer-Verlag, 2020-10)
[EN] Let N be a normal subgroup of a finite group G. In this paper, we consider the elements g of N such that x(g)¿0 for all irreducible characters x of G. Such an element is said to be non-vanishing in G. Let p be a prime. ...
[EN] We develop real Paley-Wiener theorems for classes S-omega of ultradifferentiable functions and related L-p-spaces in the spirit of Bang and Andersen for the Schwartz class. We introduce results of this type for the ...
Minguzzi, E.(Universitat Politècnica de València, 2012-04-01)
[EN] We remove the Hausdorff condition from Levin's theorem on the representation of preorders by families of continuous utilities. We compare some alternative topological assumptions in a Levin's type theorem, and show ...