Mini-Workshop: Feinstrukturtheorie und Innere Modelle

This workshop presented recent advances in fine structure and inner model theory. There were extended tutorials on hod mice and the Mouse Set Conjecture, suitable extender sequences and their fine structure, and the construction of true K below a Woodin cardinal in ZFC. The remaining talks involved precipitous ideals, stationary set reflection, failure of SCH in ZF, nonthreadable square sequences, reverse mathematics, forcing axioms, covering properties of canonical inner models, and “set theoretic geology.

Set-Theoretic Geology

A ground of the universe V is a transitive proper class W subset V, such that W is a model of ZFC and V is obtained by set forcing over W, so that V = W[G] for some W-generic filter G subset P in W . The model V satisfies the ground axiom GA if there are no such W properly contained in V . The model W is a bedrock of V if W is a ground of V and satisfies the ground axiom. The mantle of V is the intersection of all grounds of V . The generic mantle of V is the intersection of all grounds of all set-forcing extensions of V . The generic HOD, written gHOD, is the intersection of all HODs of all set-forcing extensions. The generic HOD is always a model of ZFC, and the generic mantle is always a model of ZF. Every model of ZFC is the mantle and generic mantle of another model of ZFC. We prove this theorem while also controlling the HOD of the final model, as well as the generic HOD. Iteratively taking the mantle penetrates down through the inner mantles to what we call the outer core, what remains when all outer layers of forcing have been stripped away. Many fundamental questions remain open.Comment: 44 pages; commentary concerning this article can be made at http://jdh.hamkins.org/set-theoreticgeology

Moving up and down in the generic multiverse

We give a brief account of the modal logic of the generic multiverse, which is a bimodal logic with operators corresponding to the relations "is a forcing extension of" and "is a ground model of". The fragment of the first relation is called the modal logic of forcing and was studied by us in earlier work. The fragment of the second relation is called the modal logic of grounds and will be studied here for the first time. In addition, we discuss which combinations of modal logics are possible for the two fragments.Comment: 10 pages. Extended abstract. Questions and commentary concerning this article can be made at http://jdh.hamkins.org/up-and-down-in-the-generic-multiverse

A new information theoretical measure of global and local spatial association

In this paper a new measure of spatial association, the S statistics, is developed. The proposed measure is based on information theory by defining a spatially weighted information measure (entropy measure) that takes the spatial configuration into account. The proposed S-statistics has an intuitive interpretation, and furthermore fulfills properties that are expected from an entropy measure. Moreover, the S statistics is a global measure of spatial association that can be decomposed into Local Indicators of Spatial Association (LISA). This new measure is tested using a dataset of employment in the culture sector that was attached to the wards over Stockholm County and later compared with the results from current global and local measures of spatial association. It is shown that the proposed S statistics share many properties with Moran's I and Getis-Ord Gi statistics. The local Si statistics showed significant spatial association similar to the Gi statistic, but has the advantage of being possible to aggregate to a global measure of spatial association. The statistics can also be extended to bivariate distributions. It is shown that the commonly used Bayesian empirical approach can be interpreted as a Kullback-Leibler divergence measure. An advantage of S-statistics is that this measure select only the most robust clusters, eliminating the contribution of smaller ones composed by few observations and that may inflate the global measure.Global and local measure of spatial association, LISA, S-statistics, Gi statistics, Moran's I, Kullback-Leibler divergence,