|
|||||
|
|
Formal power series with cyclically ordered exponents |
|
| Authors: | M Giraudet F -V Kuhlmann G Leloup |
| Institution: | (1) et Département de Mathématiques, Faculté des Sciences, U.P.R.E.S.A. 7056 (Equipe de Logique, Paris VII), Avenue Olivier Messiaen, F-72085 Le Mans Cedex, France;(2) Mathematical Sciences Group, University of Saskatchewan, 106 Wiggins Road Saskatoon, Saskatchewan, S7N 5E6, Canada |
| Abstract: | We define and study a notion of ring of formal power series with exponents in a cyclically ordered group. Such a ring is a quotient of various subrings of classical formal power series rings. It carries a two variable valuation function. In the particular case where the cyclically ordered group is actually totally ordered, our notion of formal power series is equivalent to the classical one in a language enriched with a predicate interpreted by the set of all monomials.Received: 24 February 2003 |
| Keywords: | Primary 13A18 13A99 Secondary 06F99 |
| 本文献已被 SpringerLink 等数据库收录！ | |