A direct independence proof of Buchholz's Hydra Game on finite labeled trees

We shall give a direct proof of the independence result of a Buchholz style-Hydra Game on labeled finite trees. We shall show that Takeuti-Arai's cut-elimination procedure of and of the iterated inductive definition systems can be directly expressed by the reduction rules of Buchholz's Hydra Game. As a direct corollary the independence result of the Hydra Game follows. Received: August 23, 1994 / Revised: July 24, 1995 and May 9, 1996     

A new monitoring system of cultured myocardial cell motion: effect of pilose antler extract and cardioactive agents on spontaneous beating of myocardial cell sheets

Effects of various cardioactive agents and a water extract of the pilose antler of Cervus nippon var. mantchuricus on periodic beating of cultured myocardial cell sheets were examined by using an image analyzing system. Norepinephrine increased the beating rate and the beating amplitude, whereas digoxin and forskolin enlarged only the beating amplitude. Verapamil and propranolol decreased both the beating rate and the beating amplitude. The water extract of the pilose antler showed no remarkable effects in a standard medium (2.1 mM Ca2+). However, it significantly increased the beating amplitude when the beating was suppressed by replacement with a low calcium medium (0.5 mM Ca2+). A similar effect was found for 70% ethanol-soluble and -insoluble fractions of the extract.     

Development of Non-Halogen Flame Retardant Optical Fiber and Optical Fiber Cord

A non-halogen highly flame-retardant 0.9mm optical fiber and 2.0mm simplex optical cord, which are harmonized with the ecosystem, have been developed. The characteristics of them are presented in this paper.     

Temperature dependence of aluminum nitride reflectance spectra in vacuum ultraviolet region

Temperature dependence of optical reflectance spectra in vacuum ultraviolet region for aluminum nitride has been measured on high-quality single crystal with synchrotron radiation. The dominant structure due to the interband transition is observed at photon energy around 7.7 eV. With decreasing temperature, the energy position of the dominant structure in the reflectance spectra shifts towards higher energy. The experimental data has been fitted to the Bose-Einstein expression and the obtained parameter related to the strength of the electron-phonon interactions is much smaller than that for the peak at 6.2 eV, suggesting that the higher-lying interband transition energy decreases more slowly with increasing temperature in aluminum nitride (AlN).     

A Relationship Among Gentzen's Proof-Reduction,Kirby-Paris' Hydra Game and Buchholz's Hydra Game

We first note that Gentzen's proof-reduction for his consistency proof of PA can be directly interpreted as moves of Kirby-Paris' Hydra Game, which implies a direct independence proof of the game (Section 1 and Appendix). Buchholz's Hydra Game for labeled hydras is known to be much stronger than PA. However, we show that the one-dimensional version of Buchholz's Game can be exactly identified to Kirby-Paris' Game (which is two-dimensional but without labels), by a simple and natural interpretation (Section 2). Jervell proposed another type of a combinatorial game, by abstracting Gentzen's proof-reductions and showed that his game is independent of PA. We show (Section 3) that this Jervell's game is actually much stronger than PA, by showing that the critical ordinal of Jervell's game is φ_ω (0) (while that of PA or of Kirby-Paris' Game is φ₁ (0) = ?₀) in the Veblen hierarchy of ordinals.     

Constructive and Destructive Two-Pulse Excitation Investigated with a White-Light Michelson Interferometer

Linear propagation of two pulses through methanol solution of aluminum phthalocyanine chloride is investigated using a modified white-light Michelson interferometer. The observed coherence time of the white light is 6 fs, and the separation between the two-excitation pulses is set to about 10 fs. The excitation is dependent on the phase-relation between the two pulses. We have observed an enhancement of the excitation when the two pulses are in-phase and strong suppression of the excitation when the two pulses are out of phase by π.