A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Remarks on exact controllability for Stokes and Navier–Stokes systems

This Note deals with the controllability of Stokes and Navier–Stokes systems with distributed controls with support in possibly small subdomains. We first present a new global Carleman inequality for the solutions to Stokes-like systems that leads to the null controllability at any time T>0. Then, we present a local result concerning exact controllability to trajectories of the Navier–Stokes system. To cite this article: E. Fernández-Cara et al., C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Preparation of rhodium–phyllosilicate catalysts without leaching in liquid-phase 1-hexene hydrogenation

Rhodium catalysts have been prepared on palygorskite and montmorillonite (clay) supports by reduction with hydrogen (1 atmosphere) at room temperature of a cationic organometallic rhodium compound anchored to the support. The activity of these catalysts for the hydrogenation of liquid-phase 1-hexene remains constant with increase of prehydrogenation time and with re-use for several runs. No rhodium leaching is observed.     

Hamiltonian N2‐locally connected claw‐free graphs

A graph G is N₂‐locally connected if for every vertex ν in G, the edges not incident with ν but having at least one end adjacent to ν in G induce a connected graph. In 1990, Ryjá?ek conjectured that every 3‐connected N₂‐locally connected claw‐free graph is Hamiltonian. This conjecture is proved in this note. © 2004 Wiley Periodicals, Inc. J Graph Theory 48: 142–146, 2005     

226Ra in milk of the dairy cattle from the rural region of Pernambuco, Brazil

Summary Studies performed by the Brazilian Nuclear Corporation (NUCLEBRAS), in collaboration with the Geological Survey Company of Brazil (CPRM), identified high levels of natural uranium in the districts of Pedra and Venturosa, in the rural region of the state of Pernambuco (PE) - Brazil, where the maximum value found in rocks was 22,000 mg.     

A lithium ethyl­ene­diphos­phon­ate containing lithium chains and symmetric hydrogen bonds

In the title compound, catena‐poly[lithium‐μ₃‐ethyl­ene­diphos­phon­ato], [Li(C₂H₇O₆P₂)]_n, the supra­molecular monoclinic (C2/c) structure consists of one‐dimensional lithium chains [Li⋯Li = 2.7036 (8) Å] that are embedded within ethyl­ene­diphosphon­ate anions linked by strong symmetric hydrogen bonds [O⋯O = 2.473 (3) Å]. The Li atoms and the H atom in the symmetric hydrogen bond reside on twofold rotation axes and there is an inversion center at the mid‐point of the C—C bond of the ethylenediphosphonate ligand.     

Elliptic equations with BMO coefficients in Reifenberg domains

The inhomogeneous Dirichlet problems concerning divergence form elliptic equations are studied. Optimal regularity requirements on the coefficients and domains for the W^1,p theory, 1 < p < ∞, are obtained. The principal coefficients are supposed to be in the John‐Nirenberg space with small BMO seminorms. The domain is a Reifenberg domain. These conditions for the W^1,p theory not only weaken the requirements on the coefficients but also lead to a more general geometric condition on the domains. In fact, these domains might have fractal dimensions. © 2004 Wiley Periodicals, Inc.