相关论文: The Eudoxus Real Numbers

The aim of this project is to attach a geometric structure to the ring of integers. It is generally assumed that the spectrum $\mathrm{Spec}(\mathbb{Z})$ defined by Grothendieck serves this purpose. However, it is still not clear what…

We obtain Fuchs decomposition theorem for regular singular differential modules over a large class of differential rings. We provide a definition of regularity inspired by differential Galois theory and we deduce the classical equivalence…

We show that a large class of formal groups can be realised functorially by even periodic ring spectra. The main advance is in the construction of morphisms, not of objects.

Jacques Tits gave a general recipe for producing an abstract geometry from a semisimple algebraic group. This expository paper describes a uniform method for giving a concrete realization of Tits's geometry and works through several…

We study how well a real number can be approximated by sums of two or more rational numbers with denominators up to a certain size.

This paper fails to derive quantum mechanics from a few simple postulates. But it gets very close --- and it does so without much exertion. More exactly, I obtain a representation of finite-dimensional probabilistic systems in terms of…

We give constructions of self-dual and formally self-dual codes from group rings where the ring is a finite commutative Frobenius ring. We improve the existing construction given in \cite{Hurley1} by showing that one of the conditions given…

In this paper we will see deductive systems for classical propositional and predicate logic in the calculus of structures. Like sequent systems, they have a cut rule which is admissible. In addition, they enjoy a top-down symmetry and some…

Elementary proofs of unique factorization in rings of arithmetic functions using a simple variant of Euclid's proof for the fundamental theorem of arithmetic.

We propound the thesis that there is a limitation to the number of possible structures which are axiomatically endowed with identities involving operations. In the case of algebras with a binary operation satisfying a formally reducible (to…

Given an associative, not necessarily commutative, ring R with identity, a formal matrix calculus is introduced and developed for pairs of matrices over R. This calculus subsumes the theory of homogeneous systems of linear equations with…

The variety of quasigroups satisfying the identity $(xy)(zy)=xz$ mirrors the variety of groups, and offers a new look at groups and their multiplication tables. Such quasigroups are constructed from a group using right division instead of…

In a previous effort [arXiv:1708.05492] we have created a framework that explains why topological structures naturally arise within a scientific theory; namely, they capture the requirements of experimental verification. This is…

The ring of ad\`eles of a global field and its group of units, the group of id\`eles, are fundamental objects in modern number theory. We discuss a formalization of their definitions in the Lean 3 theorem prover. As a prerequisite, we…

In an impressive series of papers, Krivine showed at the edge of the last decade how classical realizability provides a surprising technique to build models for classical theories. In particular, he proved that classical realizability…

We describe the construction which takes as input a profinite group, which when applied the the absolute Galois group of a geometric field F agrees in some cases with the algebraic K-theory of F. We prove that it agrees in the case of a…

The author has been interested in regions surrounded by cylinders of real algebraic hypersurfaces and their shapes and polynomials associated to them. Here, we formulate and investigate natural decompositions into such cylinders of real…

We study evolution algebras of arbitrary dimension. We analyze in deep the notions of evolution subalgebras, ideals and non-degeneracy and describe the ideals generated by one element and characterize the simple evolution algebras. We also…

We study the computational complexity of converting one representation of real numbers into another representation. Typical examples of representations are Cauchy sequences, base-10 expansions, Dedekind cuts and continued fractions.

Mekler's construction is a powerful technique for building purely algebraic structures from combinatorial ones. Its power lies in the fact that it allows various model-theoretic tameness properties of the combinatorial structure to transfer…