It has been widely discussed whether the existence of other universes than the known universe is a purely metaphysical consideration. This paper argues to the contrary that the existence of other universes is a meaningful hypothesis, which can be tested based on observable data. The paper applies the perspective of observer bias as an approach for assigning probabilities to the mutually excluding hypotheses of universe vs. multiverse, i.e., whether the known universe is the only universe, or just one universe in (...) an ensemble of universes, a so-called multiverse. The basic idea of the paper relies on the following consideration. In a multiverse, the vast majority of observers would live in universes that are more life friendly. Thus, conditional on there being a multiverse, we should expect to find ourselves in a universe with values of the fundamental parameters that provide particularly fertile grounds for life. In contrast, if there is only a single universe, it may well be the case that there is still a few observers even if the parameters are far from ideal for life, and in that case, those observers will find values of the parameters that are not ideal for intelligent life. It may well be the case that, among all parameter configurations that allow life at least somewhere, those that are not ideal for life far outnumber those that are ideal for life. Based on this elementary consideration, the paper proceeds to propose a quantitative framework to determine probabilities for either hypothesis. In particular, it is described how a future ab initio determination of some of the factors in the Drake equation may be used to infer which one of the two hypotheses is the more likely. A quantitative approach to this end is proposed. Expressing these factors of the Drake equation in the context of the two hypotheses, a general likelihood approach is first described. Then, to support intuition, example computations are provided, illustrating how an actual hypothesis test would work in practice. (shrink)

Large-scale transnational land acquisition of agricultural land in the global south by rich corporations or countries raises challenging normative questions. In this article, the author critically examines and advocates a human rights approach to these questions. Mutually reinforcing, policies, governance and practice promote equitable and secure land tenure that in turn, strengthens other human rights, such as to employment, livelihood and food. Human rights therefore provide standards for evaluating processes and outcomes of transnational land acquisitions and, thus, for determining whether (...) they are ethically unacceptable land grabs. A variety of recent policy initiatives on the issue have evoked human rights, most centrally through the consultation and negotiation of the Voluntary Guidelines on the Responsible Governance of Tenure of Land, Fisheries and Forests concluded in 2012. However, a case of transnational land appropriation illustrates weak host and investor state enforcement of human rights, leaving the parties to in interaction with local groups in charge of protecting human rights. Generally, we have so far seen limited direct application of human rights by states in their governance of transnational land acquisition. Normative responses to transnational land acquisition—codes of conduct, principles of responsible agricultural investment or voluntary guidelines—do not in themselves secure necessary action and change. Applying human rights approaches one must therefore also analyze the material conditions, power relations and political processes that determine whether and how women and men can secure the human rights accountability of the corporations and governments that promote large-scale, transnational land acquisition in the global south. (shrink)

We prove that if p ≠ q are distinct primes, then the classification problems for p-local and q-local torsion-free abelian groups of rank two are incomparable with respect to Borel reducibility.

The existence of a countable complete theory with exactly $\aleph_1$ many minimal models is independent of $\mathrm{ZFC} + \neg\mathrm{CH}$.

Addresses the concept of truth in Chinese Daoist philosophy and ritual. Through wide-ranging research into Daoist ritual, both in history and as it survives in the present day, shows that the concept of true reality that informs this tradition posits being as a paradox anchored in the inexistent Way"--Provided by publisher.

If some infinitary sentence provides a counterexample to Vaught's Conjecture, then there is an infinitary sentence which also provides a counterexample but has no model of cardinality bigger than ℵ₁.

§0. Preface. There has been an expectation that the endgame of the more tenacious problems raised by the Los Angeles ‘cabal’ school of descriptive set theory in the 1970's should ultimately be played out with the use of inner model theory. Questions phrased in the language of descriptive set theory, where both the conclusions and the assumptions are couched in terms that only mention simply definable sets of reals, and which have proved resistant to purely descriptive set theoretic arguments, may (...) at last find their solution through the connection between determinacy and large cardinals.Perhaps the most striking example was given by [24], where the core model theory was used to analyze the structure of HOD and then show that all regular cardinals below ΘL are measurable. John Steel's analysis also settled a number of structural questions regarding HODL, such as GCH.Another illustration is provided by [21]. There an application of large cardinals and inner model theory is used to generalize the Harrington-Martin theorem that determinacy implies )determinacy.However, it is harder to find examples of theorems regarding the structure of the projective sets whose only known proof from determinacy assumptions uses the link between determinacy and large cardinals. We may equivalently ask whether there are second order statements of number theory that cannot be proved under PD–the axiom of projective determinacy–without appealing to the large cardinal consequences of the PD, such as the existence of certain kinds of inner models that contain given types of large cardinals. (shrink)

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)

We propose the FoodSmart City framework as a transdisciplinary avenue to promote sustainable seafood consumption. We argue that a change in human seafood consumption towards eating at lower trophic levels may be helped by discovering forgotten cultural practices and tapping into locally-sourced marine resources. We set out a framework of knowledge exchange and production between academia, businesses, and civil society to promote and assist healthy and ecologically sustainable living using digital tools and intangible cultural heritage while engaging with innovative chefs (...) and educationalists. The framework targets Dublin City, Ireland, but may potentially be replicated in other contexts. (shrink)

