Consistency proof via pointwise induction

We show that the consistency of the first order arithmetic follows from the pointwise induction up to the Howard ordinal. Our proof differs from U. Schmerl [Sc]: We do not need Girard's Hierarchy Comparison Theorem. A modification on the ordinal assignment to proofs by Gentzen and Takeuti [T] is made so that one step reduction on proofs exactly corresponds to the stepping down in ordinals. Also a generalization to theories of finitely iterated inductive definitions is proved. Received May 30, 1996     

Structural order in perfluoropentacene thin films and heterostructures with pentacene

Synchrotron x-ray diffraction reciprocal space mapping was performed on perfluoropentacene (PFP) thin films on SiO2 in order to determine the crystal structure of a novel, substrate-induced thin film phase to be monoclinic with unit cell parameters of a = 15.76 +/- 0.02 A, b = 4.51 +/- 0.02 A, c = 11.48 +/- 0.02 A, and beta = 90.4 +/- 0.1 degrees . Moreover, layered and co-deposited heterostructures of PFP and pentacene (P) were investigated by specular and grazing-incidence x-ray diffraction, atomic force microscopy, and Fourier-transform infrared spectroscopy. For a ca. three-monolayers-thick PFP film grown on a P underlayer, slightly increased lattice spacing was found. In contrast, co-deposited P/PFP films form a new mixed-crystal structure with no detectable degree of phase separation. These results highlight the structural complexity of these technically relevant molecular heterojunctions for use in organic electronics.     

Molecular shape of palytoxin in aqueous solution

Palytoxin, one of the most toxic non-peptide substances, formed an associated dimer of 5 nm length in aqueous solution.     

An inhibitor of the adipogenic differentiation of 3T3-L1 cells,yoshinone A,and its analogs,isolated from the marine cyanobacterium Leptolyngbya sp.

Three novel compounds, yoshinones A, B1, and B2, were isolated from the marine cyanobacterium Leptolyngbya sp., and their structures were elucidated by NMR spectral analysis. Yoshinone A, but not yoshinone B1 or B2, inhibited the differentiation of 3T3-L1 cells into adipocytes. In addition, yoshinone A did not exhibit cytotoxicity, suggesting that yoshinone A may be useful in studies on the treatment of obesity.