Summary . In this article we further develop field theory in Mizar [1], [2]: prove existence and uniqueness of splitting fields. We define the a polynomial p ∈ F [ X ] as smallest extension , which splits into linear factors. From follows, that for E have = ( A ) where is set ’s roots. Splitting fields are unique, however, only up to isomorphisms; be more precise -isomorphims i.e. isomorphisms ...

Basic principles of reducing exposure to electromagnetic fields are reviewed in this article. Measures to reduce exposure can be divided into organisational/administrative and technical/engineering actions. Both strategies are briefly analysed and the basic principles of the theory of shielding are presented. A definition of shielding effectiveness (SE) is given, and the results from the genera...

Directive 2013/35/EU of the European Parliament and Council recommends the weighted peak method for assessing non-thermal effects of low frequency (LF) electric and magnetic fields. This article shows that this method is very practical and user friendly and is absolutely reliable to lead to correct results when applied in the time domain. The method can be used without limitations for any field...

This paper is concerned with the status of 1 / 0 and ways to deal with it. These matters are treated in the setting of Komori fields, also known as non-trivial cancellation meadows. Different viewpoints on the status of 1/0 exist in mathematics and theoretical computer science. We give a simple account of how mathematicians deal with 1 / 0 in which a customary convention among mathematicians pl...