We analyze the set-theoretic strength of determinacy for levels of the Borel hierarchy of the form$\Sigma _{1 + \alpha + 3}^0 $, forα<ω1. Well-known results of H. Friedman and D.A. Martin have shown this determinacy to requireα+ 1 iterations of the Power Set Axiom, but we ask what additional ambient set theory is strictly necessary. To this end, we isolate a family of weak reflection principles, Π1-RAPα, whose consistency strength corresponds exactly to the logical strength of${\rm{\Sigma }}_{1 (...) + \alpha + 3}^0 $determinacy, for$\alpha < \omega _1^{CK} $. This yields a characterization of the levels ofLby or at which winning strategies in these games must be constructed. Whenα= 0, we have the following concise result: The leastθso that all winning strategies in${\rm{\Sigma }}_4^0 $games belong toLθ+1is the least so that$L_\theta \models {\rm{``}}{\cal P}\left$exists, and all wellfounded trees are ranked”. (shrink)

We show, assuming weak large cardinals, that in the context of games of length \ with moves coming from a proper class, clopen determinacy is strictly weaker than open determinacy. The proof amounts to an analysis of a certain level of L that exists under large cardinal assumptions weaker than an inaccessible. Our argument is sufficiently general to give a family of determinacy separation results applying in any setting where the universal class is sufficiently closed; e.g., in (...) third, seventh, or \\)th order arithmetic. We also prove bounds on the strength of Borel determinacy for proper class games. These results answer questions of Gitman and Hamkins. (shrink)

We show that if Ƒ is any "well-behaved" subset of the Borei functions and we assume the Axiom of Determinacy then the hierarchy of degrees on $P(^\omega \omega )$ induced by Ƒ turns out to look like the Wadge hierarchy (which is the special case where Ƒ is the set of continuous functions).

We analyze the degree-structure induced by large reducibilities under the Axiom of Determinacy. This generalizes the analysis of Borel reducibilities given in Alessandro Andretta and Donald A. Martin [1], Luca Motto Ros [6] and Luca Motto Ros. [5] e.g. to the projective levels.

We prove the determinacy of all Δ 1 1 games on arbitrary trees, and we use this result and the assumption that a measurable cardinal exists to demonstrate the determinacy of all games on ω ω that belong both to – Π 1 1 and to its dual.

We study the notion of [Formula: see text]-MAD families where [Formula: see text] is a Borel ideal on [Formula: see text]. We show that if [Formula: see text] is any finite or countably iterated Fubini product of the ideal of finite sets [Formula: see text], then there are no analytic infinite [Formula: see text]-MAD families, and assuming Projective Determinacy and Dependent Choice there are no infinite projective [Formula: see text]-MAD families; and under the full Axiom of Determinacy (...) [Formula: see text][Formula: see text] or under [Formula: see text] there are no infinite [Formula: see text]-mad families. Similar results are obtained in Solovay’s model. These results apply in particular to the ideal [Formula: see text], which corresponds to the classical notion of MAD families, as well as to the ideal [Formula: see text]. The proofs combine ideas from invariant descriptive set theory and forcing. (shrink)

We consider a seemingly weaker form of $\Delta ^{1}_{1}$ Turing determinacy.Let $2 \leqslant \rho < \omega _{1}^{\mathsf {CK}}$, $\textrm{Weak-Turing-Det}_{\rho }$ is the statement:Every $\Delta ^{1}_{1}$ set of reals cofinal in the Turing degrees contains two Turing distinct, $\Delta ^{0}_{\rho }$ -equivalent reals.We show in $\mathsf {ZF}^-$ : $\textrm{Weak-Turing-Det}_{\rho }$ implies: for every $\nu < \omega _{1}^{\mathsf {CK}}$ there is a transitive model ${M \models \mathsf {ZF}^{-} + \textrm{``}\aleph _{\nu } \textrm{ exists''.}}$ As a corollary:If every cofinal $\Delta ^{1}_{1}$ set (...) of Turing degrees contains both a degree and its jump, then for every $\nu < \omega_1^{\mathsf{CK}}$, there is atransitive model: $M \models \mathsf{ZF}^{-} + \textrm{``}\aleph_\nu \textrm{ exists''.}$ •With a simple proof, this improves upon a well-known result of Harvey Friedman on the strength of Borel determinacy.•Invoking Tony Martin’s proof of Borel determinacy, $\textrm{Weak-Turing-Det}_{\rho }$ implies $\Delta ^{1}_{1}$ determinacy.•We show further that, assuming $\Delta ^{1}_{1}$ Turing determinacy, or Borel Turing determinacy, as needed:–Every cofinal $\Sigma ^{1}_{1}$ set of Turing degrees contains a “hyp-Turing cone”: ${\{x \in \mathcal {D} \mid d_{0} \leqslant _{T} x \leqslant _{h} d_{0} \}}$.–For a sequence $_{k < \omega }$ of analytic sets of Turing degrees, cofinal in $\mathcal {D}$, $\bigcap _{k} A_{k}$ is cofinal in $\mathcal {D}$. (shrink)

