Related papers: Number Systems with Simplicity Hierarchies II
Following a paper by Athanasios Angelakis and Peter Stevenhagen on the determination of imaginary quadratic fields having the same absolute Abelian Galois group A, we study this property for arbitrary number fields. We show that such a…
On Cuesta-Conway numbers as an extension of Cantor's ordinals: A short introduction to surreal numbers. The class of Cuesta-Conway numbers, the surreal numbers, can be defined simply, starting from their normal forms (families of…
In this paper, we show that VC-minimal ordered fields are real closed. We introduce a notion, strictly between convexly orderable and dp-minimal, that we call dp-small, and show that this is enough to characterize many algebraic theories.…
We use heuristic algorithms to find terraces for small groups. We show that Bailey's Conjecture (that all groups other than the non-cyclic elementary abelian 2-groups are terraced) holds up to order 511, except possibly at orders 256 and…
For those deformations that satisfy a certain non-degeneracy condition, we describe the structure of certain simple modules of the deformations of the subcharacter algebra of a finite group. For finite abelian groups, we prove that the…
Motivated by intuitive properties of physical quantities, the notion of a non-anomalous semigroup is formulated. These are totally ordered semigroups where there are no `infinitesimally close' elements. The real numbers are then defined as…
Inspired by Conway's surreal numbers, we study real closed fields whose value group is isomorphic to the additive reduct of the field. We call such fields omega-fields and we prove that any omega-field of bounded Hahn series with real…
The rational, real and complex numbers with their standard operations, including division, are partial algebras specified by the axiomatic concept of a field. Since the class of fields cannot be defined by equations, the theory of…
A dimension group is an ordered abelian group that is an inductive limit of a sequence of simplicial groups, and a stationary dimension group is such an inductive limit in which the homomorphism is the same at every stage. If a simple…
We examine a unique construction of the real numbers which proceeds directly from the integers using approximately linear-endomorphisms with finite error, called near-endomorphisms. In this paper, we show that the set of near-endomorphisms…
We expand Topological Field Theory on some special CW-complexes (brane complexes). This Brane Topological Field Theory one-to-one corresponds to infinite dimensional Frobenius Algebras, graduated by CW-complexes of lesser dimension. We…
For an abelian number field of odd degree, we study the structure of its 2-Selmer group as a bilinear space and as a Galois module. We prove structural results and make predictions for the distribution of unit signature ranks and narrow…
We study the automorphism group of the field of surreal numbers. Our main structure theorem presents a decomposition of this group into a product of five significant factors. Using the representation of surreal numbers as generalized power…
In arXiv:1405.4527 Connes and Consani introduced and studied the arithmetic site and showed that the isomorphism classes of points are in canonical bijection with the finite adele classes $\mathbb{Q}^*_+ \backslash \mathbb{A}^f_{\mathbb{Q}}…
In our recent work we described conditions under which a multi-parameter random simplicial complex is connected and simply connected. We showed that the Betti numbers of multi-parameter random simplicial complexes in one specific dimension…
A first order expansion of $(\mathbb{R},+,<)$ is dp-minimal if and only if it is o-minimal. We prove analogous results for algebraic closures of finite fields, $p$-adic fields, ordered abelian groups with only finitely many convex subgroups…
We give a lower bound on multiplicative orders of some elements in defined by Conway towers of finite fields of characteristic two and also formulate a condition under that these elements are primitive
We put forward a new method of constructing the complete ordered field of real numbers from the ordered field of rational numbers. Our method is a generalization of that of A. Knopfmacher and J. Knopfmacher. Our result implies that there…
We study groups and rings definable in d-minimal expansions of ordered fields. We generalize to such objects some known results from o-minimality. In particular, we prove that we can endow a definable group with a definable topology making…
We introduce the calculus of neo-Peircean relations, a string diagrammatic extension of the calculus of binary relations that has the same expressivity as first order logic and comes with a complete axiomatisation. The axioms are obtained…