Twin Paradox and the Logical Foundation of Relativity Theory

We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization Specrel of special relativity from the literature. Specrel is complete with respect to questions about inertial motion. Then we ask ourselves whether we can prove the usual relativistic properties of accelerated motion (e.g., clocks in acceleration) in Specrel. As it turns out, this is practically equivalent to asking whether Specrel is strong enough to “handle” (or treat) accelerated observers. We show that there is a mathematical principle called induction (IND) coming from real analysis which needs to be added to Specrel in order to handle situations involving relativistic acceleration. We present an extended version AccRel of Specrel which is strong enough to handle accelerated motion, in particular, accelerated observers. Among others, we show that~the Twin Paradox becomes provable in AccRel, but it is not provable without IND.     

Thee + e −→¯nn cross section predicted remarkably larger than thee + e −→¯pp one

It is shown that all global analyses of nucleon electromagnetic form factor data predict the electron-positron annihilation into neutron-antineutron cross section (for which there are no data till now) to be in a finite energy region substantially larger than the electron-positron annihilation into the proton-antiproton one.Dedicated to the memory of M. Gmitro.     

Low-temperature hydride furnace modified for the atomic absorption spectrometric determination of metals with low appearance temperatures

The sample is vaporized from tungsten filament coils (150 W) and transported by an argon stream to the cell of a modified hydride furnace for atomic absorption spectrometry (a.a.s.). The system provides almost the same sensitivity for elements with low appearance temperatures (e.g., Bi, Cd, Pb, Tl, Zn) as graphite-furnace a.a.s. The detection limits are between 0.1 and 5 ng ml^?1, depending on the element.     

Aldo Cossu’s Work in Finite Geometry

A survey of the contributions of Aldo Cossu in finite geometry is given. Dedicated to the memory of Professor Aldo Cossu     

Numerical study on performance of disk MHD generator using frozen inert gas plasma

In an magnetohydrodynamic (MHD) generator using a frozen inert gas plasma (FIP), the availability of a frozen argon plasma, the influence of plasma uniformity at the generator inlet on the performance, and the feasibility of a large-scale generator are numerically examined by /spl gamma/-/spl theta/ two-dimensional simulation. The FIP is produced by pre-ionizing inert gas without an alkali metal seed at the generator inlet, then the ionization degree of the plasma is kept almost constant in the whole of the channel because of considerable slow recombination of the inert gas just like frozen reaction plasma. It is found that not only helium, but also argon frozen plasma MHD generation is realized, although highly accurate control of inlet ionization degree is necessary for argon. It is important to reduce the nonuniformity of plasma properties at the generator inlet in order to raise the maximum enthalpy extraction ratio. Even for the large-scale generator with 1000-MW thermal input, the ionization degree is kept almost constant in the whole of the channel and the high performance is obtainable. This result is extremely attractive for the FIP MHD generator.