Related papers: Universal-existential theories of fields

Building on work of Kuhlmann and Lisinski, we study the theory of the Hahn series field $\mathbb{F}_{q}(\!(\mathbb{Q})\!)$, over a finite field $\mathbb{F}_{q}$, equipped with the $t$-adic valuation, in a language of valued fields. We prove…

We discuss definability in the language of rings without parameters of the unique canonical henselian valuation of a field. We show that in most cases where the canonical henselian valuation is definable, it is already definable by a…

This work deals with defect structures in models described by scalar fields. The investigations focus on generalized models, with the kinetic term modified to allow for a diversity of possibilities. We develop a new framework, in which we…

Lenstra introduced the notion of the Euclidean ideal class, a generalization of the Euclidean domain that captures cyclic class groups. In this article, we establish the existence of Euclidean ideal classes in abelian quartic fields. As a…

We develop a family of simple rank one theories built over quite arbitrary sequences of finite hypergraphs. (This extends an idea from the recent proof that Keisler's order has continuum many classes, however, the construction does not…

We prove that a sufficiently large subset of the $d$-dimensional vector space over a finite field with $q$ elements, $ {\Bbb F}_q^d$, contains a copy of every $k$-simplex. Fourier analytic methods, Kloosterman sums, and bootstrapping play…

We introduce a number field analogue of the Mertens conjecture and demonstrate its falsity for all but finitely many number fields of any given degree. We establish the existence of a logarithmic limiting distribution for the analogous…

Lenstra introduced the notion of a Euclidean ideal class, which is a generalization of the Euclidean domain. Lenstra also proved that the Euclidean ideal in a number field $K$ implies that the class group of $K$ is cyclic. We construct a…

Let $K$ be a large field such that $K[\sqrt{-1}]$ is not algebraically closed and $F/K$ a function field in one variable. Extending techniques and results from earlier work with Becher and Dittmann, we show that every valuation ring on $F$…

This article has the following aims: (1) Extend the notion of fuchsian singularities (of first kind) to base fields of arbitrary characteristic. (2) Discuss their relationship to mathematical objects of a different nature. (3) Provide a…

In this paper we first obtain the genus field of a finite abelian non-Kummer $l$--extension of a global rational function field. Then, using that the genus field of a composite of two abelian extensions of a global rational function field…

For a proper subfield $K$ of $\QQ$ we show the existence of an algebraic number $\alpha$ such that no power $\alpha^n$, $n\geq 1$, lies in $K$. As an application it is shown that these numbers, multiplied by convenient Gaussian numbers, can…

This paper investigates the relationship between algebraic quantum field theories and factorization algebras on globally hyperbolic Lorentzian manifolds. Functorial constructions that map between these two types of theories in both…

The purpose of this paper is to discuss the various types of physical universe which could exist according to modern mathematical physics. The paper begins with an introduction that approaches the question from the viewpoint of ontic…

For classical field theories with probabilistic initial conditions the classical field observables are an idealization. Their arbitrarily precise values poorly reflect the characteristic uncertainty in the presence of substantial…

A well-known conjecture of Orlov asks whether the existence of a full exceptional collection implies rationality of the underlying variety. We prove this conjecture for arithmetic toric varieties over general fields. We also investigate a…

Present day physics rests on two main pillars: General relativity and quantum field theory. We discuss the deep and at the same time problematic interplay between these two theories. Based on an argument by Doplicher, Fredenhagen, and…

We introduce the notion of {\it approximation type} for the partial, and in certain cases the total description of extensions of a given valuation from a field $K$ to the rational function field $K(x)$. To every extension, a unique…

Recently, the $k$-normal element over finite fields is defined and characterized by Huczynska et al.. In this paper, the characterization of $k$-normal elements, by using to give a generalization of Schwartz's theorem, which allows us to…

Let K be a henselian valued field of characteristic 0. Then K admits a definable partition on each piece of which the leading term of a polynomial in one variable can be computed as a definable function of the leading term of a linear map.…