Related papers: Turing degree spectra of differentially closed fie…
We establish a general link between integrable systems in algebraic geometry (expressed as Jacobian flows on spectral curves) and soliton equations (expressed as evolution equations on flat connections). Our main result is a natural…
The concept of conformal field theory provides a general classification of statistical systems on two-dimensional geometries at the point of a continuous phase transition. Considering the finite-size scaling of certain special observables,…
Call a colouring of a graph distinguishing, if the only colour preserving automorphism is the identity. A conjecture of Tucker states that if every automorphism of a graph $G$ moves infinitely many vertices, then there is a distinguishing…
Important spectral features, such as the emptiness of the residual spectrum, countability of the point spectrum, provided the space is separable, and a characterization of spectral gap at $0$, known to hold for bounded scalar type spectral…
The Turing degree of a real measures the computational difficulty of producing its binary expansion. Since Turing degrees are tailsets, it follows from Kolmogorov's 0-1 law that for any property which may or may not be satisfied by any…
Arguments on PL,(=piecewise linear) topology work over any ordered field in the same way as over the real field, and those on differential topology do over a real closed field R in an o-minimal structure that expands (R,<,0,1,+,cdot). One…
Let $K$ be a type-definable infinite field in an NIP theory. If $K$ has characteristic $p > 0$, then $K$ is Artin-Schreier closed (it has no Artin-Schreier extensions). As a consequence, $p$ does not divide the degree of any finite…
\emph{Scalable spaces} are simply connected compact manifolds or finite complexes whose real cohomology algebra embeds in their algebra of (flat) differential forms. This is a rational homotopy invariant property and all scalable spaces are…
We examine the degree structure $\mathbf{ER}$ of equivalence relations on $\omega$ under computable reducibility. We examine when pairs of degrees have a join. In particular, we show that sufficiently incomparable pairs of degrees do not…
It is shown that background fields of a topological character usually introduced as such in compactified string theories correspond to quantum degrees of freedom which parametrise the freedom in choosing a representation of the zero mode…
In this paper, we apply the machinery developed in arXiv:2401.06641(2) to study the behavior of computable categoricity relativized to non-c.e. degrees. In particular, we show that we can build a computable structure which is not computably…
Classification is an important goal in many branches of mathematics. The idea is to describe the members of some class of mathematical objects, up to isomorphism or other important equivalence in terms of relatively simple invariants. Where…
This short paper presents a generalisation of Tressl's structure theorem for differentially finitely generated algebras over differential rings of characteristic 0 to the case of separable algebras over differential rings of arbitrary…
This paper shows that in general, difference fields do not have a difference closure. However, we introduce a stronger notion of closure (kappa-closure), and show that every algebraically closed difference field K of characteristic 0, with…
Deformations of the canonical spectral triples over the n-dimensional torus are considered. These deformations have a discrete dimension spectrum consisting of non-integer values less than n. The differential algebra corresponding to these…
We provide a characterisation of differentially large fields in arbitrary characteristic and a single derivation in the spirit of Blum axioms for differentially closed fields. In the case of characteristic zero, we use these axioms to…
The study of very large graphs is a prominent theme in modern-day mathematics. In this paper we develop a rigorous foundation for studying the space of finite labelled graphs and their limits. These limiting objects are naturally countable…
For an associative algebra $A$ with a simple module $M$ with trivial endomorphisms and trivial annihilator we verify the countable separation property (CSP), i.e. we prove that there exists a list of nonzero elements $a_1, a_2,\ldots$ of…
We indicate a way of distinguishing between structures, for which, two structures are said to be separable.Being separable implies being non-isomorphic. We show that for any first order theory $T$ in a countable language, if it has an…
The Burling sequence is a sequence of triangle-free graphs of increasing chromatic number. Any graph which is an induced subgraph of a graph in this sequence is called a Burling graph. These graphs have attracted some attention because they…