In [9] we have considered a wide class of "well-behaved" reducibilities for sets of reals. In this paper we continue with the study of Borel reducibilities by proving a dichotomy theorem for the degree-structures induced by good Borel reducibilities. This extends and improves the results of [9] allowing to deal with a larger class of notions of reduction (including, among others, the Baire class ξ functions).

We show under that every set of reals is I‐regular for any σ‐ideal I on the Baire space such that is proper. This answers the question of Khomskii [7, Question 2.6.5]. We also show that the same conclusion holds under if we additionally assume that the set of Borel codes for I‐positive sets is. If we do not assume, the notion of properness becomes obscure as pointed out by Asperó and Karagila [1]. Using the notion of strong properness similar (...) to the one introduced by Bagaria and Bosch [2], we show under without using that every set of reals is I‐regular for any σ‐ideal I on the Baire space such that is strongly proper assuming every set of reals is ∞‐Borel and there is no ω1‐sequence of distinct reals. In particular, the same conclusion holds in a Solovay model. (shrink)

We study the notion of ????-MAD families where ???? is a Borel ideal on ω. We show that if ???? is any finite or countably iterated Fubini product of the ideal of finite sets Fin, then there are no analytic...

Using the concept of progress measure, we give a new proof of Rabin's fundamental result that the languages defined by tree automata are closed under complementation. To do this we show that for certain infinite games based on tree automata, an immediate determinacy property holds for the player who is trying to win according to a Rabin acceptance condition. Immediate determinancy is stronger than the forgetful determinacy of Gurevich and Harrington, which depends on more information about the past, (...) but applies to another class of games. Next, we show a graph theoretic duality theorem for winning conditions. Finally, we present an extended version of Safra's determinization construction. Together, these ingredients and the determinacy of Borel games yield a straightforward recipe for complementing tree automata. Our construction is almost optimal, i.e. the state space blow-up is essentially exponential- thus roughly the same as for automata on finite or infinite words. To our knowledge, no prior constructions have been better than double exponential. (shrink)

All spaces are assumed to be separable and metrizable. We show that, assuming the Axiom of Determinacy, every zero-dimensional homogeneous space is strongly homogeneous (i.e. all its non-empty clopen subspaces are homeomorphic), with the trivial exception of locally compact spaces. In fact, we obtain a more general result on the uniqueness of zero-dimensional homogeneous spaces which generate a given Wadge class. This extends work of van Engelen (who obtained the corresponding results for Borel spaces), complements a result of (...) van Douwen, and gives partial answers to questions of Terada and Medvedev. (shrink)

We provide partial answers to the following problem: Is the class of Borel linear orders well-quasi-ordered under embeddability? We show that it is indeed the case for those Borel orders which are embeddable in R ω , with the lexicographic ordering. For Borel orders embeddable in R 2 , our proof works in ZFC, but it uses projective determinacy for Borel orders embeddable in some $\mathbf{R}^n, n , and hyperprojective determinacy for the general case.

Résumé En 1975, la loi inscrit l’IVG dans la juridiction de la médecine, investie comme instrument du contrôle social dans la régulation des naissances. La demande d’IVG demeurait pensée comme phénomène relevant de la pathologie. Cependant, une normalisation de cette activité s’opère dans le système de soins avec l’évolution de l’encadrement réglementaire et des techniques de prise en charge. Notamment, les sages-femmes sont enrôlées dans le réagencement des formes de l’action publique en la matière. Leur champ de compétence est élargi. (...) Ces nouvelles définitions de l’expertise médicale en santé sexuelle et reproductive donnent lieu à des délibérations sur les conceptions de la pratique abortive. L’association nationale des sages-femmes orthogénistes (ANSFO) se saisit de cette opportunité pour renforcer la légitimité du groupe professionnel, en opérant un travail cognitif de « physiologisation » de l’IVG. (shrink)

