Related papers: Polish G-spaces, the generalized model theory and …

We investigate the duality between algebraic and coalgebraic recognition of languages to derive a generalization of the local version of Eilenberg's theorem. This theorem states that the lattice of all boolean algebras of regular languages…

Let $G$ be an abelian Polish group, e.g. a separable Banach space. A subset $X \subset G$ is called Haar null (in the sense of Christensen) if there exists a Borel set $B \supset X$ and a Borel probability measure $\mu$ on $G$ such that…

We want to give a construction as simple as possible of a Borel subset of a product of two Polish spaces. This introduces the notion of potential Wadge class. Among other things, we study the non-potentially closed sets, by proving…

We study the equivalence classes under $\Delta^1_1$ isomorphism, otherwise effective-Borel isomorphism, between complete separable metric spaces which admit a recursive presentation and we show the existence of strictly increasing and…

The article contains a survey of results on length-commensurable and isospectral locally symmetric spaces and related problems in the theory of semi-simple algebraic groups.

We survey several generalizations of the Weyl algebra including generalized Weyl algebras, twisted generalized Weyl algebras, quantized Weyl algebras, and Bell-Rogalski algebras. Attention is paid to ring-theoretic properties,…

We analyse the geometry of generic Minkowski $\mathcal{N}=1$, $D=4$ flux compactifications in string theory, the default backgrounds for string model building. In M-theory they are the natural string theoretic extensions of $\mathrm{G}_2$…

We apply the theory of large-scale geometry of Polish groups to groups of absolutely continuous homeomorphisms. Let $M$ be either the compact interval or circle. We prove that the Polish group $\operatorname{AC}_+(M)$ of…

For a fixed positive integer $g$, we let ${\mathcal P}_g = \big\{Y\in {\mathbb R}^{(g,g)} | Y= {}^tY>0 \big\}$ be the open convex cone in the Euclidean space ${\mathbb R}^{g(g+1)/2}$. Then the general linear group $GL(g,{\mathbb R})$ acts…

The paper has a form of a talk on the given topic. It consists of three parts. The first part of the paper contains main notions, the second one is devoted to logical geometry, the third part describes types and isotypeness. The problems…

We investigate the $\mathcal F$-Borel complexity of topological spaces in their different compactifcations. We provide a simple proof of the fact that a space can have arbitrarily many different complexities in different compactifications.…

We characterize coset spaces of topological groups which are coset spaces of (separable) metrizable groups and complete metrizable (Polish) groups. Besides, it is shown that for a $G$-space $X$ with a $d$-open action there is a topological…

We are concerned with questions of the following type. Suppose that $G$ and $K$ are topological groups belonging to a certain class $\cal K$ of spaces, and suppose that $\phi:K \to G$ is an abstract (i.e. not necessarily continuous)…

In recent years, a series of Transformer-based models unlocked major improvements in general natural language understanding (NLU) tasks. Such a fast pace of research would not be possible without general NLU benchmarks, which allow for a…

Let $S_\infty$ denote the topological group of permutations of the natural numbers. We study the complexity of the isomorphism relation on classes of closed subgroups $S_\infty$ in the setting of Borel reducibility between equivalence…

We investigate powerspace constructions on topological spaces, with a particular focus on the category of quasi-Polish spaces. We show that the upper and lower powerspaces commute on all quasi-Polish spaces, and show more generally that…

In 1994, Grojnowski gave a construction of an equivariant elliptic cohomology theory associated to an elliptic curve over the complex numbers. Grojnowski's construction has seen numerous applications in algebraic topology and geometric…

We show that the decision problem for the basic system of interpretability logic IL is PSPACE-complete. For this purpose we present an algorithm which uses polynomial space with respect to the complexity of a given formula. The existence of…

We study a number of local and global classification problems in generalized complex geometry. In the first topic, we characterize the local structure of generalized complex manifolds by proving that a generalized complex structure near a…

In this article we study some classical aspects of Podolsky Electrodynamics in the static regime. We develop the multipole expansion for the theory in both the electrostatic and the magnetostatic cases. We also address the problem of…