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)

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)

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)

Unsurpassed among books on space and time in terms of its insights and clarity, this volume by a world-famous mathematician can be appreciated by lay readers as ...

In the paper, a detailed analysis of some new logical aspects of Cantor’s diagonal proof of the uncountability of continuum is presented. For the first time, strict formal, axiomatic, and algorithmic definitions of the notions of potential and actual infinities are presented. It is shown that the actualization of infinite sets and sequences used in Cantor’s proof is a necessary, but hidden, condition of the proof. The explication of the necessary condition and its factual usage within the framework of Cantor’s (...) proof makes, Cantor’s proof invalid. It’s shown that traditional Cantor’s proof has a second necessary, but hidden as well, condition which is teleological by its nature, i.e., is not mathematical. The explication of the second necessary condition makes Cantor’s statement on the uncountability of continuum unprovable from the point of view of classical logic.One of the most dramatic facts in history of science is connected just with the notion of actual infinity and consists in the following. On the one hand, Aristotle, Berkeley, Locke, Descartes, Spinoza, Gauss, Kant, Cauchy, Kronecker, Hermite, Poincaré, Bair, Borel, Brouwer, Quine, Wittgenstein, Weyl, Luzin, and a lot of other outstanding creators of classical logic and classical mathematics, during millenniums, stated categorically and insistently warned about that the actual infinity is a self-contradictory notion and its usage in mathematics is inadmissible (e.g., according to Poincare, “There is no actual infinity. - Cantorians forgot that and fell into contradictions. Later generations will regard Mengenlehre (set theory) as a disease from which one has recovered”). On the other hand, a lot of outstanding scientists of the XX c.c., such as Hilbert, Church, Turing, Gödel, etc., and modern axiomatic set theory as a whole ignored this (intuitive though) opinion of genii and accepted Cantor’s “transfinite paradise”, based on the actual infinity. In the paper some logical, philosophical, and psychological aspects of this historical “favorable opposition” are analyzed, and the fact that the scientific intuition of genii has won the historical battle against the mytho-’logic’ of Cantor’s transfinite ‘paradise’ is explained and logically justified. (shrink)

In the paper, a detailed analysis of some new logical aspects of Cantor’s diagonal proof of the uncountability of continuum is presented. For the first time, strict formal, axiomatic, and algorithmic definitions of the notions of potential and actual infinities are presented. It is shown that the actualization of infinite sets and sequences used in Cantor’s proof is a necessary, but hidden, condition of the proof. The explication of the necessary condition and its factual usage within the framework of Cantor’s (...) proof makes, Cantor’s proof invalid. It’s shown that traditional Cantor’s proof has a second necessary, but hidden as well, condition which is teleological by its nature, i.e., is not mathematical. The explication of the second necessary condition makes Cantor’s statement on the uncountability of continuum unprovable from the point of view of classical logic.One of the most dramatic facts in history of science is connected just with the notion of actual infinity and consists in the following. On the one hand, Aristotle, Berkeley, Locke, Descartes, Spinoza, Gauss, Kant, Cauchy, Kronecker, Hermite, Poincaré, Bair, Borel, Brouwer, Quine, Wittgenstein, Weyl, Luzin, and a lot of other outstanding creators of classical logic and classical mathematics, during millenniums, stated categorically and insistently warned about that the actual infinity is a self-contradictory notion and its usage in mathematics is inadmissible (e.g., according to Poincare, “There is no actual infinity. - Cantorians forgot that and fell into contradictions. Later generations will regard Mengenlehre (set theory) as a disease from which one has recovered”). On the other hand, a lot of outstanding scientists of the XX c.c., such as Hilbert, Church, Turing, Gödel, etc., and modern axiomatic set theory as a whole ignored this (intuitive though) opinion of genii and accepted Cantor’s “transfinite paradise”, based on the actual infinity. In the paper some logical, philosophical, and psychological aspects of this historical “favorable opposition” are analyzed, and the fact that the scientific intuition of genii has won the historical battle against the mytho-’logic’ of Cantor’s transfinite ‘paradise’ is explained and logically justified. (shrink)