The study of continuous group actions is ubiquitous in mathematics, and perhaps the most general kinds of actions for which we can hope to prove theorems in just ZFC are those where a Polish group acts on a Polish space.For this general class we can find works such as [29] that build on ideas from ergodic theory and examine actions of locally compact groups in both the measure theoretic and topological contexts. On the other hand a text in model theory, (...) such as [12], will typically consider issues bearing on the actions by the symmetric group of all permutations of the integers. More generally [1] shows that the orbit equivalence relations induced by closed subgroups of the infinite symmetric group can be reduced to the isomorphism relation on corresponding classes of countable models.This paper considers a third category formed by the continuous actions of separable Banach spaces on Polish spaces. These examples cannot be subsumed under the two earlier headings, and it is known from [10] that theBorel cardinalitiesof the quotient spaces that arise from such actions are incomparable with the equivalence relations induced by the symmetric group or any locally compact Polish group action.One of the first things to be addressed concerns the complexity of these equivalence relations. This question forappears in [1]. (shrink)

If there is a good $\Delta^1_3$ wellordering of the reals, then there is a $\Pi^1_1$ wellfounded relation for which the comparison relation is not projective.

Disintegration and mechanisation.--Sacrifice and atonement.--Communion and the community.--The life-mass and the death-mass.--Life's clair-obscure.

This paper presents an interpretation of Husserl''s phenomenological epoché or bracketing ( Einklammerung), which makes it possible to compare his position with philosophical programs developed within the framework of modern analytical philosophy. At the same time it asks in what sense Husserl''s phenomenology is a form of idealism or exceeds the traditional discussion of idealism versus realism.

This book is open access under a CC BY license. The first of its kind, this 'Report' gives an overview of the humanities worldwide. Published as an Open Access title and based on an extensive literature review and enlightening interviews conducted with 90 humanities scholars across 40 countries, the book offers a first step in attempting to assess the state of the humanities globally. Its topics include the nature and value of the humanities, the challenge of globalisation, the opportunities offered (...) by the digital humanities, variations in funding patterns around the world, and the interaction between humanities and society. Despite the stereotypical view of humanists as scholars locked away in their ivory towers, the picture that emerges from this report is that they are deeply committed to the social value of their work and appreciate the long-term importance it has for addressing global challenges. The report will be of interest not only to researchers and students in the humanities themselves, but also to administrators and funders. (shrink)

This volume on anthropology and authority in the writings of Søren Kierkegaard (1813-1855) offers its reader nineteen timely discussions of two fundamental categories pertaining to the literary, philosophical, and theological production of this prominent 19th century Danish thinker, whose vast influence upon 20th century intellectual life continues to grow as the new millennium approaches. The volume's nineteen contributors - from Canada, Denmark, Great Britain, Holland, Hungary, Italy, and the United States - inquire into such complex problematics in Kierkegaard's oeuvre as (...) the interrelationship between the human, the divine, and the spiritual; between the secular and the Christian; between human and Christian love; between state and church institutions and the single individual of faith; and between this individual's concern for quality in civic and religious life and the quantitative forces of modern society's masses and crowds. Special attention is given to the indisputable authority of God, Christ, and the apostles as opposed to the debatable authority, or non-authority, of the author. Of particular interest is the nexus between Kierkegaard's existential and religious concerns, on the one hand, and his intricate textual conceptions, multifarious poetic strategies, and various means of pseudonymous and indirect communication, on the other. Between the covers of Anthropology and Authority some chapters seek to refine received knowledge of Kierkegaard in such disciplines as theology and moral philosophy. Conversely, other chapters submit rather postmodern critiques of the author's stylistic and rhetorical devices. A summary assessment of the nineteen contributions would fail to recognize this considerable methodological and theoretical diversity. Instead, the reader's access to the smorgasbord of insights has been facilitated by an introduction in which one of the American editors briefly outline the individual contributions on a general historical and intellectual background. Altogether, the probing insights of Anthropology and Authority go to the core of Søren Kierkegaard's authorship. Individual chapters either update previous responses to the many challenges presented by this work, or the chapters face new challenges and/or present critical challenges on their own. (shrink)

This chapter discusses Kierkegaard's impact on creative writers worldwide. Traditional attempts to identify his individual “influence” have increasingly yielded to an interest in “intertextuality,” a more socially oriented take on authorial interrelationships, overcoming the narrow specificity of “influence,” while sometimes tending to be overly broad and general instead. Concurrently, Kierkegaard's role as a literary writer has recently been favored over his role as a Christian thinker, although by no means exclusively so. Altogether, intertextual reception of his corpus significantly extends his (...) literary profile as an existential storyteller, while also engaging in a multifaceted dialogue about both humanism and anti‐humanism. (shrink)

We show that every dominating analytic set in the Baire space has a dominating closed subset. This improves a theorem of Spinas [15] saying that every dominating analytic set contains the branches of a uniform tree, i.e. a superperfect tree with the property that for every splitnode all the successor splitnodes have the same length. In [15], a subset of the Baire space is called u-regular if either it is not dominating or it contains the branches of a uniform tree, (...) and it was proved that Σ21-Kσ-regularity implies Σ21-u-regularity. Here we show that these properties are in fact equivalent. Since the proof of analytic u-regularity uses a game argument it was clear that determinacy implies u-regularity of all sets. Here we show that an inaccessible cardinal is enough to construct a model for projective u-regularity, namely it holds in Solovay's model. Finally we show that forcing with uniform trees is equivalent to Laver forcing. (shrink)

The Martin-Steel coarse inner model theory is employed in obtaining new results in descriptive set theory. $\underset{\sim}{\Pi}$ determinacy implies that for every thin Σ 1 2 equivalence relation there is a Δ 1 3 real, N, over which every equivalence class is generic--and hence there is a good Δ 1 2 (N ♯ ) wellordering of the equivalence classes. Analogous results are obtained for Π 1 2 and Δ 1 2 quasilinear orderings and $\underset{\sim}{\Pi}^1_2$ determinacy is shown to imply that (...) every Π 1 2 prewellorder has rank less than $\underset{\sim}{\delta}^1_2$. (shrink)