Related papers: Back and Forth Systems Witnessing Irreversibility
The theory of noninterference supports the analysis of secure computations in multi-level security systems. Classical equivalence-based approaches to noninterference mainly rely on bisimilarity. In a nondeterministic setting, assessing…
Most of results of Bestvina and Mogilski [\textit{Characterizing certain incomplete infinite-dimensional absolute retracts}, Michigan Math. J. \textbf{33} (1986), 291--313] on strong $Z$-sets in ANR's and absorbing sets is generalized to…
An element $g$ in a group $G$ is called reversible (or real) if it is conjugate to $g^{-1}$ in $G$, i.e., there exists $h$ in $G$ such that $g^{-1}=hgh^{-1}$. The element $g$ is called strongly reversible if the conjugating element $h$ is…
Order dimension theory measures the complexity of partially ordered sets by quantifying how far they are from being linearly ordered. In this paper we study classical bounding results for order dimension within the framework of reverse…
Let $S$ be a Scott set, or even an $\omega$-model of $\mathsf{WWKL}$. Then for each $A\in S$, either there is $X \in S$ that is weakly 2-random relative to $A$, or there is $X\in S$ that is 1-generic relative to $A$. It follows that if…
Many theorems of mathematics have the form that for a certain problem, e.g. a differential equation or polynomial (in)equality, there exists a solution. The sequential version then states that for a sequence of problems, there is a sequence…
Any finite set of linear operators on an algebra $A$ yields an operator algebra $B$ and a module structure on A, whose endomorphism ring is isomorphic to a subring $A^B$ of certain invariant elements of $A$. We show that if $A$ is a…
Reversible forms of computations are often interesting from an energy efficiency point of view. When the computation device in question is an automaton, it is known that the minimal reversible automaton recognizing a given language is not…
Regarding the question of how idempotent elements affect reversible property of rings, we study a version of reversibility depending on idempotents. In this perspective, we introduce {\it right} (resp., {\it left}) {\it $e$-reversible…
We study the Borel reducibility of isomorphism relations in the generalized Baire space $\kappa^\kappa$. In the main result we show for inaccessible $\kappa$, that if $T$ is a classifiable theory and $T'$ is stable with OCP, then the…
We show that the decidability of the first-order theory of the language that combines Boolean algebras of sets of uninterpreted elements with Presburger arithmetic operations. We thereby disprove a recent conjecture that this theory is…
A compact space X is I-favorable if, and only if X can be representing as a limit of $\sigma$-complete inverse system of compact metrizable spaces with skeletal bonding maps.
Let PL+(S1) be the group of order preserving piecewise linear homeomorphisms of the circle. An element in PL+(S1) is called reversible in PL+(S1) if it is conjugate to its inverse in PL+(S1). We characterize the reversible elements in…
A condition characterizing the class of regular languages which have several nonisomorphic minimal reversible automata is presented. The condition concerns the structure of the minimum automaton accepting the language under consideration.…
We study the representations of a class of non-commutative polynomial algebras truncated at degree 3, with one additional relation. We determine the irreducible components of their varieties of representations. We do this by showing that…
In this note, we characterize affine and non-affine Coxeter systems among all Coxeter systems in terms of the structure of their reflection orders. For an infinite irreducible system $(W,S)$, we show that affineness can be characterized in…
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 has been used for…
Let $X\subset \mathbb {P}^r$ be an integral and non-degenerate variety. For any $q\in \mathbb {P}^r$ let $r_X(q)$ be its $X$-rank and $\mathcal {S} (X,q)$ the set of all finite subsets of $X$ such that $|S|=r_X(q)$ and $q\in \langle…
Let $R$ be a commutative integral unital domain and $L$ a free non-commutative Lie algebra over $R$. In this paper we show that the ring $R$ and its action on $L$ are 0-interpretable in $L$, viewed as a ring with the standard ring language…
We derive a recursion relation in the framework of Lagrangian perturbation theory, appropriate for studying the inhomogeneities of the large scale structure of the universe. We use the fact that the perturbative expansion of the matter…