Some Properties of Ideals in Rings of Power Series

1944 ◽  
Vol 55 (1) ◽  
pp. 68 ◽  
Author(s):  
Claude Chevalley
1998 ◽  
Vol 63 (1) ◽  
pp. 237-246 ◽  
Author(s):  
Françoise Delon ◽  
Patrick Simonetta

We prove the undecidability of a very large class of restricted and unrestricted wreath products (Theorem 1.2), and of some skew fields of power series (Section2). Both undecidabilities are obtained by interpreting some enrichments of twisted wreath products, which are themselves proved to be undecidable (Proposition 1.1).We consider division rings of power series in various languages:We show (Theorem 2.8) that every power series division ring k((B)), whose field of constants k is commutative and whose ordered group of exponents is noncommutative with a convex center, is undecidable in every extension of the language of rings where the valuation and the ordered group B are definable.For certain k and B we prove here the undecidability of the structurewhere X↾k((B))xB is the restriction of the multiplication to k((B)) Χ B,and γ is a given conjugation of k((B)). This shows that we cannot hope to improve our previous result, a sort of Ax-Kochen-Ershov principle for power series division rings, which ensures thatis decidable for every decidable solvable B.


Metrologiya ◽  
2020 ◽  
pp. 16-24
Author(s):  
Alexandr D. Chikmarev

A single program has been developed to ensure that the final result of the data processing of the measurement calibration protocol is obtained under normal conditions. The calibration result contains a calibration function or a correction function in the form of a continuous sedate series and a calibration chart based on typical additive error probabilities. Solved the problem of the statistical treatment of the calibration protocol measuring in normal conditions within a single program “MMI–calibration 3.0” that includes identification of the calibration function in a continuous power series of indications of a measuring instrument and chart calibration. An example of solving the problem of calibration of the thermometer by the working standard of the 3rd grade with the help of the “MMI-calibration 3.0” program.


Sign in / Sign up

Export Citation Format

Share Document