Quasiparticle and Cooper pair tenneling in small capacitance Josephson junctions

The tunneling of single electrons in small capacitance tunnel junctions is influenced by charging effects and by the fluctuations of the elecromagnetic environment. We study the effect of an external circuit with arbitrary impedance on the tunneling of quasiparticles and Cooper pairs in voltage driven Josephson junctions. We present results at finite temperatures and also consider an acdriven system.     

A posteriori H1 error estimation for a singularly perturbed reaction diffusion problem on anisotropic meshes

The paper deals with a singularly perturbed reaction diffusionmodel problem. The focus is on reliable a posteriori error estimatorsfor the H¹ seminorm that can be applied to anisotropic finiteelement meshes. A residual error estimator and a local problemerror estimator are proposed and rigorously analysed. They arelocally equivalent, and both bound the error reliably. Threemodifications of these estimators are introduced and discussed. Much attention is given to the performance of the error estimatorin numerical experiments. This helps to identify those estimatorsthat are suitable for practical applications.     

Oxygen on Fe(100) and Fe(110)

Investigations of the electronic and magnetic properties of oxygen adsorbed on magnetized iron films have been carried out by means of angle and spin resolving photoelectron spectroscopy. Iron, epitaxially grown on W(100) and W(110) crystals, served as the ferromagnetic substrate. Exchange splittings of the O 2p_x derived level have been detected, demonstrating a magnetic coupling between the chemisorbate and the iron layer. Variations of the exchange splitting have occurred as a function of the oxygen coverage, photon energy, and emission angle. High oxygen exposures have lead to a FeO overlayer at the surface.     

TheL <ω-theory of the class of Archimedian real closed fields

For the classA of uncountable Archimedian real closed fields we show that the statement TheL ^<-theory ofA is complete is independent of ZFC. In particular we have the following results:Assuming the Continuum-Hypothesis (CH) is incomplete. Conversely it is possible to build a model of set theory in which is complete and decidable. The latter can also be deduced from the Proper Forcing Axiom (PFA). In this case turns out to be equivalent to the elementary theory of the real numbers (by a quantifier-elimination procedure).Formally: is incomplete. is complete and decidable.