相关论文: Asymptotic Differential Algebra and Model Theory o…

The differential field of transseries extends the field of real Laurent series, and occurs in various context: asymptotic expansions, analytic vector fields, o-minimal structures, to name a few. We give an overview of the algebraic and…

We give a proposal for future development of the model theory of valued fields. We also summarize some recent results on p-adic numbers.

The main aim of this work is to present the interpretation of the Ising type models as a kind of field theory in the framework of noncommutative geometry. We present the method and construct sample models of field theory on discrete spaces…

A survey of recent results in elementary number theory is presented in this paper. Special attention is given to structure and asymptotic properties of certain families of positive integers.

We investigate distality and existence of distal expansions in valued fields and related structures. In particular, we characterize distality in a large class of ordered abelian groups, provide an AKE-style characterization for henselian…

We prove that the value group of the field of transseries is isomorphic to the additive reduct of the field.

In this exposition we discuss the theory of algebraic extensions of valued fields. Our approach is mostly through Galois theory. Most of the results are well-known, but some are new. No previous knowledge on the theory of valuations is…

The notion of newtonianity is central to the study of the ordered differential field of logarithmic-exponential transseries done by Aschenbrenner, van den Dries, and van der Hoeven; see Chapter 14 of arxiv:1509.02588. We remove the…

From the simplest point of view, transseries are a new kind of expansion for real-valued functions. But transseries constitute much more than that--they have a very rich (algebraic, combinatorial, analytic) structure. The set of transseries…

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…

In our previous paper entitled "Axiomatic differential geometry -towards model categories of differential geometry-, we have given a category-theoretic framework of differential geometry. As the first part of our series of papers concerned…

Recent work using the model theory of differentially closed fields to answer questions having to do with the Dixmier-Moeglin equivalence for (noncommutatve) finitely generated noetherian algebras, and for (commutative) finitely generated…

These notes contain a survey of some aspects of the theory of graded differential algebras and of noncommutative differential calculi as well as of some applications connected with physics. They also give a description of several new…

Motivated by some recent developments in abstract theories of quadratic forms, we start to develop in this work an expansion of Linear Algebra to multivalued structures (a multialgebraic structure is essentially an algebraic structure but…

Germs of real-valued functions, surreal numbers, and transseries are three ways to enrich the real continuum by infinitesimal and infinite quantities. Each of these comes with naturally interacting notions of ordering and derivative. The…

In a previous paper the author and D. Vogan defined and studied a Hecke algebra module structure on a vector space spanned by the involutions in a Weyl group. In this paper this study is continued by relating it to the asymptotic Hecke…

Every discrete definable subset of a closed asymptotic couple with ordered scalar field $\boldsymbol k$ is shown to be contained in a finite-dimensional $\boldsymbol k$-linear subspace of that couple. It follows that the differential-valued…

Axial algebras are a recently introduced class of non-associative algebra motivated by applications to groups and vertex-operator algebras. We develop the structure theory of axial algebras focussing on two major topics: (1) radical and…

We study the relationship between fields of transseries and residue fields of convex subrings of non-standard extensions of the real numbers. This was motivated by a question of Todorov and Vernaeve, answered in this paper.

We introduce and investigate the concept of Stratified Algebra, a new algebraic framework equipped with a layer-based structure on a vector space. We formalize a set of axioms governing intra-layer and inter-layer interactions, study their…