Related papers: A P-adic structure which does not interpret an inf…
We construct examples of non-schematic algebraic spaces that become schemes after finite ground field extensions.
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…
We show that Nichols algebras of most simple Yetter-Drinfeld modules over the projective special linear group over a finite field, corresponding to non-semisimple orbits, have infinite dimension. We spell out a new criterium to show that a…
We present a new structure theorem for finite fields of odd order that relates multiplicative and additive structure in an interesting way. This theorem has several applications, including an improved understanding of Dickson and Chebyshev…
We use cell decomposition techniques to study additive reducts of p- adic fields. We consider a very general class of fields, including fields with infinite residue fields, which we study using a multi-sorted language. The results are used…
We propose a new definition of so called Hamiltonian forms in n-plectic geometry and show that they have a non-trivial Lie infinity-algebra structure.
We consider a new kind of interpretation over relational structures: finite sets interpretations. Those interpretations are defined by weak monadic second-order (WMSO) formulas with free set variables. They transform a given structure into…
We introduce a simplified framework for ord-transitive models and Shelah's non elementary proper (nep) theory. We also introduce a new construction for the countable support nep iteration.
We survey some results on the structure of the groups which are definable in theories of fields involved in the applications of model theory to Diophantine geometry. We focus more particularly on separably closed fields of finite degree of…
We prove that no infinite field is interpretable in the first-order theory of nonabelian free groups. We also obtain a characterization of Abelian groups interpretable in this theory.
In this article we prove various results about transferring or lifting $\mathrm{A}_\infty$-algebra structures along quasi-isomorphisms over a commutative ring.
We define nodal finite dimensional algebras and describe their structure over an algebraically closed field. For a special class of such algebras (type A) we find a criterion of tameness.
The class of abelian $p$-groups are an example of some very interesting phenomena in computable structure theory. We will give an elementary first-order theory $T_p$ whose models are each bi-interpretable with the disjoint union of an…
We give sufficient conditions for a first order expansion of the real line to define the standard model of the monadic second order theory of one successor. Such an expansion does not satisfy any of the combinatorial tameness properties…
The tilting correspondence is a fundamental property of perfectoid fields. In this note, we show that the tilting construction can also be used to detect perfectoid fields among nonarchimedean fields. In particular, for $K$ a complete…
We classify fields having finitely many finite non-commutative (not necessarily central) division algebras over them. In the process, we introduce the notion of anti-closure of a field and also make comments on fields having a linear…
A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness is caused only by the underivability of passive rules, i.e.…
We construct a nil algebra over a countable field which has finite but non-zero Gelfand-Kirillov dimension.
I shall describe a general model-theoretic task to construct expansions of pseudofinite structures and discuss several examples of particular relevance to computational complexity. Then I will present one specific situation where finding a…
Let $p$ be a nonzero complex number. Recently, a class of infinite rank Lie conformal algebras $\mathfrak{B}(p)$ was introduced in [13]. In this paper, we study the structure theory of this class of Lie conformal algebras. Specifically, we…