A New Modal Lindström Theorem

We prove new Lindstr?m theorems for the basic modal propositional language, and for some related fragments of first-order logic. We find difficulties with such results for modal languages without a finite-depth property, high-lighting the difference between abstract model theory for fragments and for extensions of first-order logic. In addition we discuss new connections with interpolation properties, and the modal invariance theorem. Mathematics Subject Classification (2000): Primary 03B45; Secondary 03C95     

Tevatron: Recent results and prospects at the upgrade

In this article, we review some of the recent results from CDF and DØ experiments at the Tevatron and their prospects at the upgrade. Among the topics discussed are top quark physics, electroweak physics, qcd physics and new physics beyond standard model.     

Transient vibrations of a tau inclined cable with a riding accelerating mass

The objective of this paper is a theoretical and numerical study of the dynamics of a taut inclined cable with a riding accolerating mass, which is suspended from two points of different elevation. The moving mass is a trolley that is accelerated by a solid fuel rocket down the inclined cable and is aerodynamically brought to a halt. The thrust of the rocket is tangential to the deformed configuration of the cable.Methods of analysis consist of the dynamics of small deformations superimposed on the static catenary state. The problem is nonlinear due to presence of friction and the convective acceleration interaction of the moving mass and the cable. Galerkin's procedure for removal of spatial dependence and numerical integration are used to obtain convergent solutions.Deceased     

Q value related mass determinations using a Penning trap

We report here about measurements of reaction and decay Q values by precise determination of pairs of atomic masses. These were performed with the Penning trap mass spectrometer SMILETRAP. Measurements with Penning traps give reliable and accurate masses, in particular Q values, due to the fact that certain systematic errors to a great deal cancel in the mass difference between the two atoms defining the Q value. Some Q values that are of fundamental interest will be discussed here, for example, a new Q value for the ⁶Li (n,γ) ⁷Li reaction, for the β-decay of tritium, related to properties of the electron neutrino mass, and for the neutrino-less double β-decay of ⁷⁶Ge, related to the question of whether the neutrino is a Majorana particle or not. In case of the latter two we report the most accurate Q values, namely 18,589.8(12) eV for the tritium decay and 2,038.997(46) keV for the neutrino-less double β-decay of ⁷⁶Ge.     

Mechanism of the thermal decomposition of nitrates from graphite furnace mass spectrometry studies

A basically new mechanism of the thermal decomposition of solids is proposed to explain the mass spectral observations of gaseous molecules of CoO, CuO, Cu₂O, NiO, PbO and Mg(OH)₂ during the low-temperature decomposition of the anhydrous and hydrated nitrates of these metals. The mechanism consists of two stages: congruent gasification of all reaction products irrespective of their saturated vapor pressure and subsequent condensation of the low-volatility species (oxides and hydroxides). The partial pressures of these species at the appearance temperatures calculated from this theory for the first stage of the process (1–50 mPa) are in agreement with the detection limits of the quadrupole mass spectrometers used in these experiments. The proposed mechanism is supported by other available data obtained by thermal analysis.     

Chemical imaging in biology and medicine using ion microscopy

The ability to quantitatively map the distribution of elements on the micrometer scale and smaller with high sensitivity and isotopic discrimination is unique to ion microscopy. The information contained in ion images can be crucial to the study of the solid state, where chemical heterogeneity is often directly related to observed behavior. The tools of digital image processing allow the extraction of quantitative information from the image data. These techniques coupled with improved instrumentation for the detection of ion images drastically increase the problem solving capabilities of the ion microscope. The use of such methods and instrumentation in the ion microscopic analyses of cell cultures and tissues of biological and biomedical relevance will be discussed.     

Radio-Frequency Hexamethyldisiloxane Plasma Deposition: A Comparison of Plasma- and Deposit-Chemistry

This study reports on the effect of input power to hexamethyldisiloxane (HMDSO) plasmas. The power dependence of the plasma-phase species and of the surface chemistry (of the deposits) has been investigated. Neutral and positive molecular species were detected within the plasma using mass spectrometry (MS). Secondary ion mass spectrometry (SIMS) was used to probe the molecular structure of the deposits. The elemental composition of the surface was determined by XPS and the deposition rate was monitored using a vibrating quartz crystal microbalance. Neutral and cationic molecules of mass greater than HMDSO were detected in the plasma. Their formation through ion-molecule reactions is proposed. Changes in the relative concentration of plasma-phase species follow those seen in molecular species detected at the deposit surface. Thus, we believe that the molecular structure of the deposits can be related to the species present in the plasma. While traditionally the dominant mechanism in deposit formation is assumed to be free radical combinations, we propose other possibilities involving cations with the aim of putting forward a new perspective on plasma polymerization mechanisms and thereby stimulating discussion.     

Pyrolysis chemical ionization mass spectrometry of cellulose ethers

Pyrolysis ammonia chemical ionization (PyCI) mass spectrometry was performed on hy-droxyethyl-, hydroxypropyl-,methyl-, hydroxypropylmethyl-, and ethylhydroxyethyl cel-luloses. The mass peaks in the PyCI mass spectra of these cellulose ethers could be assigned to the ions of pyrolytic dissociation products which form via the [2 + 2 + 2] cycloreversion and the E_i elimination pyrolysis pathway. Structural information about the residual amount of nonderivatized cellulose, the relative chain length distributions of the substituents in hydroxyalkyl celluloses, and the end-capping of hydroxyalkyl substituents by alkyl groups in the mixed cellulose ethers is obtained. Interference of secondary pyrolysis products in the PyCI mass spectra is found to be of minor importance, especially in the lower mass regions. © 1995 John Wiley & Sons, Inc.     

Chemical component exchange and transport phenomena accompanying phase transformations in minerals and materials

Chemical component exchange and transport phenomena accompanying the multistage phase transformations of several silicate and aluminosilicate-phosphate glasses and borates as model systems are considered. It is demonstrated that the component transport limitations modify the role of chemical affinity influence and determine the sequence of new compound formation.The work was supported by grant P040703406 from the National Committee of Scientific Research of Poland.