Related papers: Model theory of difference fields with an additive…
We show that the generic automorphism is axiomatisable in the green field of Poizat (once Morleyised) as well as in the bad fields which are obtained by collapsing this green field to finite Morley rank. As a corollary, we obtain "bad…
We present recent results on the model companions of set theory, placing them in the context of the current debate in the philosophy of mathematics. We start by describing the dependence of the notion of model companionship on the…
If $\mathscr{J}$ is a finite-dimensional nilpotent algebra over a finite field $\Bbbk$, the algebra group $P = 1+\mathscr{J}$ admits a (standard) supercharacter theory as defined by Diaconis and Isaacs. If $\mathscr{J}$ is endowed with an…
Boundaries in gauge field theories are known to be the locus of a wealth of interesting phenomena, as illustrated for example by the holographic principle or by the AdS/CFT and bulk-boundary correspondences. In particular, it has been…
In this work we extend our study on a link between automaticity and certain algebraic power series over finite fields. Our starting point is a family of sequences in a finite field of characteristic $2$, recently introduced by the first…
A differential-algebraic geometric analogue of the Dixmier-Moeglin equivalence is articulated, and proven to hold for $D$-groups over the constants. The model theory of differentially closed fields of characteristic zero, in particular the…
Alternating parity automata (APAs) provide a robust formalism for modelling infinite behaviours and play a central role in formal verification. Despite their widespread use, the algebraic theory underlying APAs has remained largely…
The topological properties of field configurations in gauge theory contain important data about the (generalized) global symmetries of the theory as well as potential inconsistencies in the form of gauge anomalies. In this work we modify…
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…
This paper proves a commutative algebraic extension of a generalized Skolem-Mahler-Lech theorem due to the first author. Let $A$ be a finitely generated commutative $K$-algebra over a field of characteristic $0$, and let $\sigma$ be a…
The additivity with respect to exact sequences is notoriously a fundamental property of the algebraic entropy of group endomorphisms. It was proved for abelian groups by deeply exploiting their structure. On the other hand, a solvable…
This paper contributes to a theory of the behaviour of "finite-state" systems that is generic in the system type. We propose that such systems are modeled as coalgebras with a finitely generated carrier for an endofunctor on a locally…
In this paper, the author proved that the base change lifting associated to a totally ramified extension of a non-archimedean local field coincides with a map coming from the close fields theory of Kazhdan under some conditions. As a…
In the last decades affine algebraic varieties and Stein manifolds with big (infinite-dimensional) automorphism groups have been intensively studied. Several notions expressing that the automorphisms group is big have been proposed. All of…
In this paper we consider the classes of all continuous $\mathcal{L}$-(pre-)structures for a continuous first-order signature $\mathcal{L}$. We characterize the moduli of continuity for which the classes of finite, countable, or all…
A matching from a finite subset $A$ of an abelian group to another subset $B$ is a bijection $f:A\rightarrow B$ with the property that $a+f(a)$ never lies in $A$. A matching is called acyclic if it is uniquely determined by its multiplicity…
Let F be a global function field and let F^ab be its maximal abelian extension. Following an approach of D.Hayes, we shall construct a continuous homomorphism \rho: Gal(F^ab/F) \to C_F, where C_F is the idele class group of F. Using class…
We show how the natural Abelian duality of 2 and 3-form gravity theories on seven dimensional manifold CY3xS1, leads to an S-duality between 2 and 3-form theories on simply connected CY3. The massless sector of the 2-form field theory on…
We construct extended TQFTs associated to Rozansky--Witten models with target manifolds $T^*\mathbb{C}^n$. The starting point of the construction is the 3-category whose objects are such Rozansky--Witten models, and whose morphisms are…
We present ABA+, a new approach to handling preferences in a well known structured argumentation formalism, Assumption-Based Argumentation (ABA). In ABA+, preference information given over assumptions is incorporated directly into the…