Extending Martin-Löf Type Theory by one Mahlo-universe

We define a type theory MLM, which has proof theoretical strength slightly greater then Rathjen's theory KPM. This is achieved by replacing the universe in Martin-L?f's Type Theory by a new universe V having the property that for every function f, mapping families of sets in V to families of sets in V, there exists a universe inside V closed under f. We show that the proof theoretical strength of MLM is . This is slightly greater than , and shows that V can be considered to be a Mahlo-universe. Together with [Se96a] it follows . Received: 8 February 1996     

Polaronic origin of the isotope effect on the London penetration depth in high-temperature superconducting oxides

Direct measurements of the in-plane London penetration depth λ _L have recently been performed on high-temperature superconducting copper oxides by a new low-energy muon spin rotation technique. The results show that λ _L is isotope dependent, evidencing unconventional electron–phonon interactions as its source. The data are interpreted here in terms of polaronic effects on the single-particle energies, which leads to level shifts and exponential band narrowing. Good agreement with the experimental data is obtained.     

The aΔg→XΣg magnetic dipole transition of S2

Emission spectra of the 0-0 band of the a¹Δ_g→X³Σ⁻_g magnetic dipole transition of S₂ have been observed in the near-infrared spectral region near 4400 cm⁻¹. The S₂ molecules were generated in a fast-flow system by passing S_x or S₂Cl₂ vapor in Ar carrier gas through a microwave discharge and were excited by electronic-to-electronic energy transfer from metastable singlet oxygen O₂(a¹Δ_g). Medium-resolution spectra of the b¹Σ⁺_g→X³Σ⁻_g and a¹Δ_g→X³Σ⁻_g transitions of S₂ were measured with a Fourier-transform spectrometer. By comparing the bandshape of the 0-0 band of the a→X system with a computer simulation calculated with literature data of the rotational constants of the X and a states, the origin of the 0-0 band was determined to be ν₀=4394.25±0.2 cm⁻¹.     

Human neuronal stargazin-like proteins, γ2, γ3 and γ4; an investigation of their specific localization in human brain and their influence on CaV2.1 voltage-dependent calcium channels expressed in Xenopus oocytes.

Background  

Stargazin (γ₂) and the closely related γ₃, and γ₄ transmembrane proteins are part of a family of proteins that may act as both neuronal voltage-dependent calcium channel (VDCC) γ subunits and transmembrane α-amino-3-hydroxy-5-methyl-4-isoxazoleproponinc (AMPA) receptor regulatory proteins (TARPs). In this investigation, we examined the distribution patterns of the stargazin-like proteins γ₂, γ₃, and γ₄ in the human central nervous system (CNS). In addition, we investigated whether human γ₂ or γ₄ could modulate the electrophysiological properties of a neuronal VDCC complex transiently expressed in Xenopus oocytes.     

On toric h-vectors of centrally symmetric polytopes

We prove tight lower bounds for the coefficients of the toric h-vector of an arbitrary centrally symmetric polytope generalizing previous results due to R. Stanley and the author using toric varieties. Our proof here is based on the theory of combinatorial intersection cohomology for normal fans of polytopes developed by G. Barthel, J.-P. Brasselet, K. Fieseler and L. Kaup, and independently by P. Bressler and V. Lunts. This theory is also valid for nonrational polytopes when there is no standard correspondence with toric varieties. In this way we can establish our bounds for centrally symmetric polytopes even without requiring them to be rational. Received: 24 March 2004     

Direct Imaging of Octahedral Distortion in a Complex Molybdenum Vanadium Mixed Oxide

Complex Mo,V‐based mixed oxides that crystallize in the orthorhombic M1‐type structure are promising candidates for the selective oxidation of small alkanes. The oxygen sublattice of such a complex oxide has been studied by annular bright field scanning transmission electron microscopy. The recorded micrographs directly display the local distortion in the metal oxygen octahedra. From the degree of distortion we are able to draw conclusions on the distribution of oxidation states in the cation columns at different sites. The results are supported by X‐ray diffraction and electron paramagnetic resonance measurements that provide integral details about the crystal structure and spin coupling, respectively.