Solvable set/hyperset contexts: I. Some decision procedures for the pure,finite case

Hereditarily finite sets and hypersets are characterized both as algorithmic data structures and by means of a first-order axiomatization which, despite being rather weak, suffices to make the following two problems decidable:

• (1) Establishing whether a conjunction r of formulae of the form: ? y₁ ?? y_m((y₁?W₁& ?&y_m ?W_m) ←q), with q quantifier-free and involving only the relators =, ? and propositional connectives, and each y_i distinct from all w_j's, is satisfiable.
• (2) Establishing whether a formula of the form ? y q, q quantifier-free, is satisfiable.

Concerning (1), an explicit decision algorithm is provided; moreover, significantly broad subproblems of (1) are singled out in which a classification — that we call the ‘syllogistic decomposition’ of r — of all possible ways of satisfying the input conjunction r can be obtained automatically. For one of these subproblems, carrying out the decomposition results in a finite family of syntactic substitutions that generate the space of all solutions to r. In this sense, one has a unification algorithm. Concerning (2), a technique is provided for reducing it to a subproblem of (1) for which a decomposition method is available. The algorithmic complexity of the problems under study is highlighted; a generalization of the decidability results to a theory where sets are blended with free Herbrand functors is announced. © 1996 John Wiley & Sons, Inc.     

Surgery on 3-manifolds with \mathbb{S} 1-actions

We study the topological structure of all 3-manifolds obtained by surgery along principal fibers of a closed orientable -manifold. As a consequence, we give alternative proofs of some classical results due to W. Heil and L. Moser. Moreover, we completely specify the Seifert invariants for the considered manifolds. Finally we classify the manifolds obtained by surgery along certain Seifert links and determine geometric presentations of their fundamental groups.Work performed under the auspices of C.N.R. (National Research Council) of Italy and partially supported by Ministero della Ricerca Scientifica e Tecnologica within the projects Geometria Reale e Complessa and Topologia.     

Krull-Schmidt fails for serial modules

We answer a question posed by Warfield in 1975: the Krull-Schmidt Theorem does not hold for serial modules, as we show via an example. Nevertheless we prove a weak form of the Krull-Schmidt Theorem for serial modules (Theorem 1.9). And we show that the Grothendieck group of the class of serial modules of finite Goldie dimension over a fixed ring is a free abelian group.

     

New Monte Carlo method for the self-avoiding walk

We introduce a new Monte Carlo algorithm for the self-avoiding walk (SAW), and show that it is particularly efficient in the critical region (long chains). We also introduce new and more efficient statistical techniques. We employ these methods to extract numerical estimates for the critical parameters of the SAW on the square lattice. We find=2.63820 ± 0.00004 ± 0.00030=1.352 ± 0.006 ± 0.025v=0.7590 ± 0.0062 ± 0.0042 where the first error bar represents systematic error due to corrections to scaling (subjective 95% confidence limits) and the second bar represents statistical error (classical 95% confidence limits). These results are based on SAWs of average length 166, using 340 hours CPU time on a CDC Cyber 170–730. We compare our results to previous work and indicate some directions for future research.     

Infrared active fundamental vibrations of TCNQ and chloranil monovalent anions

The interpretation of the infrared active fundamentals of TCNQ and chloranil monovalent anions is given for the first time. The rationalization of the infrared spectra was made possible by the recently achieved vibrational assignment of the corresponding neutral molecules and is mainly based on a set of judicious adjustments of their empirical valence force fields.     

Homolytic reductive alkylation of methylvinyl ketone with ethers by Ti(III) decomposition of t-butyl hydroperoxide

Reductive alkylatin of methylvinylketone has been accomplished by hydrogen abstraction from cyclic ethers with the redox couple: t-butyl hydroperoxide-titanous chloride. A redox radical mechanism is proposed and the selectivity of the hydrogen abstraction by t-butoxy radicals and reduction of α-ketoalkyl radical by titanous ions is discussed.     

Type-D vacuum solutions with cosmological constant

