The full basis theorem does not imply analytic wellordering

A finite support product of ${\omega }_1$ clones of Jensen's minimal ${\Pi }_2^1$ singleton forcing is used to define a model in which any non-empty analytically definable set of reals contains an analytically definable real (the full basis theorem), but there is no analytically definable wellordering of the reals.     

Positions of convex bodies associated to extremal problems and isotropic measures

We show that there are close relations between extremal problems in dual Brunn-Minkowski theory and isotropic-type properties for some Borel measures on the sphere. The methods we use allow us to obtain similar results in the context of Firey-Brunn-Minkowski theory. We also study reverse inequalities for dual mixed volumes which are related with classical positions, such as ?-position or isotropic position.     

A fast method to measure the thickness of removed layer from etching of SSNTD based on EDXRF

Solid state nuclear track detectors are commonly used for measurements of concentrations of radon gas and/or radon progeny. All these measurements depend critically on the thickness of the removed layer during etching. However, the thickness of removed layer calculated using the etching period does not necessarily provide a sufficiently accurate measure of the thickness. For example, the bulk etch rate depends on the strength of stirring during etching for the LR 115 detector. We propose here to measure the thickness of the removed layer by using energy-dispersive X-ray fluorescence spectrometry. In the present work, a reference silver nitrate pellet is placed beneath the LR 115 detector, and the fluorescence X-ray intensity for silver is then measured. We have found a linear relationship between the X-ray intensity and the thickness of the removed layer for LR 115 detector. This provides a fast method to measure the thickness of removed layer from etching of LR 115 detector. However, this method was found to be inapplicable for the CR-39 detector. Therefore, alternative methods have yet to be explored for the CR-39 detector.     

An inner product lemma

Given the operator product BA in which both A and B are symmetric positive‐definite operators, for which symmetric positive‐definite operators C is BA symmetric positive‐definite in the C inner product 〈x, y〉C? This question arises naturally in preconditioned iterative solution methods, and will be answered completely here. Copyright © 2004 John Wiley & Sons, Ltd.     

Baker＇s Yeast Mediated Reduction of Optically Active Diketone

Baker‘s yeast mediated reduction of optically active diketone is described. The two keto groups are efficiently differentiated and the ee value of the recovered material is considerably raised. It affords highly optically active key intermediates efficiently for the synthesis of natural polyhydroxylated agarofuran products.     

Metric and Periodic Lines in Real Inner Product Space Geometries

The lines of euclidean and hyperbolic geometries are characterized as metric lines in the sense of Blumenthal–Menger, and the lines of spherical and elliptic geometry as periodic ones. In euclidean geometries there do not exist periodic lines.     

Adaptive remeshing for ductile fracture prediction in metal formingRemaillage adaptatif pour la prévision de la rupture ductile en mise en forme

The analysis of mechanical structures using the Finite Element Method in the framework of large elastoplastic strain, needs frequent remeshing of the deformed domain during computation. Indeed, the remeshing is due to the large geometrical distortion of finite elements and the adaptation to the physical behavior of the solution. This paper gives the necessary steps to remesh a mechanical structure during large elastoplastic deformations with damage. An important part of this process is constituted by geometrical and physical error estimates. The proposed method is integrated in a computational environment using the ABAQUS/Explicit solver and the BL2D-V2 adaptive mesher. To cite this article: H. Borouchaki et al., C. R. Mecanique 330 (2002) 709–716.     

Über die abstandsverträglichen Abbildungen auf dem Kreis und auf der reellen Geraden

Zusammenfassung. Eine Abbildung zwischen metrischen R?umen hei?t abstandsvertr?glich, wenn der Abstand der Bilder zweier Punkte nur vom Abstand der Punkte selbst abh?ngt. Wir zeigen, dass eine Abbildung genau dann abstandsvertr?glich ist, wenn der Cauchyschen Funktionalgleichung genügt, also ein Endomorphismus der Gruppe ist. Ein entsprechendes Resultat gilt auch für die abstandsvertr?glichen Abbildungen des Kreises (mit der Multiplikation komplexer Zahlen als Gruppenverknüpfung). Damit kann man sowohl alle messbaren abstandsvertr?glichen Abbildungen von bzw. in sich angeben, als auch einen Nachweis für die Existenz nichtmessbarer abstandsvertr?glicher Abbildungen auf und erbringen. Eingegangen am 20. Juni 2001 / Angenommen am 13. September 2001