Related papers: Representing Scott sets in algebraic settings

A first-order theory T has the Schr\"oder-Bernstein (SB) property if any pair of elementarily bi-embeddable models are isomorphic. We prove that T has an expansion by constants that has the SB property if and only if T is superstable and…

We show that, in the space of all totally real fields equipped with the constructible topology, the set of fields that admit a universal quadratic form, or have the Northcott property, is meager. The main tool is a new theorem on the number…

We prove some facts about locales $L$ equipped with the Scott topology $\Omega(L)$, in particular studying a canonical frame homomorphism $\phi:\Omega(L)\to L$ which is motivated by an application to cognitive science. Such a topological…

We prove that two finite-dimensional commutative algebras over an algebraically closed field are isomorphic if and only if they give rise to isomorphic representations of the category of finite sets and surjective maps.

We prove that the main examples in the theory of algebraic differential equations possess a remarkable total differential overconvergence property. This allows one to consider solutions to these equations with coordinates in algebraically…

For a unitary unramified genuine principal series representation of a covering group, we study the associated R-group. We prove a formula relating the R-group to the dimension of the Whittaker space for the irreducible constituents of such…

Let $G$ be a model of Presburger arithmetic. Let $\mathcal{L}$ be an expansion of the language of Presburger $\mathcal{L}_{Pres}$. In this paper we prove that the $\mathcal{L}$-theory of $G$ is $\mathcal{L}_{Pres}$-minimal iff it has the…

We prove that if $A$ is a computable Hopfian finitely presented structure, then $A$ has a computable $d$-$\Sigma_2$ Scott sentence if and only if the weak Whitehead problem for $A$ is decidable. We use this to infer that every hyperbolic…

A two-parametric family of integrable models (the SS model) that contains as particular cases several well known integrable quantum field theories is considered. After the quantum group restriction it describes a wide class of integrable…

Systems of equations with sets of integers as unknowns are considered. It is shown that the class of sets representable by unique solutions of equations using the operations of union and addition $S+T=\makeset{m+n}{m \in S, \: n \in T}$ and…

We give explicit formulas on total Springer representations for classical types. We also describe the characters of restrictions of such representations to a maximal parabolic subgroup isomorphic to a symmetric group. As a result, we give…

We extend some results of Bonahon, Bullock, Turaev and Wong concerning the skein algebras of closed surfaces to L^e's stated skein algebra associated to open surfaces. We prove that the stated skein algebra with deforming parameter +1…

Let $H$ be an acylindrically hyperbolic group without nontrivial finite normal subgroups. We show that any finite system $S$ of equations with constants from $H$ is equivalent to a single equation. We also show that the algebraic set…

This is the third article in the series begun with [BonWon3, BonWon4], devoted to finite-dimensional representations of the Kauffman bracket skein algebra of an oriented surface $S$. In [BonWon3] we associated a classical shadow to an…

The class of finitely presented algebras over a field $K$ with a set of generators $a_{1},\ldots , a_{n}$ and defined by homogeneous relations of the form $a_{1}a_{2}\cdots a_{n} =a_{\sigma (1)} a_{\sigma (2)} \cdots a_{\sigma (n)}$, where…

We show that the Sarkisov program holds for $\mathbb{Q}$-factorial log surfaces and log canonical surfaces over any algebraically closed field.

We consider the appearance of multiple scalar fields in SFT inspired non-local models with a single scalar field at late times. In this regime all the scalar fields are free. This system minimally coupled to gravity can be analyzed…

We prove a cell decomposition theorem for Presburger sets and introduce a dimension theory for Z-groups with the Presburger structure. Using the cell decomposition theorem we obtain a full classification of Presburger sets up to definable…

For a semibounded sesquilinear form ${\mathfrak t}$ in a Hilbert space ${\mathfrak H}$ there exists a representing map $Q$ from ${\mathfrak H}$ to another Hilbert space ${\mathfrak K}$, such that ${\mathfrak t}[\varphi, \psi]-c(\varphi,…

Let G/H be a unimodular real spherical space which is either absolutely spherical or wave-front. It is shown that every tempered representation of G/H embeds into a relative discrete series of a boundary degeneration of G/H. If in addition…