Related papers: A Topological proof that $O_2$ is $2$-MCFL

We show that if a context-free grammar generates a language whose lexicographic ordering is well-ordered of type less than $\omega^2$, then its order type is effectively computable.

We show that the class of groups with $k$-multiple context-free word problem is closed under graphs of groups with finite edge groups.

It was recently proven that all free and many virtually free verbally closed subgroups are algebraically closed in any group. We establish sufficient conditions for a group that is an extension of a free non-abelian group by a group…

We show that the first-order logical theory of the binary overlap-free words (and, more generally, the ${\alpha}$-free words for rational ${\alpha}$, $2 < {\alpha} \leq 7/3$), is decidable. As a consequence, many results previously obtained…

We study the logic FO(~), the extension of first-order logic with team semantics by unrestricted Boolean negation. It was recently shown axiomatizable, but otherwise has not yet received much attention in questions of computational…

Context-free grammars are not able to model cross-serial dependencies in natural languages. To overcome this issue, Seki et al. introduced a generalization called $m$-multiple context-free grammars ($m$-MCFGs), which deal with $m$-tuples of…

The purpose of this paper is to provide an octonionic description of the Lie group $SL(2,{\mathbb O})$. The main result states that it can be obtained as a free group generated by invertible and determinant preserving transformations from…

Surface groups are known to be the Poincar\'e Duality groups of dimension two since the work of Eckmann, Linnell and M\"uller. We prove a prosolvable analogue of this result that allows us to show that surface groups are profinitely (and…

We prove that the group $\mathrm{SAut}_{\mathrm{k}}(\mathbb{A}^2)$ is simple as an algebraic group of infinite dimension, over any infinite field $\mathrm{k}$, by proving that any closed normal subgroup is either trivial or the whole group.…

We study the language-theoretic aspects of the word problem, in the sense of Duncan & Gilman, of free products of semigroups and monoids. First, we provide algebraic tools for studying classes of languages known as super-AFLs, which…

Let $G$ be a group. We can topologize the spaces of left-orderings $LO(G)$ and bi-orderings $O(G)$ of $G$ with the product topology. These spaces may or may not have isolated points. It is known that $LO(F_n)$ has no isolated points, where…

OWL 2 has been standardized by the World Wide Web Consortium (W3C) as a family of ontology languages for the Semantic Web. The most expressive of these languages is OWL 2 Full, but to date no reasoner has been implemented for this language.…

We give a new proof of a result of Ozawa showing that if a von Neumann subalgebra $Q$ of a free group factor $L\Bbb F_n, 2\leq n\leq \infty$ has relative commutant diffuse (i.e. without atoms), then $Q$ is amenable.

We survey recent results on the topological complexity of context-free omega-languages which form the second level of the Chomsky hierarchy of languages of infinite words. In particular, we consider the Borel hierarchy and the Wadge…

Let $\FP(X)$ be the free paratopological group on a topological space $X$. For $n\in \N$, denote by $\FP_n(X)$ the subset of $\FP(X)$ consisting of all words of reduced length at most $n$, and by $i_n$ the natural mapping from $(X\oplus…

We prove a Chomsky-Sch\"utzenberger representation theorem for multiple context-free languages weighted over complete commutative strong bimonoids.

Let F be a non-archimedean local field of characteristic zero. We consider distributions on GL(n+1,F) which are invariant under the adjoint action of GL(n,F). We prove that any such distribution is invariant with respect to transposition.…

We show that the unitary group of any SOT-separable $\mathrm{II}_1$ factor $M$, with the strong operator topology, is contractible. Combined with several old results, this implies that the same is true for any SOT-separable von Neumann…

We prove a generalization of Shafarevich's Conjecture for fields of Laurent series in two variables over an arbitrary field. While not projective, the absolute Galois group of such a field is shown to be semi-free. We also show that the…

We prove that for a number of ultrahomogeneous structures $M$, including those with the free amalgamation property, the powers of the automorphism group ${\rm{Aut}}(M)^n$, $n=1,2,\ldots$, and the group $L_0({\rm{ Aut}}(M))$ of measurable…