Related papers: Defining Integers
We present a self-contained analysis of infinity from two mathematical perspectives: set theory and algebra. We begin with cardinal and ordinal numbers, examining deep questions such as the continuum hypothesis, along with foundational…
We update Sunley's explicit estimate for the ideal-counting function, which is the number of integral ideals of bounded norm in a number field.
We study triplets of Hilbert space operators satisfying a certain inequality. A range inclusion theorem with norm estimate for those triplets is given with the language of Kre\u{\i}n space geometry and de Branges-Rovnyak space theory.
I consider the expansion of transcendental functions in a small parameter around rational numbers. This includes in particular the expansion around half-integer values. I present algorithms which are suitable for an implementation within a…
We introduce a first-order theory of finite full binary trees and then identify decidable and undecidable fragments of this theory. We show that the analogue of Hilbert`s 10th Problem is undecidable by constructing a many-to-one reduction…
We present here some results of applying the Cayley-Dickson process to certain alternative algebras (notably built upon Galois fields and congruence rings), in a manner which might yield new building blocks for cryptographic systems. We…
The second author has recently introduced a new class of L-series in the arithmetic theory of function fields over finite fields. We show that the value at one of these L-series encode arithmetic informations of certain Drinfeld modules…
Based on BONGs theory, we prove the norm principle for integral and relative integral spinor norms of quadratic forms over general dyadic local fields, respectively. By virtue of these results, we further establish the arithmetic version of…
In the second section, we introduce hemiring-valued pseudonormed rings and generalize Albert's result which states that every finite-dimensional algebra can be normed. Next, we introduce shrinkable hemirings and prove that dense division…
Those notes rest on the Samuel Eilenberg Lectures I gave at Columbia University, NY, in the fall 2022. I thank all the mathematicians who participated in their elaboration, directly or indirectly. They are meant to be published as a…
We consider the groups of regular circulant matrices over finite fields and integer residue class rings. In both cases we present a formula for the order of these groups. We also make a first step towards finding the algebraic structure of…
Among Zellig Harris's numerous contributions to linguistics his theory of the sublanguages of science probably ranks among the most underrated. However, not only has this theory led to some exhaustive and meaningful applications in the…
The inverse Galois problem asks whether any finite group can be realised as the Galois group of a Galois extension of the rationals. This problem and its refinements have stimulated a large amount of research in number theory and algebraic…
This review paper deals with dimension theory of polynomial rings over certain families of pullbacks. While the literature is plentiful, this field is still developing and many contexts are yet to be explored. I will thus restrict the scope…
In this paper we study the distribution of orders of bounded discriminants in number fields. We give an asymptotic formula for the number of orders contained in the ring of integers of a quintic number field.
This paper explores undecidability in theories of positive characteristic function fields in the "geometric" language of rings $\mathcal{L}_F = \{0, 1, +, \cdot, F\}$, with a unary predicate $F$ for nonconstant elements. In particular we…
We consider Hilbert's tenth problem for two families of noncommutative rings. Let $K$ be a field of characteristic $p$. We start by showing that Hilbert's tenth problem has a negative answer over the twisted polynomial ring $K\{\tau\}$ and…
In this talk I will survey some of the basic facts about superstring theories in 10 dimensions and the dualities that relate them to M theory in 11 dimensions. Then I will mention some important unresolved issues.
The well-known expansion of rational integers in an arbitrary integer base different from $0, 1, -1$ is exploited to study relations between numerical monoids and certain subsemigroups of the multiplicative semigroup of nonzero integers.
Descent via an isogeny on an elliptic curve is used to construct two subrings of the field of rational numbers, which are complementary in a strong sense, and for which Hilbert's Tenth Problem is undecidable. This method further develops…