Public health is a scientific domain with significant population impact. Any irregularities or discrepancies affect all patients that depend on its normal function, therefore explaining the reason why public attention is always vastly invested in it. With a balanced health status in the population as primary goal, the domain of public health with its adopted policies stands at the frontlines. Public Health Policies can be resumed to three main aspects, based on the health system performance concept developed by the World (...) Health Organization: population health status, citizen satisfaction with healthcare and the extent to which the system provides financial protection. Nowadays, with cardiovascular disease becoming the leading cause of death worldwide, the field of cardiovascular public health has gained significant general interest. The present article aims to address the importance of health policies from a determinants’ perspective while taking into consideration the influence of population illness on health policy development. (shrink)

Предназначено для студентов художественных вузов и факультетов, а также для учащихся профессиональных учебных заведений художественного профиля.

Building on the work of Schimmerling [Coherent sequences and threads, Adv. Math.216 89–117] and Steel [PFA implies AD L, J. Symbolic Logic70 1255–1296], we show that the failure of square principle at a singular strong limit cardinal implies that there is a nontame mouse. The proof presented is the first inductive step beyond L of the core model induction that is aimed at getting a model of ADℝ + "Θ is regular" from the failure of square at a singular strong (...) limit cardinal or PFA. (shrink)

The purpose of this paper is to outline some recent progress in descriptive inner model theory, a branch of set theory which studies descriptive set theoretic and inner model theoretic objects using tools from both areas. There are several interlaced problems that lie on the border of these two areas of set theory, but one that has been rather central for almost two decades is the conjecture known as the Mouse Set Conjecture. One particular motivation for resolving MSC is that (...) it provides grounds for solving the inner model problem which dates back to 1960s. There have been some new partial results on MSC and the methods used to prove the new instances suggest a general program for solving the full conjecture. It is then our goal to communicate the ideas of this program to the community at large. (shrink)

Для студентов, аспирантов, преподавателей и исследователей, специализирующихся в области философии и логики, истории русской философии.

How can it be that some acts of very high moral value are not morally required? This is the problem of supererogation. I do not argue in favor of a particular answer. Instead, I analyze two opposing moral intuitions the problem involves. First, that one should always do one’s best. Second, that sometimes we are morally allowed not to do our best. To think that one always has to do one’s best is less plausible, as it makes every morally best (...) act obligatory. I argue that, despite its implausibility, this is the main ingredient in a traditional outlook I call ‘morality of law,’ which conceives of morality as impartial, impersonal, rule-based and obligation-based. My main point is that supererogation will always be seen as problematic if the background theory is a morality of law. This is because supererogation encapsulates a view of morality-outside-obligation, whereas morality of law centers upon obligation as its main instrument of curbing a supposedly natural human selfishness. (shrink)

Existing scholarly work on corporate social responsibility frequently emphasizes either normative/ethical claims about social progress or instrumental/strategic claims about corporate effectiveness, yet less often acknowledges the moral conditions of those undertaking CSR within a specific cultural context. In this paper, we draw attention to the social conditions in which CSR takes place and the related ethics of the subjects that must enact it. Our approach is to document the lived experiences of practitioners in Romania, a post-communist society. Drawing from fifty-three (...) depth interviews with both corporate responsibility practitioners, and managers in non-profit organizations who together work on CSR projects, we describe their experiences of the social and organizational environment, the CSR practices that are undertaken in this context, and the intended and unintended consequences of such work. Using Bauman’s theorization of ethics, including adiaphora and moral distancing, and Borţun’s interpretation of Romanianness, we then theorize liquid CSR as an ambivalence between adiaphoric practice and the moral impulse to do good, resulting in both intended and unintended consequences. (shrink)

During his Fall 2005 set theory seminar, Woodin asked whether V-supercompactness implies HOD-supercompactness. We show, as he predicted, that that the answer is no.

