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.     

Nonlinear degenerate parabolic equations with Neumann boundary condition

We study Neumann problem for a class of nonlinear degenerate parabolic PDE. A typical nonlinearity we have in mind is, for instance, β(u)=−1/u(u>0). We establish a necessary and sufficient condition on given data for existence of solution.     

Nuclearity of a nonnegative definite integral kernel on a separable metric space

The aim of this paper is to characterize the nuclearity of an integral operator, defined by a continuous non-negative definite square integrable kernel on a separable metric space, in terms of the integrability of the trace of the kernel function. Nuclearity here plays a role forU-statistics.     

Lithographic design of photosensitive polyarylates based on reaction development patterning

The factors affecting pattern‐forming properties in reaction development patterning were examined with polyarylates with various bisphenol moieties. The developability of the photosensitive polyarylates was dependent on the properties of the subtituent (R) in the bisphenol moieties. The development time decreased in the following order: R?C(CH₃)₂ > fluorenyl unit ? phenolphthalein unit > C(CF₃)₂ > SO₂. This order agreed with that of the reactivity between the polyarylates and ethanolamine, and these orders can be explained by pK_a of the bisphenol used to prepare the polyarylates. The development with NH₂? R′? OH resulted in successful positive‐tone pattern formation. However, pattern formation with the developers containing NH₂? R′? OCH₃ was unsuccessful. © 2006 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 44: 2694–2706, 2006     

Control of the bioluminescence starting time by inoculated cell density.

In this study, we attempted to control the timing of light-emission from bioluminescent bacteria, by changed cell numbers inoculated into medium. Luminous bacteria express bioluminescence when the number of cells reached a threshold. Inoculated cell density had an effect on the time of bioluminescence starting. Samples were prepared by varying cell density of inoculation. In the results, all the vials showed different luminescence profiles in the order of inoculated cell population.     

Spectrophotometric determination of anthracycline anticancer agents with aluminum(III) and chromazurol S in a nonionic surfactant micellar medium.

A simple and highly sensitive spectrophotometric method for the determination of anthracycline anticancer agents, such as Daunorubicin hydrochloride (DAU), was established by using aluminum(III) and Chromazurol S (CAS) in a nonionic surfactant micellar medium. In the case of determination of DAU, the apparent molar absorptivity was 1.3 x 10(5) dm3 mol(-1) cm(-1) at 615 nm. Beer's law was obeyed in the concentration range of 0.028 - 2.82 microg ml(-1) for DAU. Owing to no need for solvent extraction, this method could be applied to assays of DAU and related drugs in pharmaceutical preparations.