Related papers: On the Monadic Second-Order Transduction Hierarchy
This paper studies the logical properties of a very general class of infinite ranked trees, namely those generated by higher-order recursion schemes. We consider, for both monadic second-order logic and modal mu-calculus, three main…
We begin a systematic development of structure theory for a first order theory, which is stable over a monadic predicate. We show that stability over a predicate implies quantifier free definability of types over stable sets, introduce an…
We describe those complete linearly ordered topological spaces $X$ which are homogeneous (=CHLOTS). That is, $X$ is order isomorphic with any nonempty open interval in $X$. Using countable tail-like ordinals as indices, we build towers of…
A Leibniz class is a class of logics closed under the formation of term-equivalent logics, compatible expansions, and non-indexed products of sets of logics. We study the complete lattice of all Leibniz classes, called the Leibniz…
In this paper, we describe the structural properties of the cone of $\mathcal{Z}$-transformations on the second order cone in terms of the semidefinite cone and copositive/completely positive cones induced by the second order cone and its…
Periodic trees are combinatorial structures which are in bijection with cluster tilting objects in cluster categories of affine type $\tilde{A}_{n-1}$. The internal edges of the tree encode the $c$-vectors corresponding to the cluster…
Using the renormalization group approach, we consider the $O(N)\otimes O(M)$ model in four and more dimensions. We find that independently on $N$ and $M$, for $N\geq M\geq 2$, a transition can be of both the first and second order. In…
This paper describes a data-driven framework to parse musical sequences into dependency trees, which are hierarchical structures used in music cognition research and music analysis. The parsing involves two steps. First, the input sequence…
We revisit the results on admissible transformations between normal linear systems of second-order ordinary differential equations with an arbitrary number of dependent variables under several appropriate gauges of the arbitrary elements…
We investigate which chordal graphs have a representation as intersection graphs of pseudosegments. For positive we have a construction which shows that all chordal graphs that can be represented as intersection graph of subpaths on a tree…
We consider the topology of real no $k$-equal spaces via the theory of cellular spanning trees. Our main theorem proves that the rank of the $(k-2)$-dimensional homology of the no $k$-equal subspace of $\mathbb{R}$ is equal to the number of…
For a vector field F on the Euclidean plane we construct, under certain assumptions on F, an ordered model-theoretic structure associated to the flow of F. We do this in such a way that the set of all limit cycles of F is represented by a…
Recent examples of periodic bifurcations in descendant trees of finite p-groups with p in {2,3} are used to show that the possible p-class tower groups G of certain multiquadratic fields K with p-class group of type (2,2,2), resp. (3,3),…
A unifying framework for the study of causal relations is presented. The causal relations are regarded as subsets of M x M and the role of the corresponding antisymmetry conditions in the construction of the causal ladder is stressed. The…
The overlap graphs of subtrees in a tree (SOGs) generalise many other graphs classes with set representation characterisations. The complexity of recognising SOGs in open. The complexities of recognising many subclasses of SOGs are known.…
We investigate several categories related to transition structures, using a mixture of algebraic and topological methods. We show how two such categories are connected by a contravariant adjunction. This is the most detailed of a family of…
Tables are widely used with various structures to organize and present data. Recent attempts on table understanding mainly focus on relational tables, yet overlook to other common table structures. In this paper, we propose TUTA, a unified…
It is well known that the existence of a braiding in a monoidal category V allows many structures to be built upon that foundation. These include a monoidal 2-category V-Cat of enriched categories and functors over V, a monoidal bicategory…
Let ${\cal B}$ be a nontrivial biplane of order $k-2$ represented by symmetric canonical incidence matrix with trace $1+ \binom{k}{2}$. We proved that ${\cal B}$ includes a partially balanced incomplete design with association scheme of…
The class of skew lattices can be seen as an algebraic category. It models an algebraic theory in the category of Sets where the Green's relation D is a congruence describing an adjunction to the category of Lattices. In this paper we will…