Steel strip to be used in the manufacture of carbonated beverage packs is treated to incorporate sulfur into its surface layers by diffusion during the annealing cycle that is normally conducted after cold rolling and cleaning operations. The steel is first treated with an aqueous sulfide solution, dried and then heated in a conventional annealing furnace.
The 1990 papers of Cohen and Levesque (C&L) on rational interaction have been most influential. Their approach is based on a logical framework integrating the concepts of belief, action, time, and choice. On top of these they define notions of achievement goal, persistent goal, and intention. ::: ::: We here revisit their approach in a simplified, propositional logic, for which we give complete axiomatization. ::: ::: Within that logic we study the definition of achievement goals, refining C&L's analysis. Our analysis allows us to identify the conditions under which achievement goals persist. We then discuss the C&L definition of intention as well as a variant that has been proposed by Sadek and Bretier. We argue that both are too strong and propose a weakened version.
We prove that groups acting geometrically on delta-quasiconvex spaces contain no essential Baumslag-Solitar quotients as subgroups. This implies that they are translation discrete, meaning that the translation numbers of their nontorsion elements are bounded away from zero.