Self-injection length in La0.7Ca0.3MnO3-YBa2Cu3O7-δ ferromagnet-superconductor multilayer thin films

We have carried out extensive studies on the self-injection problem in barrierless heterojunctions between La_0.7Ca_0.3MnO₃ (LCMO) and YBa₂Cu₃O_7-δ (YBCO) thin films. The heterojunctions were formed in situ by sequentially growing LCMO and YBCO films on 〈100〉 LaAlO₃ (LAO) substrate using a pulsed laser deposition (PLD) system. YBCO micro-bridges with 64 μm width were patterned both on the LAO (control) and LCMO side of the substrate. Critical current, I _c, was measured at 77 K on both the control side as well as the LCMO side for different YBCO film thickness. It was observed that while the control side showed a J _c of ∼ 2 × 10⁶ A/cm², the LCMO side showed about half the value for the same thickness (1800 ?). The difference in J _c indicates that a certain thickness of YBCO has become ‘effectively’ normal due to self-injection. From the measurement of J _c at two different thicknesses (1800 ? and 1500 ?) of YBCO films both on the LAO as well as the LCMO side, the value of self-injection length (at 77 K) was estimated to be ∼ 900 ?. To the authors’ best knowledge, this is the first time that self-injection length has been quantified. A control experiment carried out with LaNiO₃ deposited by PLD on YBCO did not show any evidence of self-injection.     

Ein Henkin-Vollständigkeitsbeweis für die intuitionistische Prädikatelogik bezüglich der Kripke-Semantik

Ohne Zusammenfassung     

Skolem-Normalformen

For simple type theory with -conversion, extensionality and classical, intuitionistic or minimal predicate logic together with M-, Br-, S4- or S5-modalities as examples it is shown that it is possible to obtain Skolemnormalforms only by applying transpositions, i.e. replacements of equivalent subformulae. In this way one gets in classical type theory without modalities a provable equivalent normalform with prefix and with S5-modalities a deductive equivalent prenex normalform of the form. The axiom of choice allows further simplifications: for example in classical simple type theory a provable equivalent normalform with prefix.     

Über das Markov-Prinzip

Ohne ZusammenfassungIn einer Fortsetzung dieser (im Mai 1974 abgeschlossenen) Arbeit wird die Untersuchung unter Berücksichtigung der inzwischen erschienenen Literatur weitergeführt.     

Magnetoelectric effect in cobalt ferrite-barium titanate composites and their electrical properties

CoFe₂O₄-BaTiO₃ composites were prepared using conventional ceramic double sintering process with various compositions. Presence of two phases in the composites was confirmed using X-ray diffraction. The dc resistivity and thermoemf as a function of temperature in the temperature range 300 K to 600 K were measured. Variation of dielectric constant (ɛ′) with frequency in the range 100 Hz to 1 MHz and also with temperature at a fixed frequency of 1 kHz was studied. The ac conductivity was derived from dielectric constant (ɛ′) and loss tangent (tan δ). The nature of conduction is discussed on the basis of small polaron hopping model. The static value of magnetoelectric conversion factor has been studied as a function of magnetic field.     

Energy dependence of multiplicity in proton-nucleus collisions and models of multiparticle production

This is a continuation of our earlier investigation (Gurtuet al 1974Phys. Lett. 50 B 391) on multiparticle production in proton-nucleus collisions based on an exposure of emulsion stack to 200 GeV/c beam at the NAL. It is found that the ratioR _em = 〈n _s〉/〈n _ch〉, where 〈n _ch〉 is the charged particle multiplicity in pp-collisions, increases slowly from about 1 at 10 GeV/c to 1·6 at 68 GeV/c and attains a constant value of 1·71 ± 0·04 in the region 200 to 8000 GeV/c. Furthermore,R _em = 1·71 implies an effectiveA-dependence ofR _A =A ^0.18,i.e., a very weak dependence. Predictions ofR _em on various models are discussed and compared with the emulsion data. Data seem to favour models of hadron-nucleon collisions in which production of particles takes place through adouble step mechanism,e.g., diffractive excitation, hydrodynamical and energy flux cascade as opposed to models which envisage instantaneous production.     

Aussagenlogisch Fundierte Theorien

Ohne ZusammenfassungDies ist der erste Teil einer Arbeit, die von der Naturwissenschaftlichen Fakultät der Phillips-Universität Marburg/Lahn als Dissertation angenommen wurde.Der Verfasser dankt seinem verehrten Lehrer, Herrn Professor H. Arnold Schmidt, der ihm in seinen Vorlesungen, seinen Seminaren und zahlreichen Gesprächen einen tiefen Kontakt zur Mathematik, insbesondere zur mathematischen Grundlagenforschung, vermittelt hat.