A Model for Spacetime: The Role of Interpretation in Some Grothendieck Topoi

We analyse the proposition that the spacetime structure is modified at short distances or at high energies due to weakening of classical logic. The logic assigned to the regions of spacetime is intuitionistic logic of some topoi. Several cases of special topoi are considered. The quantum mechanical effects can be generated by such semi-classical spacetimes. The issues of: background independence and general relativity covariance, field theoretic renormalization of divergent expressions, the existence and definition of path integral measures, are briefly discussed in the proposal. The connection with some problems in foundations of mathematics and differential topology are also discussed.     

Regioselectivity in the ene-reaction of singlet oxygen with cyclic alkenes: photooxygenation of methyl-substituted 1,4-cyclohexadiene derivatives

The photooxygenation of the 1-methyl-, 2,3-dimethyl-, and 1,4-dimethylcyclohexa-1,4-dienes, which are readily available through Birch reduction, yielded the corresponding ene-products. The formed endocyclic dienes were trapped by the addition of singlet oxygen to give the corresponding bicyclic endoperoxy hydroperoxides. In the case of 1-methylcyclohexa-1,4-diene and 1,4-dimethylcyclohexa-1,4,-diene, the cis-effect determined the product distribution. Photooxygenation of 2,3-dimethylcyclohexa-1,4-dienes gave mainly exocyclic olefin, which was attributed to the lowered rotational barrier of the methyl group and increased reactivity of the methyl groups.     

Structural studies of Cr-doped mullite derived from single-phase precursors

Cr-doped mullites were prepared from single-phase precursors containing up to 9.60 wt% Cr₂O₃ using a sol-gel technique followed by thermal treatment. Particle induced X-ray emission spectroscopy and X-ray powder diffraction were used to characterize the samples. Mullites were orthorhombic, space group Pbam. Cr doping caused the increase of unit-cell parameters. Strongest expansion was noticed along c-axis followed by a and b (Δc/c=0.089, Δa/a=0.061, Δb/b=0.045% per mole Cr₂O₃). A second phase, namely θ-(Al,Cr)₂O₃, was revealed by XRD in the sample containing 9.60 wt% Cr₂O₃. The structure of mullites was refined by the Rietveld method, location of Cr³⁺ was performed by the EPR spectroscopy. At low chromium doping level (Cr₂O₃ content less than ∼5 wt%) Cr³⁺ ions were substituted for Al³⁺ in the AlO₆ octahedra of the mullite structure (M1 site). For higher doping level, Cr³⁺ ions were additionally substituted for Al³⁺ in the AlO₆ octahedra of the second phase [θ-(Al,Cr)₂O₃ at 1400 °C, or α-(Al,Cr)₂O₃ at 1600 °C] which segregated in the system. Substitution of Cr³⁺ for Al³⁺ on M1 site in the mullite structure resulted in increase of average distances in (M1)O₆ octahedron and decrease of average distances in T*O₄ tetrahedron, while average distances in TO₄ tetrahedron stayed almost constant.     

A finite cutting plane method for facial disjunctive programs

This paper shows that any linear disjunctive program with a finite number of constraints can be transformed into an equivalent facial program. Based upon linear programming technique, a new, finite cutting plane method is presented for the facial programs.

---

Zusammenfassung Die Arbeit zeigt, daß jedes lineare disjunktive Optimierungsproblem mit endlich vielen Restriktionen in ein äquivalentes Fazetten-Problem transformiert werden kann. Auf der Grundlage von linearer Optimierungstechnik wird für das Fazetten-Problem ein neues, endliches Schnittebenenverfahren vorgestellt.

     

Conversion of single-stranded oligonucleotides into cloned duplexes and its consecutive application to short artificial genes.

A general method to convert single-stranded, chemically synthesized oligonucleotides into cloned duplexes is described. Oligonucleotides supplied with 3'-terminal extensions that are complementary to 3'-protruding ends obtained by certain restriction enzymes can be cloned either directly or with the help of an adapter molecule into double-stranded vectors. Two methods have also been developed for consecutive cloning applications. According to these methods, the synthetic oligonucleotides (and their enzymatically prepared complementary strands) are joined, one after the other, inside a cloning vector, each joining requiring one cloning step. Synthetic genes are thus built up from oligonucleotides corresponding to only one strand of the DNA. The sequential assembly of the cloned duplex takes place in the 5' to 3' direction. Each oligonucleotide is supplied with a four-nucleotide-long 3'-terminal extension, but this sequence is eliminated when the joining takes place, leaving no limiting sequence between the oligonucleotides. The two consecutive cloning methods, the adapter and the polycloning site methods, are illustrated by the assembly of short artificial genes.     

Book reviews

Ohne Zusammenfassung

---

Book reviews

     

Pourquoi, pour qui enseigner les mathématiques? Une mise en perspective historique de l’évolution des programmes de mathématiques dans la société française au XXe siècle

Evolutions of mathematical curricula in French society have been marked by the successive answers intitutions have given to the following question since one century: Why and whom teaching mathematics? Here I present two of these, one given in 1908 and one in 1967. Each symbolises a breaking period of reforms in secondary mathematics teaching in France. We will see in the two first part of this paper that they belong to two different worlds, with social, institutional, ideological and mathematical specific features. In the third part, I’ll focus on geometry, showing the effects of the different answers concerning the public and the aims of mathematical teaching.     

Neocompact Sets and the Fixed Point Property

We use a newly introduced concept of neocompactness to study problems from metric fixed point theory. In particular, we give a sufficient condition for a superreflexive Banach space X to have the fixed point property and obtain shorter proofs of some well-known results in that theory.