Related papers: On Rayner structures
Being closed under truncation for subsets of generalized series fields is a robust property in the sense that it is preserved under various algebraic and transcendental extension procedures. Nevertheless, in Chapter 4 of this dissertation,…
Let $T$ be the theory of an o-minimal field and $T_0$ a common reduct of $T$ and $T_{an}$. I adapt Mourgues' and Ressayre's constructions to deduce structure results for $T_0$-reducts of $T$-$\lambda$-spherical completion of models of…
In 1882, Kronecker established that a given univariate formal Laurent series over a field can be expressed as a fraction of two univariate polynomials if and only if the coefficients of the series satisfy a linear recurrence relation. We…
We propose some new method of constructing configurations, which consists in consecutive inscribing copies of one underlying configuration. A uniform characterization of the obtained class and the one introduced in our paper untitled…
We study necessary and sufficient conditions for a valued field $\KF$ with value group $G$ and residue field $\kf$ (with char $\KF$ = char $\kf$) to admit a truncation closed embedding in the field of generalized power series $\kf((G, f))$…
We characterize intrinsically the truncation structures on valued fields arising from embeddings into Hahn fields with truncation closed image.
We study the existence of formal Taylor expansions for functions defined on fields of generalised series. We prove a general result for the existence and convergence of those expansions for fields equipped with a derivation and an…
We survey some important properties of fields of generalized series and of exponential-logarithmic series, with particular emphasis on their possible differential structure, based on a joint work of the author with S. Kuhlmann [KM12b,KM11].
We construct a Ramsey class whose objects are Steiner systems. In contrast to the situation with general $r$-uniform hypergraphs, it turns out that simply putting linear orders on their sets of vertices is not enough for this purpose: one…
Truncation in Generalized Series fields is a robust notion, in the sense that it is preserved under various algebraic and some transcendental extensions. In this paper, we study conditions that ensure that a truncation closed set extends…
We give a structural description of the normal subgroups of subgroups of finite index in branch groups in terms of rigid stabilizers. This gives further insight into the structure lattices of branch groups introduced by the second author.…
Matrices over the ring of formal power series are considered. Normal forms with respect to various sub-groups of the two-sided transformations are constructed. The construction is based on the special property of the action: it induces a…
We introduce some generalized topological concepts to deal with union-closed families, and show that one can reduce the proof of Frankl's conjecture to some families of so-called supratopological spaces. We prove some results on the…
We establish the existence of Springer isomorphisms for reductive group schemes over general base schemes. For this, we first study centralizers of fiberwise regular sections of reductive group schemes, and we establish their flatness in…
We propose a method for inferring \emph{parameterized regular types} for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint systems). Such parameterized regular types generalize…
We study the structure of discrete subgroups of the group $G[[r]]$ of complex formal power series under the operation of composition of series. In particular, we prove that every finitely generated fully residually free group is embeddable…
The truncation scheme dependence of the exact renormalization group equations is investigated for scalar field theories in three dimensions. The exponents are numerically estimated to the next-to-leading order of the derivative expansion.…
We provide a self-contained introduction to Gr\"obner bases of submodules of $R[x_1, \ldots, x_n]^k$, where $R$ is a Euclidean domain, and explain how to use these bases to solve linear systems over $R[x_1, \ldots, x_n]$.
Given a real closed field $R$, we identify exactly four proper reducts of $R$ which expand the underlying (unordered) $R$-vector space structure. Towards this theorem we introduce a new notion, of strongly bounded reducts of linearly…
In an earlier preprint (math.AG/9810142) we gave an explicit description of the algebraic closure of the field of power series over a field of characteristic p, in terms of "generalized power series". In this paper, we give an analogous…