Related papers: Defining Integers
We develop a general axiomatic theory of algebraic pairs, which simultaneously generalizes several algebraic structures, in order to bypass negation as much as feasible. We investigate several classical theorems and notions in this setting…
The adele ring of a number field is a central object in modern number theory. Its status as a locally compact topological ring is one of the key reasons why. We describe a formal proof that the adele ring of a number field is locally…
Philosopher Benardete challenged both the conventional wisdom and the received mathematical treatment of zero, dot, nine recurring. An initially puzzling passage in Benardete on the intelligibility of the continuum reveals challenging…
For a positive proportion of primes $p$ and $q$, we prove that $\mathbb{Z}$ is Diophantine in the ring of integers of $\mathbb{Q}(\sqrt[3]{p},\sqrt{-q})$. This provides a new and explicit infinite family of number fields $K$ such that…
To explore the limitation of a class of quantum algorithms originally proposed for the Hilbert's tenth problem, we consider two further classes of mathematically non-decidable problems, those of a modified version of the Hilbert's tenth…
These notes are based on a talk given at the Summer School "Infinite-dimensional representations of finite-dimensional algebras" held at the University of Manchester in September 2015. They intend to provide a brief introduction to the…
This paper investigates the relationship between multiplicities and the degree sequence of ideals in graded algebras, gives multiplicity equations of graded rings via the degree sequence of ideals, and characterizes mixed multiplicities and…
After reviewing a universal characterization of the extended positive real numbers published by Denis Higgs in 1978, we define a category which provides an answer to the questions: \begin{itemize} \item what is a set with half an element?…
Let $R$ be either the ring of Lipschitz quaternions, or the ring of Hurwitz quaternions. Then, $R$ is a subring of the division ring $\mathbb{D}$ of rational quaternions. For $S \subseteq R$, we study the collection $\rm{Int}(S,R) = \{f \in…
For a ring $R$, Hilbert's Tenth Problem $HTP(R)$ is the set of polynomial equations over $R$, in several variables, with solutions in $R$. We view $HTP$ as an enumeration operator, mapping each set $W$ of prime numbers to $HTP(\mathbb…
This paper presents an extension of the concept of NR-clean introduced in [12] to graded ring theory. We define and explore graded NR-clean rings, which generalize the class of graded U-nil clean previously studied in [15]. We provide…
We develop a general ring theory in the o-minimal setting culminating in a description of all the definable rings in an arbitrary o-minimal structure. We show that every definably connected ring with non-trivial multiplication defines an…
In this paper, we present several new bounds for the norm and numerical radius of sums of Hilbert space operators. The obtained bounds form a new collection that enriches our understanding of these bounds. We compare our bounds with the…
Selberg sums are the analogues over finite fields of certain integrals studied by Selberg in in 1940s. The original versions of these sums were introduced by R.J.Evans in 1981 and, following an elegant idea of G.W.Anderson in 1991 they were…
We show that completeness at higher levels of the theory of the reals is a robust notion (under changing the signature and bounding the domain of the quantifiers). This mends recognized gaps in the hierarchy, and leads to stronger…
We summarise known algebraic and model theoretic results on the ring $\mathscr{A}$ of integers modulo infinitely large primes for number theorists, and share topics in transcendental number theory with algebraists and model theorists. In…
This expository article covers the recent developments surrounding Hilbert's tenth problem for finitely generated rings. We start by recounting the history of Hilbert's tenth problem over the integers, which was resolved negatively by…
We show the 3 by 3 magic square of squares problem equivalent to solving quartic polynomials with certain factorization constraints over an abelian extension of the rationals. We analyze a particular case in which said extension is assumed…
The notion of symmetry in polynomial rings with several indeterminates is generalized to polynomial rings over finite fields. Families of extensions of the projective line over a finite field of constants possessing this property are…
In this paper, we give a brief survey of recent developments on Noether's problem and rationality problem for multiplicative invariant fields including author's recent papers Hoshi [Hos15] about Noether's problem over Q, Hoshi, Kang and…