Related papers: Differentially closed fields and universality on a…

We consider the problem of deciding if a set of quantum one-qudit gates $\mathcal{S}=\{g_1,\ldots,g_n\}\subset G$ is universal, i.e if the closure $\overline{<\mathcal{S}>}$ is equal to $G$, where $G$ is either the special unitary or the…

Adapting a result of Bazhenov, Kalimullin, and Yamaleev, we show that if a Turing degree $\textbf{d}$ is the degree of categoricity of a computable structure $\mathcal{M}$ and is not the strong degree of categoricity of any computable…

We give an elementary construction of an arbitrary differentially closed field and of a universal differential extension of a differential field in terms of Nash function fields. We also give a characterization of any Archimedean ordered…

We prove that for an arbitrary subtree $T$ of $2^{<\omega}$ with each element extendable to a path, a given countable class $\mathcal{M}$ closed under disjoint union, and any set $A$, if none of the members of $\mathcal{M}$ strongly…

Stanislaw Ulam asked whether there exists a universal countable planar graph (that is, a countable planar graph that contains every countable planar graph as a subgraph). J\'anos Pach (1981) answered this question in the negative. We…

In this paper we show that the $\mathrm{K}$-homology groups of a separable C*-algebra can be enriched with additional descriptive set-theoretic information, and regarded as definable groups. Using a definable version of the Universal…

We prove a differential analog of a theorem of Chevalley on extending homomorphisms for rings with commuting derivations, generalizing a theorem of Kac. As a corollary, we establish that, under suitable hypotheses, the image of a…

In this paper, we generalize the construction method of schemes to other algebraic categories, and show that the category of coherent schemes can be characterized by a universal property, if we fix the class of Grothendieck topology. Also,…

Let $k$ be a rational congruence function field and consider an arbitrary finite separable extension $K/k$. If for each prime in $k$ ramified in $K$ we have that at least one ramification index is not divided by the characteristic of $K$,…

In [2], an exhaustive construction is achieved for the class of all 4-dimensional unital division algebras over finite fields of odd order, whose left nucleus is not minimal and whose automorphism group contains Klein's four-group. We…

A `discrete differential manifold' we call a countable set together with an algebraic differential calculus on it. This structure has already been explored in previous work and provides us with a convenient framework for the formulation of…

Infinite distance limits in the moduli space of a quantum gravity theory are characterized by having infinite towers of states becoming light, as dictated by the Distance Conjecture in the Swampland program. These towers imply a drastic…

Let $X$ be a quasi-compact, separated scheme over a field k and we can consider the categorical resolution of singularities of $X$. In this paper let $k^{\prime}/k$ be a field extension and we study the scalar extension of a categorical…

We prove that for every finitely-presented group G there exists a 2-dimensional irreducible complex-projective variety W with the fundamental group G, so that all singularities of W are normal crossings and Whitney umbrellas.

Let G be a finite group. We explore the model theoretic properties of the class of differential fields of characteristic zero in m commuting derivations equipped with a G-action by differential field automorphisms. In the language of…

We introduce the notion of Universally Decodable Matrices of Genus g (UDMG), which for g=0 reduces to the notion of Universally Decodable Matrices (UDM) introduced in [8]. A UDMG is a set of L matrices over a finite field, each with K rows,…

The notion of a K\"ahler structure for a differential calculus was recently introduced by the second author as a framework in which to study the noncommutative geometry of the quantum flag manifolds. It was subsequently shown that any…

For $m\geq 2$, we study derivations on symbol algebras of degree $m$ over fields with characteristic not dividing $m$. A differential central simple algebra over a field $k$ is split by a finitely generated extension of $k$. For certain…

Consider the semialgebraic structure over the real field. More generally, let an ominimal structure be over a real closed field. We show that a definable metric space X with a definable metric d is embedded into a Euclidean space so that…

The categoricity spectrum of a class of structures is the collection of cardinals in which the class has a single model up to isomorphism. Assuming that cardinal exponentiation is injective (a weakening of the generalized continuum…