Related papers: Wadge degrees of $\Delta^0_2$ omega-powers

Let $n$ be a positive integer, $\sigma$ be an element of the symmetric group $\mathcal{S}_n$ and let $\sigma$ be a cycle of length $n$. The elements $\alpha ,\beta \in \mathcal{S}_n$ are $\sigma$-equivalent, if there are natural numbers $k$…

A cohesive power of a computable structure is an effective ultrapower where a cohesive set acts as an ultrafilter. Let $\omega$, $\zeta$, and $\eta$ denote the respective order-types of the natural numbers, the integers, and the rationals.…

Let $c$ be a positive odd integer and $R$ a set of $n$ primes coprime with $c$. We consider equations $X + Y = c^z$ in three integer unknowns $X$, $Y$, $z$, where $z > 0$, $Y > X > 0$, and the primes dividing $XY$ are precisely those in…

The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Buchi, regular languages have been classified according to their descriptive complexity, i.e. the type of logical…

We construct a realization of the algebra of the Z_3-graded topological symmetry of type (1,1,1) in terms of a pair of operators D_1: H_1 -> H_2, and D_2: H_2 -> H_3 satisfying [D_1D_1^\dagger,D_2^\dagger D_2]=0. We show that the sequence…

Hierarchies of Lagrangians of degree two, each only partly determined by the choice of leading terms and with some coefficients remaining free, are considered. The free coefficients they contain satisfy the most general differential…

Automata over infinite words, also known as omega-automata, play a key role in the verification and synthesis of reactive systems. The spectrum of omega-automata is defined by two characteristics: the acceptance condition (e.g. B\"uchi or…

The normal form for a system of ode's is constructed from its polynomial symmetries of the linear part of the system, which is assumed to be semi-simple. The symmetries are shown to have a simple structure such as invariant function times…

Let $\Omega$ denote the class of functions $f$ analytic in the open unit disc $\Delta$, normalized by the condition $f(0)=f'(0)-1=0$ and satisfying the inequality \begin{equation*} \left|zf'(z)-f(z)\right|<\frac{1}{2}\quad(z\in\Delta).…

We define and compute explicitly the classical limit of the realizations of $W_n$ appearing as hamiltonian structures of generalized KdV hierarchies. The classical limit is obtained by taking the commutative limit of the ring of…

This paper is concerned with the algebraic dual D*(\Omega) of the space of test functions D(\Omega). The emphasis is on failures and successes of D*(\Omega) as compared to the continuous dual D'(\Omega), the space of distributions.…

Let $\Omega$ be a metric space, $A^t$ denote the metric neighborhood of the set $A\subset\Omega$ of the radius $t$; ${\mathfrak O}$ be the lattice of open sets in $\Omega$ with the partial order $\subseteq$ and the order convergence. The…

Right-linear (or left-linear) grammars are a well-known class of context-free grammars computing just the regular languages. They may naturally be written as expressions with (least) fixed points but with products restricted to letters as…

Let $N_{g,n}$ be a genus $g$ compact non-orientable surface with $n$ boundaries. We explain about relations on the level $d$ mapping class group $\mathcal{M}_d(N_{g,0})$ of $N_{g,0}$ and the level $d$ principal congruence subgroup…

We generate all the Orthogonal Arrays (OAs) of a given size n and strength t as the union of a collection of OAs which belong to an inclusion-minimal set of OAs. We derive a formula for computing the (Generalized) Word Length Pattern of a…

A radial weight $\omega$ belongs to the class $\widehat{\mathcal{D}}$ if there exists $C=C(\omega)\ge 1$ such that $\int_r^1 \omega(s)\,ds\le C\int_{\frac{1+r}{2}}^1\omega(s)\,ds$ for all $0\le r<1$. Write $\omega\in\check{\mathcal{D}}$ if…

Let $\omega_0, \omega_1,\ldots, \omega_n$ be a full set of outcomes (letters, symbols) and let positive $p_i$, $i=0,\ldots,n$, be their probabilities ($\sum_{i=0}^n p_i=1$). Let us treat $\omega_0$ as a stop symbol; it can occur in…

We introduce layered automata, a subclass of alternating parity automata that generalises deterministic automata. Assuming a consistency property, these automata are history deterministic and 0-1 probabilistic. We show that every…

Families of deterministic finite automata (FDFA) represent regular $\omega$-languages through their ultimately periodic words (UP-words). An FDFA accepts pairs of words, where the first component corresponds to a prefix of the UP-word, and…

We consider rational power series over an alphabet $\Sigma$ with coefficients in a ordered commutative semiring $K$ and characterize them as the free ordered $K$-semialgebras in various classes of ordered $K$-semialgebras equipped with a…