Related papers: Remarks around the non-existence of difference-clo…

We give a sufficient condition for an algebraic structure to have a computable presentation with a computable basis and a computable presentation with no computable basis. We apply the condition to differentially closed, real closed, and…

In this paper we study maximal subrings up to isomorphism of fields. It is shown that each field with zero characteristic has infinitely many maximal subrings up to isomorphism. If $K$ is an algebraically closed field and $x$ is an…

For every natural number $m$, the existentially closed models of the theory of fields with $m$ commuting derivations can be given a first-order geometric characterization in several ways. In particular, the theory of these differential…

We study the automorphism group of the algebraic closure of a substructure A of a pseudo-finite field F. We show that the behavior of this group, even when A is large, depends essentially on the roots of unity in F. For almost all…

We prove that an infinite field interpretable in a $p$-adically closed field $K$ is definably isomorphic to a finite extension of $K$. The result remains true in any $P$-minimal field where definable functions are generically…

Let K be a complete discretely valued field with residue field k of characteristic p>0. There is a duality theory for cohomology with coefficients in commutative finite K-group schemes in the following cases : char(K)=0 and k finite (Tate),…

It is shown that if $p$ is a complete type of Lascar rank at least 2 over $A$, in the theory of differentially closed fields of characteristic zero, then there exists a pair of realisations, $a_1$ and $a_2$, such that $p$ has a nonalgebraic…

In constructive algebra one cannot in general decide the irreducibility of a polynomial over a field K. This poses some problems to showing the existence of the algebraic closure of K. We give a possible constructive interpretation of the…

A cardinal kappa is countably closed if mu^omega < kappa whenever mu < kappa. Assume that there is no inner model with a Woodin cardinal and that every set has a sharp. Let K be the core model. Assume that kappa is a countably closed…

The degree spectrum of a countable structure is the set of all Turing degrees of presentations of that structure. We show that every nonlow Turing degree lies in the spectrum of some differentially closed field (of characteristic 0, with a…

We show that for any separably closed field $k$ of characteristic $p>0$, the canonical functor from nilpotent $p$-adic spaces to $\mathbb{E}_{\infty}$-coalgebras over $k$ (given by singular chains with coefficients in $k$) is fully…

An $H$-field is a type of ordered valued differential field with a natural interaction between ordering, valuation, and derivation. The main examples are Hardy fields and fields of transseries. Aschenbrenner and van den Dries proved…

Let $k$ be a complete non-archimedean non-trivial valued field. In this paper, we investigate whether every $k$-algebra homomorphism between $k$-affinoid algebras is automatically bounded. We show that this property holds if and only if…

Let k be an algebraically closed field and A a finite dimensional associative k-algebra. We prove that there is no gap in the lengths of indecomposable A-modules of finite length. The analogous result holds for an abelian k-linear category…

The non-Leibniz formalism is introduced in this article. The formalism is based on the generalized differentiation operator (kappa-operator) with a non-zero Leibniz defect. The Leibniz defect of the introduced operator linearly depends on…

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…

This paper shows that algebraic (in)dependence is encoded in Milnor K-theory of fields. As an application, we show that the isomorphism type of a field is determined by its Milnor K-theory, up to purely inseparable extensions, in most…

Given a variety defined over a field of characteristic zero and an algebraically integrable foliation of corank less than or equal to two, we show the existence of a categorical quotient, defined on the non-empty open set of stable points,…

The structure of automorphism groups of $\kappa$-existentially closed groups are studied by Kaya-Kuzucuo\u{g}lu in 2022. It was proved that Aut(G) is the union of subgroups of level preserving automorphisms and $|Aut(G)|=2^\kappa$ whenever…

Let K be an algebraically closed field of characteristic zero, endowed with a complete nonarchimedean norm. Let X be a K-rigid analytic variety and \Sigma a semianalytic subset of X. Then the closure of \Sigma in X with respect to the…