To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure firstname.lastname@example.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
We have determined the map position of the gene encoding a common precursor protein for diapause hormone and pheromone biosynthesis-activating neuropeptide (the DH-PBAN gene, Dh)in the silkmoth, Bombyx mori. First we compared the structure of introns in the DH-PBAN gene by the polymerase chain reaction, and found that the Dh locus carried three alleles, DhA1, DhA2 and DhB. The DhA1 and DhA2 alleles contained a fourth intron consisting of 740 bp, whereas DhB had a longer fourth intron of 770 bp. DhA1 and DhA2 contained a fifth intron consisting of 940 bp, whereas the fifth intron in DhB was much longer and consisted of 1700 bp. DhA1 was distinguished from DhA2 by an RFLP in the fifth intron after digestion with Rsa I. Linkage analyses using these polymorphisms showed that Dh was linked to the bp gene on chromosome 11, and independent of markers on chromosomes 1, 2, 3, 4, 5, 6, 7 and 13. To determine the map position, we obtained F1 hybrids between the n501 strain (K DhA1) and the w30 strain ( + KDhB), and backcrossed the F1 hybrid to females of the w30 strain. From the segregation of K and Dh in 864 individuals in the next generation, the recombination value was calculated as 25·5 % between K and Dh. Similarly we obtained backcross progeny between the No. 744 strain (BuDhA1) and the w30 strain ( + BuDhB), and calculated the recombination value between Bu and Dh as 30·4% from 487 progeny. Because k and Bu had already been mapped at positions 11–23·2 cM and 11–28·7 cM, respectively, we mapped Dh at 11--2·2 cM. The Dh locus is different from any loci which are known to control diapause, development or growth.
We have succeeded for the first time in inducing epitaxial growth of metal films on quasiperiodic surfaces. Depositions of Au onto the tenfold surface of a decagonal Al-Ni-Co quasicrystal were originally attempted to create a quasicrystal of a single element as an epitaxial film. Although the desired film was not obtained on the clean surface, a multiply twinned AuAl2 crystalline layer with a (110)-oriented surface was formed with the aid of an In pre-deposition layer. The presence of pre-deposited In also worked as a surfactant for the case of Au-deposition onto the fivefold surface of an icosahedral Al-Pd-Mn quasicrystal and promoted the formation of an ordered film of Au-Al alloy. X-ray photoelectron diffraction images from this ordered film show that the alloy has an icosahedral structure as a long-range order, suggesting the formation of a quasicrystalline film.
We are conducting a survey of the CO J=2-1 line emission in the southern Milky Way (the Tokyo-Onsala-ESO-Calán Galactic CO survey), using the 60-cm radio telescope (VST2) in La Silla, Chile. It is combined with the northern survey made with the identical telescope (VST1) at Nobeyama (e.g., Sakamoto et al. 1995), and is directly comparable with the Columbia survey of the CO J=1-0 emission (e.g., Dame et al. 1987).
The substitution of fluorine for oxygen in TiO2 was investigated by the reaction of Ti2O3, TiO2, and TiF3 under conditions of 4–6.5 GPa and 700–1400°C. The single phase of TiO2−x Fx solid solution was obtained in the region of 0≤x≤0.7. According to the x-ray diffraction data, the a and c axes of the rutile-type structure linearly increased with increasing fluorine content. The electrical resistivities of TiO2−x Fx were in the range from 10 Ω cm for x = 0.3 to 850 Ω cm for x = 0.7 at 300 K and the relationship between In ρ and 1000/T was linear. The activation energies were estimated to be from 0.17 eV at x = 0.3 to 0.28 eV at x = 0.7. Also, the thermoelectric powers at room temperature changed from 250μV/K to + 50 μV/K. The mechanism of electric conduction was discussed on the basis of the extended band model of rutile.
The modal logic S5 has been formulated in Gentzen-style by several authors such as Ohnishi and Matsumoto , Kanger , Mints  and Sato . The system by Ohnishi and Matsumoto is natural, but the cut-elimination theorem in it fails to hold. Kanger's system enjoys cut-elimination theorem, but, strictly speaking, it is not a Gentzen-type system since each formula in a sequent is indexed by a natural number. The system S5+ of Mints is also cut-free, and its cut-elimination theorem is proved constructively via the cut-elimination theorem of Gentzen's LK. However, one of his rules does not have the so-called subformula property, which is desirable from the proof-theoretic point of view. Our system in  also enjoys the cut-elimination theorem. However, it is also not a Gentzen-type system in the strict sense, since each sequent in this system consists of a pair of sequents in the usual sense.
In the present paper, we give a Gentzen-type system for S5 and prove the cut-elimination theorem in a constructive way. A decision procedure for S5 can be obtained as a by-product.
The author wishes to thank the referee for pointing out some errors in the first version of the paper as well as for his suggestions which improved the readability of the paper.
Email your librarian or administrator to recommend adding this to your organisation's collection.