Related papers: $\Sigma^{\mu}_2$ is decidable for $\Pi^{\mu}_2$

In this paper we demonstrate decidability for the intuitionistic modal logic S4 first formulated by Fischer Servi. This solves a problem that has been open for almost thirty years since it had been posed in Simpson's PhD thesis in 1994. We…

Making use of Chebyshev polynomials, we obtain upper bound estimate for the second Hankel determinant of a subclass $\mathcal{N}_{\sigma }^{\mu}\left( \lambda ,t\right) $ of bi-univalent function class $\sigma.$

In terms of the operator method, we prove two conjectural series for $\pi$ of Sun involving harmonic numbers of order two. Furthermore, we also give $q$-analogues of six $\pi$-formulas including the two ones just mentioned.

This paper revisits the well-established relationship between the modal mu calculus and parity games to show that it is even more robust than previously known. It addresses the question of whether the descriptive complexity of modal mu…

A decomposition of any symmetric power of $\Bbb C^2\otimes\Bbb C^2\otimes\Bbb C^2$ into irreducible $sl_2(\Bbb C)\oplus sl_2(\Bbb C)\oplus sl_2(\Bbb C)$-submodules are presented. Namely, the multiplicities of irreducible summands in the…

Senizergues has proved that language equivalence is decidable for disjoint epsilon-deterministic PDA. Stirling has showed that strong bisimilarity is decidable for PDA. On the negative side Srba demonstrated that the weak bisimilarity is…

Adding modular predicates yields a generalization of first-order logic FO over words. The expressive power of FO[<,MOD] with order comparison $x<y$ and predicates for $x \equiv i \mod n$ has been investigated by Barrington, Compton,…

We prove a determinant formula for a parabolic Verma module of a Lie superalgebra, previously conjectured by the second author. Our determinant formula generalizes the previous results of Jantzen for a parabolic Verma module of a…

We consider decision problems for relations over finite and infinite words defined by finite automata. We prove that the equivalence problem for binary deterministic rational relations over infinite words is undecidable in contrast to the…

Consider a linear ordering equipped with a finite sequence of monadic predicates. If the ordering contains an interval of order type \omega or -\omega, and the monadic second-order theory of the combined structure is decidable, there exists…

A topological space $A$ is said to be compatible with a set $\Sigma$ of equations (involving operation symbols $F_t$) iff there are continuous operations $\overline F_t$ identically satisfying $\Sigma$ on $A$. The paper's main focus is on…

Let $R$ be a ring. $R$ is called a right countably $\Sigma$-C2 ring if every countable direct sum copies of $R_{R}$ is a C2 module. The following are equivalent for a ring $R$: (1) $R$ is a right countably $\Sigma$-C2 ring. (2) The column…

In this paper, the divisibility property of the type 2 $(p, q)$-analogue of the $r$-Whitney numbers of the second kind is established. More precisely, a congruence relation modulo $pq$ for this $(p,q)$-analogue is derived.

We prove that it is decidable if a finitely based permutation class contains infinitely many simple permutations, and establish an unavoidable substructure result for simple permutations: every sufficiently long simple permutation contains…

Classification is a central problem for dynamical systems, in particular for families that arise in a wide range of topics, like substitution subshifts. It is important to be able to distinguish whether two such subshifts are isomorphic,…

The divisor function $\sigma(n)$ denotes the sum of the divisors of the positive integer $n$. For a prime $p$ and $m \in \mathbb{N}$, the $p$-adic valuation of $m$ is the highest power of $p$ which divides $m$. Formulas for…

It is easy to show that a pseudovariety which is reducible with respect to an implicit signature $\sigma$ for the equation $x=y$ can also be defined by $\sigma$-identities. We present several negative examples for the converse using…

Electromagnetic field is considered in the framework of Clifford algebra $\C_2$ over a field of complex numbers. It is shown here that a modulo 2 periodicity of complex Clifford algebras may be connected with electromagnetic field.

We prove a convergence theorem on the moduli space of constant $\sigma_{2}$ metrics for conic 4-spheres. We show that when a numerical condition is convergent to the boundary case, the geometry of conic 4-spheres converges to the boundary…

In this paper, we introduce a hierarchy dividing the set $\{\sigma \in \Pi^1_2 : \Pi^1_1$-$\mathsf{CA}_0 \vdash \sigma\}$. Then, we give some characterizations of this set using weaker variants of some principles equivalent to…