We show that there is a model of ZF in which the Borel hierarchy on the reals has length ω2. This implies that ω1 has countable cofinality, so the axiom of choice fails very badly in our model. A similar argument produces models of ZF in which the Borel hierarchy has exactly λ + 1 levels for any given limit ordinal λ less than ω2. We also show that assuming a large cardinal hypothesis there are models of ZF in which (...) the Borel hierarchy is arbitrarily long. (shrink)

In this paper we prove three theorems about the theory of Borel sets in models of ZF without any form of the axiom of choice. We prove that if \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${B\subseteq 2^\omega}$$\end{document} is a Gδσ-set then either B is countable or B contains a perfect subset. Second, we prove that if 2ω is the countable union of countable sets, then there exists an Fσδ set \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} (...) \setlength{\oddsidemargin}{-69pt} \begin{document}$${C\subseteq 2^\omega}$$\end{document} such that C is uncountable but contains no perfect subset. Finally, we construct a model of ZF in which we have an infinite Dedekind finite \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${D\subseteq 2^\omega}$$\end{document} which is Fσδ. (shrink)

We study the preservation of selective covering properties, including classic ones introduced by Menger, Hurewicz, Rothberger, Gerlits and Nagy, and others, under products with some major families of concentrated sets of reals.Our methods include the projection method introduced by the authors in an earlier work, as well as several new methods. Some special consequences of our main results are : Every product of a concentrated space with a Hurewicz S1S1 space satisfies S1S1. On the other hand, assuming the Continuum Hypothesis, (...) for each Sierpiński set S there is a Luzin set L such that L×SL×S can be mapped onto the real line by a Borel function. Assuming Semifilter Trichotomy, every concentrated space is productively Menger and productively Rothberger. Every scale set is productively Hurewicz, productively Menger, productively Scheepers, and productively Gerlits–Nagy. Assuming d=ℵ1d=ℵ1, every productively Lindelöf space is productively Hurewicz, productively Menger, and productively Scheepers.A notorious open problem asks whether the additivity of Rothberger's property may be strictly greater than addadd, the additivity of the ideal of Lebesgue-null sets of reals. We obtain a positive answer, modulo the consistency of Semifilter Trichotomy >ℵ1.Our results improve upon and unify a number of results, established earlier by many authors. (shrink)

In this paper we show that it is consistent with ZFC that for any set of reals of cardinality the continuum, there is a continuous map from that set onto the closed unit interval. In fact, this holds in the iterated perfect set model. We also show that in this model every set of reals which is always of first category has cardinality less than or equal to ω 1.

Let κ B be the least cardinal for which the Baire category theorem fails for the real line R. Thus κ B is the least κ such that the real line can be covered by κ many nowhere dense sets. It is shown that κ B cannot have countable cofinality. On the other hand it is consistent that the corresponding cardinal for 2 ω 1 be ℵ ω . Similar questions are considered for the ideal of measure zero sets, other (...) ω 1 saturated ideals, and the ideal of zero-dimensional subsets of R ω 1. (shrink)

In this paper we ask the question: to what extent do basic set theoretic properties of Loeb measure depend on the nonstandard universe and on properties of the model of set theory in which it lies? We show that, assuming Martin's axiom and κ-saturation, the smallest cover by Loeb measure zero sets must have cardinality less than κ. In contrast to this we show that the additivity of Loeb measure cannot be greater than ω 1 . Define $\operatorname{cof}(H)$ as the (...) smallest cardinality of a family of Loeb measure zero sets which cover every other Loeb measure zero set. We show that $\operatorname{card}(\lfloor\log_2(H)\rfloor) \leq \operatorname{cof}(H) \leq \operatorname{card}(2^H)$ , where card is the external cardinality. We answer a question of Paris and Mills concerning cuts in nonstandard models of number theory. We also present a pair of nonstandard universes $M \preccurlyeq N$ and hyperfinite integer H ∈ M such that H is not enlarged by N, 2 H contains new elements, but every new subset of H has Loeb measure zero. We show that it is consistent that there exists a Sierpiński set in the reals but no Loeb-Sierpiński set in any nonstandard universe. We also show that it is consistent with the failure of the continuum hypothesis that Loeb-Sierpiński sets can exist in some nonstandard universes and even in an ultrapower of a standard universe. (shrink)

Abstract.In this paper we prove that it is consistent that every γ-set is countable while not every strong measure zero set is countable. We also show that it is consistent that every strong γ-set is countable while not every γ-set is countable. On the other hand we show that every strong measure zero set is countable iff every set with the Rothberger property is countable.

In this book, Arnold Green discusses the standards that define moral appraisal. Standards assume roles of conduct which can be imposed during socialization only within the traditional family. Otherwise, the basis of order, which is not collective but individual, is undermined by the extreme degree of disaffection we now face. All the panaceas offered, and in some cases enforced, by one intellectual minority or another, will inevitably have a destructive impact upon our communication with one another. Contents: Perception and (...) Ideology; Self and Family; Relativism and the Family Institution; Religion as Vital Force; Social Class and Prejudice. (shrink)