All type-D vacuum (nonnull orbit and null orbit) solutions with are exhibited in canonical coordinates. The nonnull orbit metrics with contain four families of solutions: the static Levi-Cività metrics, the nondivergingD's, the divergingD's, and the diverging and twisting solutions. The null orbit metrics subdivide into two subclasses of solutions: the divergenceless null orbitD's, and the diverging and twisting null orbit solution.     

Nuclear magnetic resonance studies of sulfur inversion in bis(cyclopentadienyl)-molybdenum and -tungsten complexes with dithioethers

The metallocene thioether derivatives [Cp₂M(MeSCH₂CH₂SMe)][PF₆]₂ (1, M = MO; 2, M = W), [Cp₂Mo(SCH₂CH₂SMe)][PF₆] (3) and [Cp₂M(SCH₂CH₂S)] (4, M = Mo; 5, M = W) exhibit temperature-dependent fluxional behavior in solution, owing to the pyramidal sulfur inversion process. The activation energies for this process were determined from proton band-shape analysis in the cases of 1 (54.9 ± 2 kJ mol⁻¹), 2 (51.2 ± 4.6 kJ mol⁻¹) and 3 (30.0 ± 3.1 kJ mol⁻¹). Extended Hückel calculations on related model complexes suggest that local inversion at the sulfur atoms, rather that an inversion of the complete S---C---C---S chain, is responsible for the observed fluxional behaviour.     

Effect of Bauhinia monandra Kurz Leaf Preparations on Embryonic Stages and Adult Snails of Biomphalaria glabrata (Say, 1818), Schistosoma mansoni Cercariae and Toxicity in Artemia salina

Biomphalaria glabrata snails constitute the main vector of schistosomiasis in Brazil, and Bauhinia monandra Kurz, the leaves of which contain BmoLL lectin with biocidal action, is a plant widely found on continents in which the disease is endemic. This work describes the composition of B. monandra preparations and the effect on embryos and adult snails, their reproduction parameters and hemocytes. We also describe the results of a comet assay after B. glabrata exposure to sublethal concentrations of the preparations. Additionally, the effects of the preparations on S. mansoni cercariae and environmental monitoring with Artemia salina are described. In the chemical evaluation, cinnamic, flavonoid and saponin derivatives were detected in the two preparations assessed, namely the saline extract and the fraction. Both preparations were toxic to embryos in the blastula, gastrula, trochophore, veliger and hippo stages (LC₅₀ of 0.042 and 0.0478; 0.0417 and 0.0419; 0.0897 and 0.1582; 0.3734 and 0.0974; 0.397 and 0.0970 mg/mL, respectively) and to adult snails (LC₅₀ of 6.6 and 0.87 mg/mL, respectively), which were reproductively affected with decreased egg deposition. In blood cell analysis, characteristic cells for apoptosis, micronucleus and binucleation were detected, while for comet analysis, different degrees of nuclear damage were detected. The fraction was able to cause total mortality of the cercariae and did not present environmental toxicity. Therefore, B. monandra preparations are promising in combating schistosomiasis since they can control both the intermediate host and eliminate the infectious agent, besides being safe to the environment.     

Trichoderma Enzymes for Degradation of Aflatoxin B1 and Ochratoxin A

The contamination of agricultural products with mycotoxins causes risks to animal and human health and severe economic losses. Mycotoxicoses can be reduced by preventing fungal infection using chemical and biological approaches. The chemical strategies can release toxic molecules; therefore, strategies for biological control are being evaluated, such as using nontoxic fungi and their metabolites. This work evaluated the effect of exoenzymes produced by the beneficial fungus Trichoderma afroharzianum strain T22 in degrading Aflatoxin B1 (AFB1) and Ochratoxin A (OTA). The ability of Trichoderma to produce hydrolases was stimulated by using different inducing substrates. The highest AFB1 and OTA degradation activity was obtained using a medium containing lyophilized mushrooms and crude fiber. The T. afroharzianum T22’s ability to reduce mycotoxins may be attributed to peroxidase enzymes. This study showed that T. afroharzianum strain T22 or its peroxidase supplementation could represent a sustainable strategy for the degradation of AFB1 and OTA in feed and food products.