Related papers: Convexly orderable groups and valued fields

Based on any chiral vertex operator algebra satisfying a suitable finiteness condition, the semisimplicity of the zero-mode algebra as well as a regularity for induced modules, we construct conformal field theory over the projective line…

Two theorems witnessing the abundance of geometrically trivial strongly minimal autonomous differential equations of arbitrary order are shown. The first one states that a generic algebraic vector field of degree $d\geq 2$ on the affine…

We show that quasi-projective relation algebras and directed cylindric algebras are equivalent categorialy. We work out a Godels second incompleteness theorem for finite varibale fragments of first order logic. We show that distinct set…

We define a class of pre-ordered abelian groups that we call finite-by-Presburger groups, and prove that their theory is model-complete. We show that certain quotients of the multiplicative group of a local field of characteristic zero are…

The main goal of this project is to prove the equivalency of several characterizations of completeness of Archimedean ordered fields; some of which appear in most modern literature as theorems following from the Dedekind completeness of the…

If $\mathcal{Z}$ is a dp-minimal expansion of a discrete ordered abelian group $(Z,<,+)$ and $\mathcal{Z}$ does not admit a nontrivial definable convex subgroup then $\mathcal{Z}$ is interdefinable with $(Z,<,+)$ and $(Z,<,+)$ is…

We present a relatively simple description of binary, definable subsets of models of weakly quasi-o-minimal theories. In particular, we closely describe definable linear orders and prove a weak version of the monotonicity theorem. We also…

We consider C-graded vertex algebras, which are vertex algebras V with a C-grading such that V is an admissible V-module generated by 'lowest weight vectors'. We show that such vertex algebras have a 'good' representation theory in the…

This note contains additions to the paper 'Clustered cell decomposition in P-minimal structures' (arXiv:1612.02683). We discuss a question which was raised in that paper, on the order of clustered cells. We also consider a notion of cells…

This paper contributes to the theory of orders of number fields. This paper defines a notion of "ray class group" associated to an arbitrary order in a number field together with an arbitrary ray class modulus for that order (including…

In this paper, a new criterion is given to determine the $p-$rationality of some complex cubic number fields in terms of $ p-$divisibility of certain terms of a third-order recurrence sequence, several illustrated examples are…

In this note we show that groups with definable generics in a separably closed valued of finite imperfection degree can be embedded into groups definable in their algebraic closure.

In this paper, we classify the possible group structures on the set of $R$-valued points of an abelian variety, where $R$ is any real closed field. We make use of a family of abelian varieties that, in effect, allows one to quantify over…

Astonishing new discoveries with quartets and octets of cyclic cubic fields sharing a common conductor are presented. Four kinds of graphs describing cubic residue conditions among the prime divisors of the conductor enforce elementary bi-…

Chevalley's theorem states that every smooth connected algebraic group over a perfect field is an extension of an abelian variety by a smooth connected affine group. That fails when the base field is not perfect. We define a pseudo-abelian…

We classify dp-minimal pure fields up to elementary equivalence. Most are equivalent to Hahn series fields $K((t^\Gamma))$ where $\Gamma$ satisfies some divisibility conditions and $K$ is $\mathbb{F}_p^{alg}$ or a local field of…

Many active mathematical research topics nowadays include the concepts of valued fields and local fields, especially the local field of p-adic numbers Qp and the field of formal Laurent series F((X)). Local fields are a notion situated in…

We prove that any left-ordered inp-minimal group is abelian, and we provide an example of a non-abelian left-ordered group of dp-rank 2.

We shall define a general notion of dimension, and study groups and rings whose interpretable sets carry such a dimensio. In particular, we deduce chain conditions for groups, definability results for fields and domains, and show that…

We show that the VC-density of any partitioned formula in a pair of ordered vector spaces is bounded above by twice the number of parameter variables. We also show that this bound is optimal and, as a by-product, we prove that no dense pair…