Related papers: One-dimensional F-definable sets in F((t))

We establish vanishing results for the first cohomology group of nilpotent groups and Lie rings when the submodule of invariants is trivial. Our results are obtained within a model-theoretic setting, namely for structures that are definable…

Refining a constructive combinatorial method due to MacLane and Schilling, we give several criteria for a valued field that guarantee that all of its maximal immediate extensions have infinite transcendence degree. If the value group of the…

We show that any positive characteristic tame Hahn field $\mathbb{F}((t^\Gamma))$ containing $t$ is decidable in $\mathcal{L}_t$, the language of valued fields with a constant symbol for $t$, if $\mathbb{F}$ and $\Gamma$ are decidable. In…

We study the automorphism group of the algebraic closure of a substructure A of a pseudo-finite field F, or more generally, of a bounded PAC field F. This paper answers some of the questions of [1], and in particular that any finite group…

A bounded automorphism of a field or a group with trivial approximate centre is definable. In an expansion of a field by a Pfaffian family F of additive endomorphisms such that algebraic closure in the expansion coincides with relative…

Let F and K be fields of characteristic 0, with F a subset of K. Let K[x] denote the ring of polynomials with coefficients in K. For p in K[x]\F[x], deg(p) = n, let r be the highest power of x with a coefficient not in F. We define the F…

We define the representation ring of a saturated fusion system $\mathcal F$ as the Grothendieck ring of the semiring of $\mathcal F$-stable representations, and study the dimension functions of $\mathcal F$-stable representations using the…

We introduce and study a new class of differential fields in positive characteristic. We call them separably differentially closed fields and demonstrate that they are the differential analogue of separably closed fields. We prove several…

We discuss the role of additive polynomials and $p$-polynomials in the theory of valued fields of positive characteristic and in their model theory. We outline the basic properties of rings of additive polynomials and discuss properties of…

In this paper we provide a complete characterisation of transitive fractional jumps by showing that they can only arise from transitive projective automorphisms. Furthermore, we prove that such construction is feasible for arbitrarily large…

A pointwise definable model is one in which every object is definable without parameters. In a model of set theory, this property strengthens V=HOD, but is not first-order expressible. Nevertheless, if ZFC is consistent, then there are…

In 1976 S. Shelah posed the following problem: for which variety V of algebras the automorphism group of any free algebra F from V of "large" infinite rank interprets by means of first-order logic set theory (according to his results, for…

Let $(\mathfrak{g},[p])$ be a finite dimensional restricted Lie algebra over a perfect field $\mathbbm{k}$ of characteristic $p\!\ge \!3$. By combining methods from recent work of Benson-Carlson \cite{BC20} with those of \cite{CF21,Fa17} we…

We investigate completeness and parametricity for a general class of realizability semantics for System F defined in terms of closure operators over sets of $\lambda$-terms. This class includes most semantics used for normalization…

We completely characterize definable linear orders in o-minimal structures expanding groups. For example, let (P,<_p) be a linear order definable in the real field R. Then (P,<_p) embeds definably in (R^{n+1},<_l), where <_l is the…

We show that the ring of integers of $\mathbb{Q}^{\text{tr}}$ is existentially definable in the ring of integers of $\mathbb{Q}^{\text{tr}}(i)$, where $\mathbb{Q}^{\text{tr}}$ denotes the field of all totally real numbers. This implies that…

Let $T$ be a theory which is t-minimal, meaning that with respect to some definable topology, a unary definable set $D \subseteq M$ has non-empty interior iff it is infinite. If $K$ is a definable field in $T$, then $K$ is finite or "large"…

We give an example of a valued field $(K,A)$ such that the valuation ring $A$ is definable by an $L_{\text{ring}}$-formula without parameters, but there is no $\exists\forall\exists$ or $\forall\exists\forall$-formula in $L_{\text{ring}}$…

Let G be a reductive algebraic group over the algebraic closure of a finite field F_q of good characteristic. In this paper, we demonstrate a remarkable compatibility between the Springer correspondence for G and the parametrization of…

Let $K$ be a $p$-adically closed field and $G$ a group interpretable in $K$. We show that if $G$ is definably semisimple (i.e. $G$ has no definable infinite normal abelian subgroups) then there exists a finite normal subgroup $H$ such that…