The placement of hydrogen in the periodic table has unique implications for fundamental questions of chemical behavior. Recent arguments in favor of placing hydrogen either separately at the top of the table or as a member of the carbon family are shown to have serious defects. A Coulombic model, in which all compounds of hydrogen are treated as hydrides, places hydrogen exclusively as the first member of the halogen family and forms the basis for reconsideration of fundamental concepts in bonding (...) and structures. The model provides excellent descriptive and predictive ability for structures and reactivities of a wide range of substances. (shrink)
The Sacks Density Theorem [7] states that the Turing degrees of the recursively enumerable sets are dense. We show that the Density Theorem holds in every model of P - + BΣ 2 . The proof has two components: a lemma that in any model of P - + BΣ 2 , if B is recursively enumerable and incomplete then IΣ 1 holds relative to B and an adaptation of Shore's [9] blocking technique in α-recursion theory to models of (...) arithmetic. (shrink)
We prove that if I is a partially ordered set in a countable transitive model M of ZFC then M can be extended by a generic sequence of reals a i , i ∈ I, such that ℵ M 1 is preserved and every a i is Sacks generic over $\mathfrak{M}[\langle \mathbf{a}_j: j . The structure of the degrees of M-constructibility of reals in the extension is investigated. As applications of the methods involved, we define a cardinal invariant to (...) distinguish product and iterated Sacks extensions, and give a short proof of a theorem (by Budinas) that in ω 2 -iterated Sacks extension of L the Burgess selection principle for analytic equivalence relations holds. (shrink)
Søren Kierkegaard (1813-55) was an almost unbelievably prolific writer. At his death he left not only a massive body of published work (25 volumes in the recently completed Princeton University Press edition), but also a sprawling mass of unpublished writings that rivaled the size of the published corpus. This book tells the story of the peculiar fate of this portion of Kierkegaard's literary remains, which flowed ceaselessly from his steel pen from his late teens to a week before his death. (...) It is the story of packets and sacks of paper covered with words and images that, after a vagabond existence in various homes, finally landed at the Royal Danish Library, where they are today guarded with great care. Readers are also introduced to a selection of this enormous body of material, including drawings and doodlings (often human profiles with high foreheads) that escaped from Kierkegaard's pen in unguarded moments and complement the allure of the philosopher's strikingly variable, elusive handwriting. The authors of this book are among the editors of a modern critical edition of Kierkegaard's oeuvre currently being produced in Copenhagen. By the end of his life Kierkegaard had become a controversial figure, engaged in a furious assault upon "Christendom." From the very moment of their discovery in the days following his death, the unpublished words and images constituted a highly problematic bonanza, an intellectual and religious hot potato (or sack of potatoes) that was passed from hand to hand, suppressed, selectively and tendentiously published and republished. Written Images offers readers a fascinating tour of the misadventures of these written images that will, finally, soon be published in their entirety. (shrink)
Being excerpts from pages 187, 203, 204, 207, 208, 209, 210 and 211 of Uncle Tungsten , extracted by Michael Laing with the consent of the author, Professor Oliver Sacks, and Picador Publishers.
This paper aims to extend in two directions the probabilistic dynamic epistemic logic provided in Kooi’s paper (J Logic Lang Inform 12(4):381–408, 2003) and to relate these extensions to ones made in van Benthem et al. (Proceedings of LOFT’06. Liverpool, 2006). Kooi’s probabilistic dynamic epistemic logic adds to probabilistic epistemic logic sentences that express consequences of public announcements. The paper (van Benthem et al., Proceedings of LOFT’06. Liverpool, 2006) extends (Kooi, J Logic Lang Inform 12(4):381–408, 2003) to using action models, (...) but in both papers, the probabilities are discrete, and are defined on trivial σ -algebras over finite sample spaces. The first extension offered in this paper is to add a previous-time operator to a probabilistic dynamic epistemic logic similar to Kooi’s in (J Logic Lang Inform 12(4):381–408, 2003). The other is to involve non-trivial σ -algebras and continuous probabilities in probabilistic dynamic epistemic logic. (shrink)