A set of reals is universally Baire if all of its continuous preimages in topological spaces have the Baire property. ${\sf Sealing}$ is a type of generic absoluteness condition introduced by Woodin that asserts in strong terms that the theory of the universally Baire sets cannot be changed by set forcings. The ${\sf Largest\ Suslin\ Axiom}$ is a determinacy axiom isolated by Woodin. It asserts that the largest Suslin cardinal is inaccessible for ordinal definable surjections. Let ${\sf LSA}$ - ${\sf (...) over}$ - ${\sf uB}$ be the statement that in all generic extensions there is a model of $\sf {LSA}$ whose Suslin, co-Suslin sets are the universally Baire sets. We outline the proof that over some mild large cardinal theory, $\sf {Sealing}$ is equiconsistent with $\sf {LSA}$ - $\sf {over}$ - $\sf {uB}$. In fact, we isolate an exact theory that is equiconsistent with both. As a consequence, we obtain that $\sf {Sealing}$ is weaker than the theory “ $\sf {ZFC}$ + there is a Woodin cardinal which is a limit of Woodin cardinals.” This significantly improves upon the earlier consistency proof of $\sf {Sealing}$ by Woodin. A variation of $\sf {Sealing}$, called $\sf {Tower \ Sealing}$, is also shown to be equiconsistent with $\sf {Sealing}$ over the same large cardinal theory. We also outline the proof that if V has a proper class of Woodin cardinals, a strong cardinal, and a generically universally Baire iteration strategy, then $\sf {Sealing}$ holds after collapsing the successor of the least strong cardinal to be countable. This result is complementary to the aforementioned equiconsistency result, where it is shown that $\sf {Sealing}$ holds in a generic extension of a certain minimal universe. This theorem is more general in that no minimal assumption is needed. A corollary of this is that $\sf {LSA}$ - $\sf {over}$ - $\sf {uB}$ is not equivalent to $\sf {Sealing}$. (shrink)

We show that assuming the determinacy of all games on reals, every set of reals is \ universally baire.

We investigate the indestructibility properties of strongly compact cardinals in universes where strong compactness suffers from identity crisis. We construct an iterative poset that can be used to establish Kimchi–Magidor theorem from (in The independence between the concepts of compactness and supercompactness, circulated manuscript), i.e., that the first n strongly compact cardinals can be the first n measurable cardinals. As an application, we show that the first n strongly compact cardinals can be the first n measurable cardinals while the strong (...) compactness of each strongly compact cardinal is indestructible under Levy collapses (our theorem is actually more general, see Sect. 3). A further application is that the class of strong cardinals can be nonempty yet coincide with the class of strongly compact cardinals while strong compactness of any strongly compact cardinal κ is indestructible under κ-directed closed posets that force GCH at κ. (shrink)

Employing theoretical resources from Transactional Analysis and drawing from interviews with managers dealing with social or environmental issues in their role, we explain how CSR activity provides a context for dramas in which actors may ignore, or discount aspects of self, others, and the contexts of their work as they maintain and reproduce the roles of Rescuers, Persecutors and Victims. In doing so, we add to knowledge about CSR by providing an explanation for how the contradictions of CSR are avoided (...) in practice even when actors may be aware of them. Specifically, we theorise how CSR work can produce dramatic stories where adversity is apparently overcome, whilst little is actually achieved at the social level. We also add to the range of psychoanalytic tools used to account for organisational behaviours, emphasising how TA can explain the relational dynamics of CSR. (shrink)

We re-prove Becker’s theorem from Becker :229–234, 1981) by showing that \}\) implies that \\vDash ``\omega _2\) is -supercompact”. Our proof uses inner model theoretic tools instead of Baire category. We also show that \ is \-strongly compact.

Assuming $V=L+AD$, using methods from inner model theory, we give a new proof of the strong partition property for ${\sim}{ \delta }^{2}_{1}$. The result was originally proved by Kechris et al.

In this paper, we show that the failure of the unique branch hypothesis for tame iteration trees implies that in some homogenous generic extension of [Formula: see text] there is a transitive model [Formula: see text] containing [Formula: see text] such that [Formula: see text] is regular. The results of this paper significantly extend earlier works from [Non-tame mice from tame failures of the unique branch bypothesis, Canadian J. Math. 66 903–923; Core models with more Woodin cardinals, J. Symbolic Logic (...) 67 1197–1226] for tame trees. (shrink)

Kant's claim that arithmetical truths are synthetic is famously contradicted by Frege, who considers them to be analytical. It may seem that this is a mere dispute about linguistic labels, since both Kant and Frege agree that arithmetical truths are a priori and informative, and, therefore, it is only a matter of how one chooses to call them. I argue that the choice between calling arithmetic “synthetic” or “analytic” has a deeper significance. I claim that the dispute is not a (...) merely linguistic one, but one involving the status of arithmetic as a science. Namely, it is a dispute about what truths are appropriate to use in grounding a scientific discipline. I interpret Frege's critique of Kant as being mainly about the lack of distinction between the context of justification and the context of discovery. (shrink)