Early scientific investigation of the reproductive process was neither a cause nor a direct result of changing social attitudes toward sex. It was instead part of the continuing search, initiated in the 1890s, to discover internal secretions that might be isolated and prove useful in therapy. Laboratory scientists, nonetheless, were among the many groups altering understanding of human sexual physiology in the first quarter of this century. The new data they generated regarding the dependence of human sexuality and fertility on (...) chemical substances elaborated by the ovaries and testes became part of the evidence which hastened that quite tortuous transformation called the sexual revolution.Increasingly, as social reformers demanded more information about human reproduction, scientists were asked to provide it, and scientific concerns were shaped in the process. In the 1920s, especially in the United States, studies of the physiology of reproduction began to receive financial backing from social reformers. This was because for many, contraception had become a fact of life. Expression rather than repression of sexuality was accepted as being necessary to the stability of the fundamental social unit, the family. Theoretical and practical incentives for continued study of the reproductive process could thus be joined in common effort. This convergence of goals occurred just as the gonadal hormones were being isolated. The 1920s, therefore, mark an important juncture in the congruence of interests represented by theoretical science on the one hand and expressed social needs on the other.As a result of this convergence of interests and goals, physiologists gained a new realm of influence, claiming authoritative knowledge over a subject which once had been allocated to the priest and then, by the mid-nineteenth century, transferred to the physician. Since that formative period other research scientists, such as Alfred Kinsey and, more recently, William Masters and Virginia Johnson, have explored that niche and applied the scientific method to study of behavioral and physiological aspects of the human sexual response. They have been beset by many of the same tactical issues that confronted the earliest investigators of reproductive physiology. The definition, specification, and measurement of phenomena relating to sexual and reproductive activity have been as inherently difficult as they have been taboo.79Traditional resistance to scientific study of the reproductive process was overcome in the early twentieth century by the expectation that this particular line of inquiry would lead to understanding and therefore medical control of the complex of disorders—physiological, psychological, and social — associated with the generative glands. Early investigators, particularly in Britain, did not wish to be social reformers. Especially in the 1910s such a stance would have threatened their credibility in a field determined to establish itself as a theoretical science. Once scientific progress was assured, as it was from about 1920, new problems opened for investigation and began to be motivated by social needs as well as by the concerns of a rapidly developing science. Especially in the United States new resources encouraged this work, allowing development of the specialized focus on gonadal hormones represented by the emerging field of reproductive endocrinology. (shrink)

This paper argues that stoicism as a central element of whiteness shapes, controls, and ultimately limits the experience and expression of emotion in public space. I explore how this may play out in particular medical settings like hospitals in Aotearoa New Zealand. I argue that working in conjunction with other values of whiteness identified by Myser —hyper-individualism, a contractual view of relationships, and an emphasis on personal control and autonomy—this makes hospitals emotionally unsafe spaces for Māori and other groups who (...) place high importance in the collective sharing of emotion. Using death and bereavement as an example, I suggest that challenging and addressing stoicism in the structure and performance of whiteness in hospital settings may provide an important point of entry for anti-racism measures and health equity. (shrink)

