Supercompactness and measurable limits of strong cardinals II: Applications to level by level equivalence

We construct models for the level by level equivalence between strong compactness and supercompactness in which for κ the least supercompact cardinal and δ ≤ κ any cardinal which is either a strong cardinal or a measurable limit of strong cardinals, 2^δ > δ ⁺ and δ is < 2^δ supercompact. In these models, the structure of the class of supercompact cardinals can be arbitrary, and the size of the power set of κ can essentially be made as large as desired. This extends and generalizes [5, Theorem 2] and [4, Theorem 4]. We also sketch how our techniques can be used to establish a weak indestructibility result. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Preparation of antimicrobial poly(vinyl alcohol) nanofibers containing silver nanoparticles

Polyvinyl alcohol (PVA) nanofibers containing Ag nanoparticles were prepared by electrospinning PVA/silver nitrate (AgNO₃) aqueous solutions, followed by short heat treatment, and their antimicrobial activity was investigated for wound dressing applications. Since PVA is a water soluble and biocompatible polymer, it is one of the best materials for the preparation of wound dressing nanofibers. After heat treatment at 155 °C for 3 min, the PVA/AgNO₃ nanofibers became insoluble, while the Ag⁺ ions therein were reduced so as to produce a large number of Ag nanoparticles situated preferentially on their surface. The residual Ag⁺ ions were reduced by subsequent UV irradiation for 3 h. The average diameter of the Ag nanoparticles after the heat treatment was 5.9 nm and this value increased slightly to 6.3 nm after UV irradiation. It was found that most of the Ag⁺ ions were reduced by the simple heat treatment. The PVA nanofibers containing Ag nanoparticles showed very strong antimicrobial activity. © 2006 Wiley Periodicals, Inc. J Polym Sci Part B: Polym Phys 44: 2468–2474, 2006     

Design and Experimental Characterization of Low‐Volume PM10/2.5/1.0 Trichotomous Sampler Inlet

This paper presents the development and laboratory evaluation of a PM10/2.5/1.0 trichotomous sampling inlet that consists of two main parts: a previously designed PM10 size‐selective inlet part and a PM2.5/1.0 two‐stage virtual impactor, which was newly fabricated and attached serially to the PM10 size selective inlet part. Particles are collected in three locations through the trichotomous sampling inlet to provide for not only particle concentration measurements of PM10, PM2.5 and PM1.0, but also those of PM2.5–10 and PM1.0–2.5.     

Spectroscopic imaging display and analysis.

A system for display of magnetic resonance (MR) spectroscopic imaging (SI) data is described which provides for efficient review and analysis of the multidimensional spectroscopic and spatial data format of this technique. Features include the rapid display of spectra from selected image voxels, formation of spectroscopic images, spectral and image data processing operations, methods for correlating spectroscopic image data with high resolution 1H MR images, and hardcopy facilities. Examples are shown for 31P and 1H spectroscopic imaging studies obtained in human and rat brain.     

Inertia-preserving secant updates

Corrections to the last two equations of Ref. 1 are given.     

Short-range order in miscible polymer blends: A monte carlo study

Local ordering in miscible binary polymer blends with strong attractive interactions between the two types of chains was investigated by computer simulation of allowable conformations on an incompressible cubic lattice. A tendency toward maximum ordering (in which chains pack in alternate parallel rows) is shown by the calculation of pair correlations and in “snapshots” of the mixtures. A specific directional interaction is not necessarily required for ordering. A comparison of these results with those recently obtained using mean-field theory is presented. The heat capacity of mixing was also calculated and found to be positive, with a value close to that reported experimentally.     

Models of linear logic

We engage a study of nonmodal linear logic which takes times ⊗ and the linear conditional ⊸ to be the basic connectives instead of times and linear negation ()^⊥ as in Girard's approach. This difference enables us to obtain a very large subsystem of linear logic (called positive linear logic) without an involutionary negation (if the law of double negation is removed from linear logic in Girard's formulation, the resulting subsystem is extremely limited). Our approach enables us to obtain several natural models for various subsystems of linear logic, including a generic model for the so-called minimal linear logic. In particular, it is seen that these models arise spontaneously in the transition from set theory to multiset theory. We also construct a model of full (nonmodal) linear logic that is generic relative to any model of positive linear logic. However, the problem of constructing a generic model for positive linear logic remains open. Bibliography: 2 titles. Published inZapiski Nauchnykh Seminarov POMI, Vol. 220, 1995, pp. 23–35. Original