Purpose The search for cause of death is important to improve knowledge and provide answers for the relatives of the deceased. Medical autopsy following unexplained death in hospital is one way to identify cause of death but is difficult to carry out routinely. Post mortem sampling (PMS) of tissues via thin biopsy needle or ‘mini incisions’ in the skin may be a useful alternative. A study was undertaken to assess how this approach is perceived by intensive care doctors and also (...) to evaluate how this practice is considered in ethical terms in France. Methods A study of PMS practices immediately after death in 10 intensive care departments was performed. The medical director of each centre was interviewed by telephone and asked to describe practices in their unit and to outline the questions raised by this practice. Results PMS is routinely performed in 70% of the units which responded, without systematically obtaining formal consent and without precise rules for communicating results. Approaches to PMS differed between centres, but all physicians felt that PMS is useful for the scientific information it gives and also for the information it provides for relatives. All physicians regret the lack of standards to structure PMS practices. Conclusion Information from post mortem examinations is important for society to inform about causes of death, for doctors to improve practices and for decision-makers responsible for organising care. Debate persists regarding the balance between individual rights and community interests. It is suggested that an approach for identifying cause of death could easily be integrated into the relationship between carers and relatives, provided full transparency is maintained. (shrink)

Louveau, A., S. Shelah and B. Velikovi, Borel partitions of infinite subtrees of a perfect tree, Annals of Pure and Applied Logic 63 271–281. We define a notion of type of a perfect tree and show that, for any given type τ, if the set of all subtrees of a given perfect tree T which have type τ is partitioned into two Borel classes then there is a perfect subtree S of T such that all subtrees of S (...) of type τ belong to the same class. This result simultaneously generalizes the partition theorems of Galvin-Prikry and Galvin-Blass. The key ingredient of the proof is the theorem of Halpern-Laüchli on partitions of products of perfect trees. (shrink)

This paper develops the foundations of the descriptive set theory of countable Borel equivalence relations on Polish spaces with particular emphasis on the study of hyperfinite, amenable, treeable and universal equivalence relations.

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.

In partial answer to a question posed by Arnie Miller [4] and X. Caicedo [2] we obtain sufficient conditions for an ℒω1,ω theory to have an independent axiomatization. As a consequence we obtain two corollaries: The first, assuming Vaught's Conjecture, every ℒω1,ω theory in a countable language has an independent axiomatization. The second, this time outright in ZFC, every intersection of a family of Borel sets can be formed as the intersection of a family of independent Borel sets.

Let A and B be subsets of the reals. Say that A κ ≥ B, if there is a real a such that the relation "x ∈ B" is uniformly Δ 1 (a, A) in L[ ω x,a,A 1 , x,a,A]. This reducibility induces an equivalence relation $\equiv_\kappa$ on the sets of reals; the $\equiv_\kappa$ -equivalence class of a set is called its Kleene degree. Let K be the structure that consists of the Kleene degrees and the induced partial order (...) K ≥. A substructure of K that is of interest is P, the Kleene degrees of the Π 1 1 sets of reals. If sharps exist, then there is not much to P, as Steel [9] has shown that the existence of sharps implies that P has only two elements: the degree of the empty set and the degree of the complete Π 1 1 set. Legrand [4] used the hypothesis that there is a real whose sharp does not exist to show that there are incomparable elements in P; in the context of V = L, Hrbacek has shown that P is dense and has no minimal pairs. The Hrbacek results led Simpson [6] to make the following conjecture: if V = L, then p forms a universal homogeneous upper semilattice with 0 and 1. Simpson's conjecture is shown to be false by showing that if V = L, then Godel's maximal thin Π 1 1 set is the infimum of two strictly larger elements of P. The second main result deals with the notion of jump in K. Let A' be the complete Kleene enumerable set relative to A. Say that A is low-n if A (n) has the same degree as $\varnothing^{(n)}$ , and A is high-n if A (n) has the same degree as $\varnothing^{(n + 1)}$ . Simpson and Weitkamp [7] have shown that there is a high (high-1) incomplete Π 1 1 set in L. They have also shown that various other Π 1 1 sets are neither high nor low in L. Legrand [5] extended their results by showing that, if there is a real x such that x # does not exist, then there is an element of P that, for all n, is neither low-n nor high-n. In § 2, ZFC is used to show that, for all n, if A is Π 1 1 and low-n then A is Borel. The proof uses a strengthened version of Jensen's theorem on sequences of admissible ordinals that appears in [7, Simpson-Weitkamp]. (shrink)

We introduce a reducibility preordering between classes of countable structures, each class containing only structures of a given similarity type (which is allowed to vary from class to class). Though we sometimes work in a slightly larger context, we are principally concerned with the case where each class is an invariant Borel class (i.e. the class of all models, with underlying set $= \omega$, of an $L_{\omega_1\omega}$ sentence; from this point of view, the reducibility can be thought of as (...) a (rather weak) sort of $L_{\omega_1\omega}$-interpretability notion). We prove a number of general results about this notion, but our main thrust is to situate various mathematically natural classes with respect to the preordering, most notably classes of algebraic structures such as groups and fields. (shrink)

