English
Related papers

Related papers: Surreal substructures

200 papers

In his monograph On Numbers and Games, J. H. Conway introduced a real-closed field No of surreal numbers containing the reals and the ordinals, as well as a vast array of less familiar numbers. A longstanding aim has been to develop…

Logic · Mathematics 2015-08-26 Ovidiu Costin , Philip Ehrlich , Harvey M. Friedman

How many odd numbers are there? How many even numbers? From Galileo to Cantor, the suggestion was that there are the same number of odd, even and natural numbers, because all three sets can be mapped in one-one fashion to each other. This…

Logic · Mathematics 2025-01-28 Peter Lynch , Michael Mackey

Let surreal numbers be defined by means of sign sequences. We give a proof that if $S < T$ are sets of surreals, then there is some surreal $w$ such that $S < w < T$. The classical proof is simplified by observing that, for every set $S$ of…

Number Theory · Mathematics 2018-05-22 Paolo Lipparini

Semifields are semirings in which every nonzero element has a multiplicative inverse. A rough classification uses the characteristic of the semifield, that is the isomorphism type of the semifield generated by the two neutral elements. For…

Algebraic Geometry · Mathematics 2017-09-21 Guillaume Tahar

Building of some isomorphic classes for noncanonical hypercomplex number systems o dimension 2 is described. In general case, such systems with specific constraints to structural constants can be isomorphic to complex, dual or double number…

Numerical Analysis · Computer Science 2014-03-11 Yakiv O. Kalinovsky , Dmitry V. Lande , Yuliya E. Boyarinova , Iana V. Khitsko

The normal form for a system of ode's is constructed from its polynomial symmetries of the linear part of the system, which is assumed to be semi-simple. The symmetries are shown to have a simple structure such as invariant function times…

patt-sol · Physics 2009-10-28 Yuji Kodama

We note that if a sequence of real numbers converges to some limit, then the sequence of the corresponding strings in the surreal $+,-$ sign expansion representation converges, for a natural notion of string convergence, to the string…

Logic · Mathematics 2017-03-17 Paolo Lipparini , István Mezö

For any ordinal $\alpha > 0$, we show how to define a hyperexponential $E_{\omega^{\alpha}}$ and a hyperlogarithm $L_{\omega^{\alpha}}$ on the class $\mathbf{No}^{>, \succ}$ of positive infinitely large surreal numbers. Such functions are…

Logic · Mathematics 2023-10-24 Vincent Bagayoko , Joris van der Hoeven

Consider complex semisimple Lie algebras of a given dimension specified by their structure constants. We describe a finite collection of rational functions in the structure constants that form a complete set of invariants: two sets of…

Rings and Algebras · Mathematics 2007-05-23 Vijay Kodiyalam , K. N. Raghavan

Two structures are said to be equimorphic if each embeds in the other. Such structures cannot be expected to be isomorphic, and in this paper we investigate the special case of linear orders, here also called chains. In particular we…

Combinatorics · Mathematics 2014-07-11 C. Laflamme , M. Pouzet , R. Woodrow

In the paper we compute the ring strucure on the rational cohomology of a complex subspace complement. For that we construct a small differential graded subalgebra of the De Concini-Procesi wonderful model that is quasi isomorphic to this…

Combinatorics · Mathematics 2007-05-23 Sergey Yuzvinsky

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…

Number Theory · Mathematics 2013-10-31 Soichi Ikeda

In this paper, we prove that a pseudoexponential field has continuum many non-isomorphic countable real closed exponential subfields, each with an order preserving exponential map which is surjective onto the nonnegative elements. Indeed,…

Logic · Mathematics 2016-02-10 Ahuva C. Shkop

We take up Dedekind's question ''Was sind und was sollen die Zahlen?'' (''What are numbers, and would should they be?''), with the aim to describe the place that Conway's (Surreal) Numbers and Games take, or deserve to take, in the whole of…

Logic · Mathematics 2025-02-25 Wolfgang Bertram

The proper Class $\bf{No}$ of all Conway's numbers $\cite{l3}$ is considered as a region of investigation. It turns out to be a total ordered Field (i.e., a field whose domain is a proper Class) and this totally, or linear ordered Class,…

Logic · Mathematics 2024-06-19 Ju. T. Lisica

In this research a new algebraic semantics of rough set theory including additional meta aspects is proposed. The semantics is based on enhancing the standard rough set theory with notions of 'relative ability of subsets of approximation…

Logic · Mathematics 2007-05-23 A. Mani

Non-trivial extensions of the three dimensional Poincar\'e algebra, beyond the supersymmetric one, are explicitly constructed. These algebraic structures are the natural three dimensional generalizations of fractional supersymmetry of order…

High Energy Physics - Theory · Physics 2008-11-26 M. Rausch de Traubenberg , M. J. Slupinski

Let X be a singular affine normal variety with coordinate ring R and assume that there is an R-order admitting a stability structure such that the scheme of relevant semistable representations is smooth, then we construct a partial…

Rings and Algebras · Mathematics 2007-05-23 Lieven Le Bruyn , Stijn Symens

We introduce the notion of a subregular subalgebra, which we believe is useful for classification of subalgebras of Lie algebras. We use it to construct a non-regular invariant generalized complex structure on a Lie group. As an…

Algebraic Geometry · Mathematics 2017-01-03 Evgeny Mayanskiy

We consider partially ordered sets of combinatorial structures under consecutive orders, meaning that two structures are related when one embeds in the other such that `consecutive' elements remain consecutive in the image. Given such a…

Combinatorics · Mathematics 2026-04-22 Victoria Ironmonger , Nik Ruškuc