In spite of these efforts in the 1920s and 1930s to initiate ongoing research on contraception, the subject of birth control remained a problem of concern primarily to the social activist rather than to the research scientist or practicing physician.80 In the 1930s, as has been shown, American scientists turned to the study of other aspects of reproductive physiology, while American physicians, anxious to eliminate the moral and medical dangers of contraception, only reluctantly accepted birth control as falling within their (...) professional domain.As a result, the problem of cheap, effective, and safe contraception was not solved by these earliest attempts. Consideration of the subject was initiated afresh by private philanthropy after World War II, sparked by a new wave of interest in population studies.81 Summarizing such efforts to support research in the reproductive sciences, a recent Ford Foundation study has noted: “To initiate and sustain serious research in the reproductive sciences has required for more than half a century concerted effort by interested individuals and private organizations, mainly from outside the mainstreams of the biomedical research community.”82The early laboratory research on chemical contraception described in this paper was but one important outcome of the concerted effort made by reformers in the 1920s to eliminate a variety of social problems thought to derive from excessive fertility. Scientific arguments and expertise were employed to advocate reform as well as to define the appropriate solution to such social problems. Scientists were recruited as advocates for the movement, but they were also employed as researchers in laboratory investigations sponsored by these same reformers.Sponsors of these early laboratory studies noted the difficulty of obtaining first-class investigators.83 The routine analyses necessary for such research, as well as the traditional scientific aversion to applied problems, provide only a partial explanation for this response. The real difficulty lay in recruiting investigators to a field that had previously been taboo. Once opened up — first as socially relevant, and finally as scientifically sound — there was much interest in this area, and the appeal to researchers of the scientific issues surrounding fertility and reproduction soon surpassed that of the reforming value of birth control.A survey of the kinds of experimental investigations sponsored by birth control advocates indicates the range of physiological problems explored by contraceptive research. The most definitive work was done on the efficacy and safety of spermicides, but the potential of other contraceptive methods was also examined. Investigators attempted to develop spermatoxins that would effectively immunize women against sperm, and they also tried to elucidate the mechanism of hormonal control of reproduction. In fact, speculations about the possible hormonal manipulation of fertility were expressed at the Seventh International Birth Control Conference held in Zurich in 1930.84In the 1920s, clinical studies were undertaken to assess the effectiveness of the various birth control methods. Laboratory investigators complemented this work by screening spermicides for safety and testing for their ability to kill sperm. There were a variety of birth control preparations on the market, but no one really knew whether these were effective or even safe.85 Although the physiology of other major organ systems was well advanced, the scientific study of reproductive physiology and contraceptive technology was clearly in its infancy in this period. Routine analyses simply could not be conducted, because the fundamental research establishing baselines had not yet been done. Scientists used this fact to redirect attention to basic research on reproduction.Laboratory research on contraception indicated important unexplored areas for physiological investigation. Social activists, who had encouraged prominent scientists to become interested in both the social value and the genetic implications of birth control, found these investigators revising the goals of their research. The biologists had formed their own network and had begun to seek out funding, reformulating the justification for sponsorship of further investigations. The eugenic motivations underlying these studies, which had initially made them theoretically attractive to biologists, were gradually eroded. Concern with “human evolution” ceded its place to interest in physiological mechanisms. Crew and others began to note that the use of biological theory to justify essentially political decisions had serious limitations. Biologists had become uncomfortable with those very arguments which had originally captured their interest. Recognition of the potential political abuse wrought by applying scientific principles to society was expressed by Crew just one year after the Zurich meeting. Referring to previous assessments of the role of sex in reproduction, he generalized: “In the past the biologist has justified feudalism, Manchester Liberalism, socialism and every other type of social organization and political programme by reference to selected biological phenomena.”86 By 1932 Crew had also begun to question the biological logic of regulated breeding, and had made it clear to his American sponsor that there was no simple correspondence between the practice of birth control and the genetic improvement of the human race.87Biologists further began to recognize, however, that although the hopeful genetic solution to human problems was probably an illusion, contraception still remained one tangible means to alleviate, human misery. Some laboratory scientists, like Crew, acknowledged the applicability of their own particular skills to this problem. For a few brief years, social needs and scientific goals were mutually supportive and closely intertwined. But as laboratory researchers gained interest in the study of reproduction and established their own priorities in this field, they temporarily withdrew from the arena of debate over birth control as an important mechanism for social reform.With the rise of Hitler, the genetic arguments for birth control rapidly lost their appeal. But by that time the scientific problem of how to achieve effective contraception had entered the professional consciousness. Both physicians and scientists began to be aware of birth control as a subject within their domain of expertise, although outside the principal focus of their research. Scientific discussion of birth control permanently altered from a question of justification to a problem of method: How could one achieve reliable and safe contraception? This had been Sanger's and Dickinson's goal from the beginning. Laboratory scientists had indeed been persuaded to undertake this work; this research had in turn affected biologists' perceptions of the whole field of reproductive physiology, encouraging further study of reproductive mechanisms. The promise of new knowledge provided for continued funding of this research, despite the caution by scientists that the social benefits would not be as immediate or as far-reaching as advocates and they themselves had first argued.The activities of birth control activists and their supporting agencies, and the financial backing of private contributors and foundations, notably the Rockefeller philanthropies, provided an important new stimulus to the development of research on the biology of reproduction in the late 1920s and early 1930s. Biologists were able to claim an enlarged realm of issues for scientific study through their activities as advocates and as investigators for the birth control movement. At the same time, they promised as-yet-undiscovered possibilities for regulating human reproduction once its physiology was understood. The knowledge and control that they promised lay in understanding the whole reproductive cycle — not merely in evaluating the toxic effects of presumptive spermicides.Chemical spermicides never summoned the interest of scientists as the contraceptive pill was to do, yet that research did reinforce the widespread perceptions of scientific research as essential to social reform. Spermicide investigations focused research efforts in reproductive biology by challenging traditional taboos, defining problems for further study, and providing laboratory investigators the opportunity to assert the social and scientific value of their own skills. Crew echoed this attitude as he observed in 1934:Man has turned from the adventurous conquest of his environment to the conquest of himself. To-day is the day of biological invention, eagerly used for the control of the undesirable and the unwanted. Sex and reproduction are no longer hedged around by myth and taboo; they are no longer accepted as mysteries that defy understanding. They are matters inviting examination and explanation; they are regarded as expressions of physico-chemical forces, the nature of which is to be displayed. It is accepted that when knowledge is sufficient, control will be absolute, and, though knowledge is not yet sufficient, readers... must be persuaded to the view that this will not always be so.88The synergism between reproductive biology and social needs has been temporary and sporadic, but recurring, since the 1920s. Scientific research programs have clearly been influenced by issues raised by public debate. Nevertheless, reproductive biologists have continued to assert their own professional goals. For the most part, they have rejected problems without inherent scientific interest and have spurned applied research except as it has had a direct bearing on current research themes. This attitude, apparent among American and British investigators in the 1930s, created the intellectual context for the invention and acceptance of the technically sophisticated oral contraceptive pill. It did not foster the production and improvement of the simple, safe, effective, and cheap vaginal contraceptive desired by early birth control advocates. (shrink)

