HFD groups in the Solovay model

Hajnal and Juhasz proved that under CH there is a hereditarily separable, hereditarily normal topological group without non-trivial convergent sequences that is countably compact and not Lindelof. The example constructed is a topological subgroup H subset of 2(omega 1) that is an HFD with the following property (P) the projection of H onto every partial product 2(I) for I is an element of vertical bar omega(1)vertical bar(omega) is onto. Any such group has the necessary properties. We prove that if kappa is a cardinal of uncountable cofinality, then in the model obtained by forcing over a model of CH with the measure algebra on 2(kappa), there is an HFD topological group in 2(omega 1) which has property (P). Crown Copyright (C) 2009 Published by Elsevier B.V. All rights reserved.

On the extent of star countable spaces

For a topological property P, we say that a space X is star Pif for every open cover Uof the space X there exists Y aS, X such that St(Y,U) = X and Y has P. We consider star countable and star Lindelof spaces establishing, among other things, that there exists first countable pseudocompact spaces which are not star Lindelof. We also describe some classes of spaces in which star countability is equivalent to countable extent and show that a star countable space with a dense sigma-compact subspace can have arbitrary extent. It is proved that for any omega (1)-monolithic compact space X, if C (p) (X)is star countable then it is Lindelof.

Countability and star covering properties

Whenever P is a topological property, we say that a topological space is star P if whenever U is an open cover of X, there is a subspace A subset of X with property P such that X = St(A, U). We study the relationships of star P properties for P is an element of {Lindelof, sigma-compact, countable} with other Lindelof type properties. (C) 2010 Elsevier B.V. All rights reserved.

Aspectos dinâmicos e ergódicos dos intercâmbios de intervalos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Topologias maximais com respeito a algumas famílias de subconjuntos

Seja (X; t) um espaço topológico e seja F a família de todos os subconjuntos de X que satisfazem uma propriedade topológica dada P (invariante por homeomorfismos). Se acrescentarmos abertos novos à topologia e se F\' é a família de todos os subconjuntos do novo espaço que satisfazem a propriedade P, podemos ter que F ≠ F\'. Se isto sempre acontece, dizemos que o espaço (X; t) é maximal com respeito à família F. Neste trabalho estudaremos os espaços topológicos maximais com respeito a algumas famílias de subconjuntos: discretos, compactos, densos, conexos e das sequências convergentes.

Linear temporal logic and z refinement

Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also in terms of its state. One means of doing this is to use Linear Temporal Logic (LTL) in which properties about the state of a system over time can be captured. This, however, raises the question of whether these properties are preserved under refinement. Refinement is observation preserving and the state of a specified system is regarded as internal and, hence, non-observable. In this paper, we investigate this issue by addressing the following questions. Given that a Z specification A is refined by a Z specification C, and that P is a temporal logic property which holds for A, what temporal logic property Q can we deduce holds for C? Furthermore, under what circumstances does the property Q preserve the intended meaning of the property P? The paper answers these questions for LTL, but the approach could also be applied to other temporal logics over states such as CTL and the mgr-calculus.

Remixing Canadian copyright law: A review essay on'An Emerging Intellectual Property Paradigm','Canadian Copyright: A Citizen's Guide'; and'RiP!: A Remix Manifesto', Prometheus, Vol. 27 (3), p. 297-305

In her album, Hymns of the 49th Parallel, the chanteuse K.D. Lang pays tribute to a series of great Canadian songwriters—such as Neil Young, Leonard Cohen, Joni Mitchell and Jane Siberry. In a similar spirit of celebration, this review essay pays homage to a number of recent texts and films dealing with Canadian intellectual property. First, it considers Ysolde Gendreau’s collection, An Emerging Intellectual Property Paradigm: Perspectives from Canada. Second, this essay looks at Laura Murray and Samuel Trosow’s manual, Canadian Copyright: A Citizen’s Guide. Finally, this review evaluates Brett Gaylor’s documentary, RiP! A Remix Manifesto. The three works share certain affinities—a spirit of scepticism about the legitimacy and the efficacy of existing networks of law, policy and bureaucracy; a populist interest in the impact of intellectual property on the everyday lives of citizens, creators and consumers; a passion for human rights; and a melioristic desire for sensible law reform of copyright law and related regimes of intellectual property.

