Logical Dreams

We discuss the past and future of set theory, axiom systems and independence results. We deal in particular with cardinal arithmetic

Psychological climate, sickness absence and gender

We examined whether the relationship between psychological climate and sickness absence is moderated by gender. We expected that this relationship would be stronger among men than among women. We tested this general hypothesis using two samples of men and women nurses (made up of 114 and 189 subjects, respectively). The results obtained supported our expectation. The three climate facets considered (support, goals orientation and rules orientation) showed a significant relationship with sickness absence in the men sample, but not in the women sample. Clima psicológico, absentismo y género. Se investigó si la relación entre clima psicológico y absentismo por enfermedad está moderada por el género de los empleados. Se esperaba que la relación fuera más fuerte en hombres que en mujeres. Esta hipótesis general se puso a prueba utilizando dos muestras de enfermeros/as formadas por 114 varones y 189 mujeres. Los resultados obtenidos respaldaron nuestra hipótesis general. Las tres dimensiones de clima consideradas (apoyo, orientación hacia objetivos y orientación hacia reglas) mostraron una relación estadísticamente significativa con absentismo en la muestra de varones, pero no en la de mujeres

Dependence Logic with Generalized Quantifiers: Axiomatizations

We prove two completeness results, one for the extension of dependence logic by a monotone generalized quantifier Q with weak interpretation, weak in the meaning that the interpretation of Q varies with the structures. The second result considers the extension of dependence logic where Q is interpreted as "there exists uncountable many." Both of the axiomatizations are shown to be sound and complete for FO(Q) consequences.Comment: 17 page

Continuous Team Semantics

We study logics with team semantics in computable metric spaces. We show how to define approximate versions of the usual independence/dependence atoms. For restricted classes of formulae, we show that we can assume w.l.o.g.~that teams are closed sets. This then allows us to import techniques from computable analysis to study the complexity of formula satisfaction and model checking

Continuous Team Semantics

Peer reviewe

Polyteam Semantics

Team semantics is the mathematical framework of modern logics of dependence and independence in which formulae are interpreted by sets of assignments (teams) instead of single assignments as in first-order logic. In order to deepen the fruitful interplay between team semantics and database dependency theory, we define "Polyteam Semantics" in which formulae are evaluated over a family of teams. We begin by defining a novel polyteam variant of dependence atoms and give a finite axiomatisation for the associated implication problem. We also characterise the expressive power of poly-dependence logic by properties of polyteams that are downward closed and definable in existential second-order logic (ESO). The analogous result is shown to hold for poly-independence logic and all ESO-definable properties.Peer reviewe

Twin Paradox and the logical foundation of relativity theory

We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization SpecRel of special relativity from the literature. SpecRel is complete with respect to questions about inertial motion. Then we ask ourselves whether we can prove usual relativistic properties of accelerated motion (e.g., clocks in acceleration) in SpecRel. As it turns out, this is practically equivalent to asking whether SpecRel is strong enough to "handle" (or treat) accelerated observers. We show that there is a mathematical principle called induction (IND) coming from real analysis which needs to be added to SpecRel in order to handle situations involving relativistic acceleration. We present an extended version AccRel of SpecRel which is strong enough to handle accelerated motion, in particular, accelerated observers. Among others, we show that the Twin Paradox becomes provable in AccRel, but it is not provable without IND.Comment: 24 pages, 6 figure

The Barnacle Goose (Branta leucopsis) in the archipelago of southern Finland - population growth and nesting dispersal

We studied the population growth and expansion of Barnacle Goose (Branta leucopsis) in Helsinki archipelago, southern Finland. Barnacle Goose breeding was first recorded in Helsinki in 1989. During our study 1996-2013 the number of nesting geese increased from 24 to 740 pairs. We analyzed the role of protected islands in the population growth, and the factors behind differences in growth rates. Our study data consisted of 104 islands. Of these, 29 are protected from private recreational activity (nature reserve ormilitary areas) and were established prior to the start of our study. We predicted that protected areas would have a positive impact on Barnacle Goose population growth. In part of the study period (2002-2013) the population growth in our study area was much steeper in protected islands compared to islands with open access. However, breeding densities in those unprotected islands were higher than in protected islands in the early years of the study. We found that the most important factors affecting pair numbers in islands are island size and the time it has been inhabited, in addition to island distance from the islands southeast of Helsinki, where breeding expansion started. Island protection had no effect on the breeding geese numbers or current densities on the islands. Results indicate that early breeders like Barnacle Geese do not benefit from island protection probably because the recreational use of the islands is scant early in the spring.Peer reviewe

Dicer1 ablation in osterix positive bone forming cells affects cortical bone homeostasis

The RNAse III enzyme Dicer plays a major role in the processing of microRNAs from large pre-miRNAs. Dicer1 processed microRNAs are known to play a comprehensive role in osteoblast differentiation, bone remodeling and skeletal disorders. Targeted deletion of Dicer1 in osteo-progenitor cells is deleterious to fetal survival whereas targeted deletion in mature osteoblasts leads to an increase in bone mass. To address the role of Dicer1 in postnatal skeletal homeostasis, we generated a pre-osteoblast specific Dicer1 knockout model employing Tamoxifen controllable Cre allele, enabling us, via tamoxifen administration, to time-controllably ablate Dicer1 gene expression in osterix expressing bone forming cells in post-natal mice. Inactivation of Dicer1 in osterix positive bone forming cells led to striking dysregulation of cortical bone formation in pre-pubertal as well as adult mice. Cortical bone thickness was found to be significantly decreased in the Cre + femora of both young and adult mice. Further, biomechanical testing experiments showed increased ductility, reduced stiffness and altered load at upper yield among the Cre + tibiae. Our results suggest that Dicer1 processed microRNAs might play an important role in the regulation of post-natal cortical bone formation. (C) 2017 The Authors. Published by Elsevier Inc

Changing a semantics: opportunism or courage?

The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic. Even so, discussion has persisted about their technical status, and perhaps even their conceptual legitimacy. This paper gives a systematic view of generalized model techniques, discusses what they mean in mathematical and philosophical terms, and presents a few technical themes and results about their role in algebraic representation, calibrating provability, lowering complexity, understanding fixed-point logics, and achieving set-theoretic absoluteness. We also show how thinking about Henkin's approach to semantics of logical systems in this generality can yield new results, dispelling the impression of adhocness. This paper is dedicated to Leon Henkin, a deep logician who has changed the way we all work, while also being an always open, modest, and encouraging colleague and friend.Comment: 27 pages. To appear in: The life and work of Leon Henkin: Essays on his contributions (Studies in Universal Logic) eds: Manzano, M., Sain, I. and Alonso, E., 201