Even if we recognize that the delta-lognormal model provides an excellent fit to a large variety of data, the question remains as to what we actually learn from such a model, which could be seen as merely another multiparameter account? Do we welcome such an encompassing account, or do we expect to learn more from the limitations that become apparent when applying dedicated models addressing specific classes of movements?

In this paper we will consider two possible definitions of projective subsets of a separable metric space X. A set A subset of or equal to X is Σ11 iff there exists a complete separable metric space Y and Borel set B subset of or equal to X × Y such that A = {x ε X : there existsy ε Y ε B}. Except for the fact that X may not be completely metrizable, this is the classical definition of (...) analytic set and hence has many equivalent definitions, for example, A is Σ11 iff A is relatively analytic in X, i.e., A is the restriction to X of an analytic set in the completion of X. Another definition of projective we denote by ΣX1 or abstract projective subset of X. A set of A subset of or equal to X is ΣX1 iff there exists an n ε ω and a Borel set B subset of or equal to X × Xn such that A = {x ε X:there existsy ε Xn ε B}. These sets ca n be far more pathological. While the family of sets Σ11 is closed under countable intersections and countable unions, there is a consistent example of a separable metric space X where ΣX1 is not closed under countable intersections or countable unions. This takes place in the Cohen real model. Assuming CH, there exists a separable metric space X such that every Σ11 set is Borel in X but there exists a Σ11 set which is not Borel in X2. The space X2 has Borel subsets of arbitrarily large rank while X has bounded Borel rank. This space is a Luzin set and the technique used here is Steel forcing with tagged trees. We give examples of spaces X illustrating the relationship between Σ11 and ΣX1 and give some consistent examples partially answering an abstract projective hierarchy problem of Ulam. (shrink)

For a Polish group let be the minimal number of translates of a fixed closed nowhere dense subset of required to cover . For many locally compact this cardinal is known to be consistently larger than which is the smallest cardinality of a covering of the real line by meagre sets. It is shown that for several non-locally compact groups . For example the equality holds for the group of permutations of the integers, the additive group of a separable Banach (...) space with an unconditional basis and the group of homeomorphisms of various compact spaces. (shrink)

The slow emergence of Dalton's chemical atomic theory has long been a considerable puzzle to historians of science The lengthy delay between Dalton's early work on mixed gases and particle weights and the eventual publication of the first part of his New System of Chemical Philosophy has called forth a variety of explanations. It is now more than half a century since A. N. Meldrum stressed“…the efforts Dalton had to make, in order to arouse attention to the importance of his (...) ideas regarding atoms. For some nine years , if not longer, he endeavoured to spread abroad his ideas, both by private communications and publicly, by his writings and by lectures in various parts of the country…“Dalton's chemical theory was formed by the 6th September 1803, and he proceeded forthwith to extend and apply it, and make it known in every direction…”And though Meldrum's view is now no longer accepted, no systematic and detailed account of Dalton's activities over these years is available to replace Meldrum's assertions. (shrink)

Along with many jurisdictions, Australia is struggling with the unique issues raised by genetic information in the context of privacy laws and medical ethics. Although the consequences of disclosure of most private information are generally confined to individuals, disclosure of genetic information has far-reaching consequences, with a credible argument that genetic relatives have a right to know about potential medical conditions. In 2006, the Privacy Act was amended to permit disclosure of an individual's genetic information, without their consent, to genetic (...) relatives, if it was to avoid or mitigate serious illness. Unfortunately, additional amendments required for operation of the disclosure amendment were overlooked. Public Interest Determinations —delegated legislation issued by the privacy commissioner—have, instead, been used to exempt healthcare providers from provisions which would otherwise make disclosure unlawful. This paper critiques the PIDs using documents obtained under the Freedom of Information Act—specifically the impact of both the PIDs and the disclosure amendment on patients and relatives—and confidentiality and the procedural validity of subordinate laws regulating medical privacy. (shrink)

"The largest Ebola outbreak to date—first detected in December 2013 and still ongoing as of April 2015—has cast new light on the shortfalls of international public health systems.1 As in previous health crises, scrutiny has reemerged over the pharmaceutical industry’s ability and willingness to innovate new medicines for underserved disease areas. The public debate has intensified following revelations that promising drug candidates to treat Ebola had gone undeveloped despite compelling preclinical results.2 This lack of development is especially troubling because it (...) occurred after a recently implemented U.S. incentive scheme—the Food and Drug Administration’s (FDA) tropical disease priority review voucher program—designed to counteract exactly this problem. Taking Ebola as a case in point, it is useful to examine the short history and ongoing refinement of this voucher program, since it represents one of the most significant legislative efforts to systematically address the relative absence of com- mercial rewards for drugs targeting tropical diseases. This analysis evaluates the voucher program’s effectiveness for both stimulating private sector innovation and achieving positive health impacts among populations most severely burdened by tropical diseases. It then proposes specific recommendations for how law- makers can improve the program’s legislation to better achieve these objectives. ". (shrink)

In this paper we study the question assuming MA+⌝CH does Sacks forcing or Laver forcing collapse cardinals? We show that this question is equivalent to the question of what is the additivity of Marczewski's ideals 0. We give a proof that it is consistent that Sacks forcing collapses cardinals. On the other hand we show that Laver forcing does not collapse cardinals.