Quantitative structure-property relationships for octanol-air partition coefficients of polychlorinated naphthalenes, chlorobenzenes and p,p '-DDT

The octanol-air partition coefficient (K-OA) is a key descriptor of chemicals partitioning between the atmosphere and environmental organic phases. Quantitative structure-property relationships (QSPR) are necessary to model and predict KOA from molecular structures. Based on 12 quantum chemical descriptors computed by the PM3 Hamiltonian, using partial least squares (PLS) analysis, a QSPR model for logarithms of K-OA to base 10 (log K-OA) for polychlorinated naphthalenes (PCNs), chlorobenzenes and p,p'-DDT was obtained. The cross-validated Q(cum)(2) value of the model is 0.973, indicating a good predictive ability of the model. The main factors governing log K-OA of the PCNs, chlorobenzenes, and p,p'-DDT are, in order of decreasing importance, molecular size and molecular ability of donating/accepting electrons to participate in intermolecular interactions. The intermolecular dispersive interactions play a leading role in governing log K-OA. The more chlorines in PCN and chlorobenzene molecules, the greater the log K-OA values. Increasing E-LUMO (the energy of the lowest unoccupied molecular orbital) of the molecules leads to decreasing log K-OA values, implying possible intermolecular interactions between the molecules under study and octanol molecules. (C) 2002 Elsevier Science Ltd. All rights reserved.

Time-lapse monitoring of fluid induced geophysical property variations within an unstable earthwork using P-wave refraction

A significant portion of the UK’s transportation system relies on a network of geotechnical earthworks (cuttings and embankments) that were constructed more than 100 years ago, whose stability is affected by the change in precipitation patterns experienced over the past few decades. The vulnerability of these structures requires a reliable, cost- and time-effective monitoring of their geomechanical condition. We have assessed the potential application of P-wave refraction for tracking the seasonal variations of seismic properties within an aged clay-filled railway embankment, located in southwest England. Seismic data were acquired repeatedly along the crest of the earthwork at regular time intervals, for a total period of 16 months. P-wave first-break times were picked from all available recorded traces, to obtain a set of hodocrones referenced to the same spatial locations, for various dates along the surveyed period of time. Traveltimes extracted from each acquisition were then compared to track the pattern of their temporal variability. The relevance of such variations over time was compared with the data experimental uncertainty. The multiple set of hodocrones was subsequently inverted using a tomographic approach, to retrieve a time-lapse model of VPVP for the embankment structure. To directly compare the reconstructed VPVP sections, identical initial models and spatial regularization were used for the inversion of all available data sets. A consistent temporal trend for P-wave traveltimes, and consequently for the reconstructed VPVP models, was identified. This pattern could be related to the seasonal distribution of precipitation and soil-water content measured on site.

Synthesis and physical property characterisation of phosphonium ionic liquids based on P(O)2(OR)2− and P(O)2(R)2− anions with potential application for corrosion mitigation of magnesium alloys

Phosphonium cation based ionic liquids (ILs) have become of interest due to their unique chemical and electrochemical stability as well as their promising tribological properties. At the same time, interest has also grown in the use of phosphate and phosphinate based ionic liquids for corrosion protection of reactive metals. In this work we describe the synthesis and characterization of six novel ionic liquids based on the tetraalkylphosponium cation coupled with organophosphate and organophosphinate anions and their sulfur analogues. The conductivity and viscosity of these ILs has been measured and discussed in terms of the nature of the interactions, effect of anion basicity and the extent of ionic character. The reaction of the IL with a ZE41 magnesium aerospace alloy surface is also demonstrated.