English
Related papers

Related papers: Surreal ordered exponential fields

200 papers

The model theory based notion of the first order convergence unifies the notions of the left-convergence for dense structures and the Benjamini-Schramm convergence for sparse structures. It is known that every first order convergent…

Combinatorics · Mathematics 2016-08-16 Frantisek Kardos , Daniel Kral , Anita Liebenau , Lukas Mach

A structure M is pregeometric if the algebraic closure is a pregeometry in all M' elementarily equivalent to M. We define a generalisation: structures with an existential matroid. The main examples are superstable groups of U-rank a power…

Logic · Mathematics 2011-04-12 Antongiulio Fornasiero

We initiate the study of convex geometry over ordered hyperfields. We define convex sets and halfspaces over ordered hyperfields, presenting structure theorems over hyperfields arising as quotients of fields. We prove hyperfield analogues…

Metric Geometry · Mathematics 2025-09-24 James Maxwell , Ben Smith

New sequences of hyperoperations \cite{BE15,HI26,ACK28,GO47,TAR69} are presented together with their local algebraic properties. The commutative hyperoperations reported by Bennet \cite{BE15} are presented as a sequence of monoids. After…

Commutative Algebra · Mathematics 2021-05-28 Juan Diego Jaramillo

The {\em superspace ring} of rank $n$ is the algebra $\Omega_n$ of differential forms on affine $n$-space. The algebra $\Omega_n$ is bigraded with respect to polynomial and exterior degree and carries a natural action of the symmetric group…

Combinatorics · Mathematics 2025-06-02 Satoshi Murai , Brendon Rhoades , Andy Wilson

We introduce a new type of reduction of inversive difference polynomials that is associated with a partition of the basic set of automorphisms $\sigma$ and uses a generalization of the concept of effective order of a difference polynomial.…

Rings and Algebras · Mathematics 2023-09-12 Alexander Levin

Competing inhomogeneous orders are a central feature of correlated electron materials including the high-temperature superconductors. The two- dimensional Hubbard model serves as the canonical microscopic physical model for such systems.…

This paper concerns pairs of models of the theory of the differential field of logarithmic-exponential transseries that are tame as a pair of real closed fields. That is, the smaller model is bounded inside the larger model and there exists…

Logic · Mathematics 2024-08-14 Nigel Pynn-Coates

Given a fixed quadratic extension K of Q, we consider the distribution of elements in K of norm 1 (denoted N). When K is an imaginary quadratic extension, N is naturally embedded in the unit circle in C and we show that it is…

Number Theory · Mathematics 2010-04-08 Kathleen L. Petersen , Christopher D. Sinclair

We prove that every infinite sequence of skew-symmetric or symmetric matrices M_1, M_2, ... over a fixed finite field must have a pair M_i, M_j (i<j) such that M_i is isomorphic to a principal submatrix of the Schur complement of a…

Combinatorics · Mathematics 2014-03-26 Sang-il Oum

We introduce a systematic framework for counting and finding independent operators in effective field theories, taking into account the redundancies associated with use of the classical equations of motion and integration by parts. By…

High Energy Physics - Theory · Physics 2016-01-20 Brian Henning , Xiaochuan Lu , Tom Melia , Hitoshi Murayama

We introduce and study a generalization of the notion of exact operator space that we call subexponential. Using Random Matrices we show that the factorization results of Grothendieck type that are known in the exact case all extend to the…

Operator Algebras · Mathematics 2014-12-23 Gilles Pisier

Field Theory on Event Symmetric space-time is constructed using the gauge group of discrete open strings. Models with invariant actions can be viewed as natural extensions of Matrix Models. The objective is to find a fundamental…

High Energy Physics - Theory · Physics 2007-05-23 P. E. Gibbs

In the presence of an $\Omega$-deformation, local operators generate a chiral algebra in the topological-holomorphic twist of a four-dimensional $\mathcal{N} = 2$ supersymmetric field theory. We show that for a unitary $\mathcal{N} = 2$…

High Energy Physics - Theory · Physics 2019-08-28 Jihwan Oh , Junya Yagi

Let $L$ be the language of rings. We provide an axiomatization of the $L$-theories of quaternions and octonions and characterize their models: they coincide, up to isomorphism, with quaternion and octonion algebras over a real closed field,…

Algebraic Geometry · Mathematics 2026-05-05 Enrico Savi

An order-theoretic forest is a countable partial order such that the set of elements larger than any element is linearly ordered. It is an order-theoretic tree if any two elements have an upper-bound. The order type of a branch can be any…

Logic in Computer Science · Computer Science 2023-06-22 Bruno Courcelle

We give the supersymmetric extension of exceptional field theory for E$_{7(7)}$, which is based on a $(4+56)$-dimensional generalized spacetime subject to a covariant constraint. The fermions are tensors under the local Lorentz group ${\rm…

High Energy Physics - Theory · Physics 2015-06-19 Hadi Godazgar , Mahdi Godazgar , Olaf Hohm , Hermann Nicolai , Henning Samtleben

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…

Logic · Mathematics 2026-04-27 Elliot Kaplan , Lothar Sebastian Krapp , Michele Serra

We define the universal exponential extension of an algebraically closed differential field and investigate its properties in the presence of a nice valuation and in connection with linear differential equations. Next we prove normalization…

Commutative Algebra · Mathematics 2026-04-28 Matthias Aschenbrenner , Lou van den Dries , Joris van der Hoeven

Let~$E$ be a Hilbertian field of characteristic~$0$. R.W.K. Odoni conjectured that for every positive integer~$n$ there exists a polynomial~$f\in E[X]$ of degree~$n$ such that each iterate~$f^{\circ{k}}$ of~$f$ is irreducible and the Galois…

Number Theory · Mathematics 2018-03-13 Joel Specter