[688/2197] In many economic matters there arises a paradox that may be related to what in logic courses is called the “sophism of the heap of wheat”. Among the sophisms bequeathed to us by the Greeks, none is worthier to have come down through the centuries than this “sophism of the heap of wheat”; indeed this no mere puzzle, but a topical example of a frequent difficulty, as much in practical life as in pure speculation.One grain of wheat does not (...) make a heap; neither do two grains; nor do three grains; \(\ldots \) on the other hand, if a million grains are gathered, we can agree that they constitute a heap. What is the exact limit? Should we say that 2,342 grains, for instance, do not make a heap, whereas 2,343 grains do? This is obviously ridiculous. There appears no logical way out of this dead-end; it is therefore not possible to know what a heap of wheat is.The expression of the sophism can be varied in many ways; a classification of these expressions will not be unhelpful. (shrink)

S'il est vrai qu'aucune passion, aucun souci ne résistent à la sérénité qu'apporte à l'esprit la discipline mathématique, c'est faire une cure de sérénité que lire le nouvel ouvrage d'Émile Borel, qui s'est proposé de raconter, dans ses traits essentiels, l'histoire des relations entre les mathématiciens et la notion d'infini. La première partie du livre relate les circonstances où s'est produite la rencontre des mathématiciens et de l'infini, en Grèce, quelques siècles avant l'ère chrétienne (Zénon, cruel Zénon!). La deuxième (...) partie expose la conquête et l'organisation de l'infini par les mathématiciens modernes, du XVIe au XIXe siècle. La troisième partie, enfin, étudie les plus importantes des difficultés et les divergences de vues qui se sont présentées dans les temps actuels lorsqu'on a cherché à préciser et à approfondir les résultats acquis sur l'infini mathématique. (shrink)

Ever since Kant, the possibility of having objects of knowledge has been one of the most basic anthropological questions (“what can I know?”). For the logician, the linguist, or the semiologist who studies natural language, negation is one of these objects. However, as an operation and as a symbol, it has the paradoxical property of not being able to be objectivized in the discourse that treats it without being used in this construction. Of course, it is an entirely general problem (...) that it is not possible to have a “distant view” of symbolism without using a symbolism of some sort or another. Anthropology is essentially concerned with such objects. The descriptions of ethnologists are thus fertile ground for the epistemologist who believes, like Aristotle, that non-being is not and therefore that, even though in fact we speak only of things (otherwise, what good is speaking?) our discourse cannot be a copy of them. (shrink)

Book Reviews in this ArticlePaul GochetMaurice BoudotKlaus‐Henrik JacobsenLèon BrunschvicgAndrè Bièler.