Power Series and the Structure of Complete Valued Fields

1999 ◽  
pp. 185-212
Author(s):  
Paulo Ribenboim
Keyword(s):  
Power Series ◽  
Valued Fields

scholarly journals EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS

2015 ◽  
Vol 80 (1) ◽  
pp. 301-307 ◽  
Author(s):  
ARNO FEHM
Keyword(s):  
Power Series ◽  
Formal Power Series ◽  
Quotient Field ◽  
Valued Fields ◽  
Valuation Rings ◽  
Henselian Valued Fields ◽  
Residue Fields ◽  
Definition Of ◽  
Formal Power ◽  
Henselian Valuation

AbstractIn [1], Anscombe and Koenigsmann give an existential ∅-definition of the ring of formal power series F[[t]] in its quotient field in the case where F is finite. We extend their method in several directions to give general definability results for henselian valued fields with finite or pseudo-algebraically closed residue fields.

The Software «MMI–calibration 3.0»

Metrologiya ◽  
2020 ◽  
pp. 16-24
Author(s):  
Alexandr D. Chikmarev
Keyword(s):  
Power Series ◽  
Data Processing ◽  
Statistical Treatment ◽  
Correction Function ◽  
Calibration Function ◽  
Measuring Instrument ◽  
Working Standard ◽  
Calibration Protocol ◽  
Error Probabilities ◽  
Continuous Power

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.

Preliminaries

2017 ◽  
Author(s):  
Ehud Hrushovski ◽  
François Loeser
Keyword(s):  
Valued Fields ◽  
Definable Set ◽  
Valued Field ◽  
Galois Coverings ◽  
Definable Type ◽  
Definable Sets ◽  
Background Material

This chapter provides some background material on definable sets, definable types, orthogonality to a definable set, and stable domination, especially in the valued field context. It considers more specifically these concepts in the framework of the theory ACVF of algebraically closed valued fields and describes the definable types concentrating on a stable definable V as an ind-definable set. It also proves a key result that demonstrates definable types as integrals of stably dominated types along some definable type on the value group sort. Finally, it discusses the notion of pseudo-Galois coverings. Every nonempty definable set over an algebraically closed substructure of a model of ACVF extends to a definable type.

Existence

2017 ◽  
Author(s):  
Bernhard M¨uhlherr ◽  
Holger P. Petersson ◽  
Richard M. Weiss
Keyword(s):  
Division Algebra ◽  
Quadratic Forms ◽  
Structure Theorem ◽  
Quadratic Extension ◽  
Quadratic Space ◽  
Division Algebras ◽  
Separable Extension ◽  
Valued Fields ◽  
Quaternion Division Algebra

This chapter proves that Bruhat-Tits buildings exist. It begins with a few definitions and simple observations about quadratic forms, including a 1-fold Pfister form, followed by a discussion of the existence part of the Structure Theorem for complete discretely valued fields due to H. Hasse and F. K. Schmidt. It then considers the generic unramified cases; the generic semi-ramified cases, the generic ramified cases, the wild unramified cases, the wild semi-ramified cases, and the wild ramified cases. These cases range from a unique unramified quadratic space to an unramified separable quadratic extension, a tamely ramified division algebra, a ramified separable quadratic extension, and a unique unramified quaternion division algebra. The chapter also describes ramified quaternion division algebras D₁, D₂, and D₃ over K containing a common subfield E such that E/K is a ramified separable extension.

Identification of the string boundary conditions using natural frequencies

2016 ◽  
Vol 11 (1) ◽  
pp. 38-52
Author(s):  
I.M. Utyashev ◽  
A.M. Akhtyamov
Keyword(s):  
Inverse Problems ◽  
Power Series ◽  
Boundary Value Problem ◽  
Boundary Conditions ◽  
Natural Frequencies ◽  
Boundary Value ◽  
External Environment ◽  
Direct And Inverse Problems ◽  
Symmetric Potential ◽  
Modified Method

The paper discusses direct and inverse problems of oscillations of the string taking into account symmetrical characteristics of the external environment. In particular, we propose a modified method of finding natural frequencies using power series, and also the problem of identification of the boundary conditions type and parameters for the boundary value problem describing the vibrations of a string is solved. It is shown that to identify the form and parameters of the boundary conditions the two natural frequencies is enough in the case of a symmetric potential q(x). The estimation of the convergence of the proposed methods is done.

Sign in / Sign up

Export Citation Format

Share Document