J. Łoś raised the following question: Under what conditions can a countable partially ordered set be extended to a dense linear order merely by adding instances of comparability ? We show that having such an extension is a Σ 1 l -complete property and so there is no Borel answer to Łoś's question. Additionally, we show that there is a natural Π 1 l -norm on the partial orders which cannot be so extended and calculate some natural ranks in (...) that norm. (shrink)

This essay gives necessary and sufficient conditions for recovering expected utility from choice behavior in several popular models of uncertainty. In particular, these techniques handle a finite state model; a model for which the choice space consists of probability densities and the expected utility representation requires bounded, measurable utility; and a model for which the choice space consists of Borel probability measures and the expected utility representation requires bounded, continuous utility. The key result is the identification of the continuity (...) condition necessary for the revelation of linear utility. (shrink)

We construct a Borel maximal cofinitary group.

We consider several kinds of partition relations on the set ${\mathbb{R}}$ of real numbers and its powers, as well as their parameterizations with the set ${[\mathbb{N}]^{\mathbb{N}}}$ of all infinite sets of natural numbers, and show that they hold in some models of set theory. The proofs use generic absoluteness, that is, absoluteness under the required forcing extensions. We show that Solovay models are absolute under those forcing extensions, which yields, for instance, that in these models for every well ordered partition (...) of ${\mathbb{R}^\mathbb{N}}$ there is a sequence of perfect sets whose product lies in one piece of the partition. Moreover, for every finite partition of ${[\mathbb{N}]^{\mathbb{N}} \times \mathbb{R}^{\mathbb{N}}}$ there is ${X \in [\mathbb{N}]^{\mathbb{N}}}$ and a sequence ${\{P_{k} : k \in \mathbb{N}\}}$ of perfect sets such that the product ${[X]^{\mathbb{N}} \times \prod_{k}^{\infty}P_{k}}$ lies in one piece of the partition, where ${[X]^{\mathbb{N}}}$ is the set of all infinite subsets of X. The proofs yield the same results for Borel partitions in ZFC, and for more complex partitions in any model satisfying a certain degree of generic absoluteness. (shrink)

We consider sparseness, smoothness and the Glimm-Effros Dichotomy for the restriction of a Borel equivalence relation on a Polish space to definable subsets of that space.

We announce two new dichotomy theorems for Borel equivalence relations, and present the results in context by giving an overview of related recent developments.§1. Introduction. For X a Polish space and E a Borel equivalence relation on X, a classification of X up to E-equivalence consists of finding a set of invariants I and a map c : X → I such that xEy ⇔ c = c. To be of any value we would expect I and c (...) to be “explicit” or “definable”. The theory of Borel equivalence relations investigates the nature of possible invariants and provides a hierarchy of notions of classification.The following partial ordering is fundamental in organizing this study. Given equivalence relations E and F on X and Y, resp., we say that E can be Borel reduced to F, in symbolsif there is a Borel map f : X → Y with xEy ⇔ fFf. Then if is an embedding of X/E into Y/F, which is “Borel”.Intuitively, E ≤BF might be interpreted in any one of the following ways: The classi.cation problem for E is simpler than that of F: any invariants for F work as well for E. One can classify E by using as invariants F-equivalence classes. The quotient space X/E has “Borel cardinality” less than or equal to that of Y/F, in the sense that there is a “Borel” embedding of X/E into Y/F. (shrink)

Louveau showed that if a Borel set in a Polish space happens to be in a Borel Wadge class $$\Gamma $$, then its $$\Gamma $$ -code can be obtained from its Borel code in a hyperarithmetical manner. We extend Louveau’s theorem to Borel functions: If a Borel function on a Polish space happens to be a $$ \underset{\widetilde{}}{\varvec{\Sigma }}\hbox {}_t$$ -function, then one can find its $$ \underset{\widetilde{}}{\varvec{\Sigma }}\hbox {}_t$$ -code hyperarithmetically relative to its (...) class='Hi'>Borel code. More generally, we prove extension-type, domination-type, and decomposition-type variants of Louveau’s theorem for Borel functions. (shrink)

We study the κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\kappa $$\end{document}-Borel-reducibility of isomorphism relations of complete first order theories in a countable language and show the consistency of the following: For all such theories T and T′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$T^{\prime }$$\end{document}, if T is classifiable and T′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$T^{\prime }$$\end{document} is not, then the isomorphism of models of T′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} (...) \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$T^{\prime }$$\end{document} is strictly above the isomorphism of models of T with respect to κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\kappa $$\end{document}-Borel-reducibility. In fact, we can also ensure that a range of equivalence relations modulo various non-stationary ideals are strictly between those isomorphism relations. The isomorphism relations are considered on models of some fixed uncountable cardinality obeying certain restrictions. (shrink)