The Ottawa Charter for Health Promotion exhibits a substantialist approach to the agency-structure dichotomy. From a substantialist point of view, both individual agency and social structure come preformed and subsequently relate to and influence one another, starkly positioning the choices made by individuals against the structured sets of opportunities and constraints in reference to which ch...

The long history of investigations into the causes and potential treatments of emphysema encompasses a vast array of chemical and biological research disciplines. A key finding that played a major role in initiating these inquiries occurred in 1963 when Laurell and Eriksson[1] found that individuals with a genetic deficiency in serum alpha-1-antitrypsin (AAT) were prone to develop pulmonary emp...

We show that every basis for the countable Borel equivalence relations strictly above E0 under measure reducibility is uncountable, thereby ruling out natural generalizations of the Glimm-Effros dichotomy. We also push many known results concerning the abstract structure of the measure reducibility hierarchy to its base, using arguments substantially simpler than those previously employed.

When using ontologies to access instance data, it can be useful to make a closed world assumption (CWA) for some predicates and an open world assumption (OWA) for others. The main problem with such a setup is that conjunctive query (CQ) answering becomes intractable already for inexpressive description logics such as DL-Lite and EL. We take a closer look at this situation and carry out a fine-g...

When answering queries in the presence of ontologies, adopting the closed world assumption for some predicates easily results in intractability. We analyze this situation on the level of individual ontologies formulated in the description logics DLLite and EL and show that in all cases where answering conjunctive queries (CQs) with (open and) closed predicates is tractable, it coincides with an...

Generalising and unifying the known theorems for difference and differential fields, it is shown that for every finite free S-algebra D over a field A of characteristic zero the theory of D-fields has a model companion D -CF0 which is simple and satisfies the Zilber dichotomy for finite-dimensional minimal types.

We study the complexity of generalized satissability problem for formulas whose variables occur at most twice. We prove a dichotomy theorem for a special case of generalized satissability with constants and a suucient condition, inspired by matching theory, for its polynomial time solvability.

The social contract has been about rights and responsibilities in human societies. Facebook and its role in manufacturing and sustaining a global social contract, a new “we” is clearly one of the research areas that needs more attention. A new “we” is coming of age in the new age of connectivity and communication with a new outlook toward responsibility and rights at individual and collective l...