A Turing degree a is said to be almost everywhere dominating if, for almost all $X \in 2^{\omega}$ with respect to the "fair coin" probability measure on $2^{\omega}$ , and for all g: $\omega \rightarrow \omega$ Turing reducible to X, there exists f: $\omega \rightarrow \omega$ of Turing degree a which dominates g. We study the problem of characterizing the almost everywhere dominating Turing degrees and other, similarly defined classes of Turing degrees. We relate this problem to some questions in (...) the reverse mathematics of measure theory. (shrink)

Conscience and Conscientious Objection of Health Care Professionals Refocusing the Issue Content Type Journal Article Pages 351-364 DOI 10.1007/s10730-009-9113-x Authors Natasha T. Morton, The University of Western Ontario Ontario Canada N6A 5B9 Kenneth W. Kirkwood, Arthur and Sonia Labatt Health Sciences Building London Ontario Canada N6A 5B9 Journal HEC Forum Online ISSN 1572-8498 Print ISSN 0956-2737 Journal Volume Volume 21 Journal Issue Volume 21, Number 4.

A general method for constructing a new class of topological Ramsey spaces is presented. Members of such spaces are infinite sequences of products of Fraïssé classes of finite relational structures satisfying the Ramsey property. The Product Ramsey Theorem of Sokič is extended to equivalence relations for finite products of structures from Fraïssé classes of finite relational structures satisfying the Ramsey property and the Order-Prescribed Free Amalgamation Property. This is essential to proving Ramsey-classification theorems for equivalence relations on fronts, generalizing the (...) Pudlák–Rödl Theorem to this class of topological Ramsey spaces. To each topological Ramsey space in this framework corresponds an associated ultrafilter satisfying some weak partition property. By using the correct Fraïssé classes, we construct topological Ramsey spaces which are dense in the partial orders of Baumgartner and Taylor generating p-points which are k-arrow but not \-arrow, and in a partial order of Blass producing a diamond shape in the Rudin-Keisler structure of p-points. Any space in our framework in which blocks are products of n many structures produces ultrafilters with initial Tukey structure exactly the Boolean algebra \\). If the number of Fraïssé classes on each block grows without bound, then the Tukey types of the p-points below the space’s associated ultrafilter have the structure exactly \. In contrast, the set of isomorphism types of any product of finitely many Fraïssé classes of finite relational structures satisfying the Ramsey property and the OPFAP, partially ordered by embedding, is realized as the initial Rudin-Keisler structure of some p-point generated by a space constructed from our template. (shrink)

Refugees and asylum seekers may experience challenges related to pre-arrival experiences, structural disadvantage after migration and during resettlement requiring the need for special protection when participating in research. The aim was to review if and how people with refugee and asylum seeker backgrounds have had their need for special protection addressed in national and international research ethics guidelines. A systematic search of grey literature was undertaken. The search yielded 2187 documents of which fourteen met the inclusion criteria. Few guidelines addressed (...) specific ethical considerations for vulnerable groups much less people with refugee and asylum seeker backgrounds. One guideline explicitly addressed vulnerability for refugees and asylums seekers. To ensure members of ethics committees and researchers consider the potential challenges of conducting research with these groups, guidelines may need to be supplemented with a refugee and asylum seeker specific research ethics framework. Such a framework may be necessary to optimally protect people with refugee and asylum seeker backgrounds in research. (shrink)

This paper describes how to ethically conduct research with Black populations at the intersection of COVID-19 and the Black Lives Matter movement. We highlight the issues of historical mistrust in the USA and how this may impact Black populations’ participation in COVID-19 vaccination trials. We provide recommendations for researchers to ethically engage Black populations in research considering the current context. Our recommendations include understanding the impact of ongoing trauma, acknowledging historical context, ensuring diverse research teams and engaging in open and (...) honest conversations with Black populations to better address their needs. The core of our recommendation is recognising the impact of trauma in our research and health care practices. (shrink)

According to a “selective” (as opposed to “instructive”) model of human language capacity, people come to know more than they experience. The discrepancy between experience and eventual capacity (the “poverty of the stimulus”) is bridged by genetically provided information. Hence any hypothesis about the linguistic genotype (or “Universal Grammar,” UG) has consequences for what experience is needed and what form people's mature capacities (or “grammars”) will take. This BBS target article discusses the “trigger experience,” that is, the experience that actually (...) affects a child's linguistic development. It is argued that this must be a subset of a child's total linguistic experience and hence that much of what a child hears has no consequence for the form of the eventual grammar. UG filters experience and provides an upper bound on what constitutes the triggering experience. This filtering effect can often be seen in the way linguistic capacity can change between generations. Children only need access to robust structures of minimal (“degree-0”) complexity. Everything can be learned from simple, unembedded “domains” (a grammatical concept involved in defining an expression's logical form). Children do not need access to more complex structures. (shrink)

The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge base. In this paper we show how to determine the effective reasoning capability of an agent with limited memory by encoding the agent as a transition system and automatically verifying whether a state where the agent believes a certain conclusion is reachable from the start state. We present experimental results using (...) the Model Based Planner (MBP) which illustrates how the length of the deduction varies for different memory sizes. (shrink)

The afterword discusses how this special issue’s articles work from different angles to unsettle the precepts of “attentional sovereignty” — the socially, politically, and economically valorized virtue that anchors most discussions over attention in its contemporary technological predicament. Whether the attentional sovereign appears in its liberal humanist or its neoliberal behavioral economic guise, sovereignty is valorized and considered under threat. By revealing the contemporary and historical backstories to our investment in this notion, these articles shift the terms of the debate (...) around the attention crisis and clear space for thinking anew about the possibilities and limits of attention today. (shrink)

Sex work is highly gendered, with 80 percent of sex workers being female, and the vast majority of buyers of sex being male. It is often taken for granted that this is how it is, and implicit in much of the debate around sex work is the assumption that it is inherently gendered. In this paper, I question this assumption, drawing on sociological research to challenge arguments which purport that it is inconceivable that women would ever want to pay for (...) sex, or that sex work would exist under conditions of gender equality. I argue that gendered sexual norms likely are a significant reason for why sex work is so gendered, but sex work would probably continue to exist under conditions of gender equality, due to the diversity in motivations people have for buying and selling sex. Acknowledging that sex work is not inherently gendered is important for (at least) two reasons. First, it is probable that the gendered nature of sex work contributes to the stigma and bad treatment that sex workers, particularly female ones, face. Secondly, if sex work is not inherently gendered, this will have implications for how we should think about it, morally, practically, and legally. (shrink)

The god of writing is thus at once his father, his son, and himself. He cannot be assigned a fixed spot in the play of differences. Sly, slippery, and masked, an intriguer and a card, like Hermes, he is neither king nor jack, but rather a sort of joker, a floating signifier, a wild card, one who puts play into play.They are called tricksters, song dogs, and ghosts of the prairie. Indigenous to North and Central America, the coyote has been (...) revered in the stories of native tribes, trapped and hunted by ranchers, and detonated in Saturday-morning cartoons. Recently, the multitextual coyote has assumed a new role, that of “patroller” in downtown Chicago. This role came to light in November 2010, when local news .. (shrink)

Euphorion SH 417 deserves to be better known. A curiosity in itself—an apparent poetic reference to number theory—it is also, potentially, one of our earliest references to Euclidean material. On the authority of a late commentator on Aristotle, Euphorion, a mid-third-century b.c. Euboean poet who was also active in Athens and Antioch, is said to have mentioned perfect numbers—i.e. numbers which equal the total of all their factors, including 1 . It is a pity that the context in Euphorion does (...) not survive, and that the line is only preserved, and indeed interpreted, by so late a source. But the wording of the fragment—if Westerink's restoration of its various corruptions is plausible—would strongly suggest a reference to the notion of perfect number. The fragment has been known since Westerink published it in 1960, and was included both in Van Groningen's edition of Euphorion in 1977 and in Supplementum Hellenisticum . But its implications have still not been discussed, and when David Fowler came to gather the evidence for references to Euclidean material in and after the third century b.c. in The Mathematics of Plato's Academy, his attention, unsurprisingly, was not drawn to it. Euphorion has had a bad press, as a poet of rebarbatively obscure myth and intractable vocabulary; yet he holds some interest, and we may be missing more insights into the intellectual life of the Hellenistic period which the perverse intelligence and baneful wit of the fragments display. (shrink)

Not only do grammars have the dual structure that Clahsen discusses but the lexicon contains atomic, unanalyzed items, which would be still more mysterious for single-mechanism models. Forms of be in modern English are listed atomically and this is not a simple function of their morphological richness or of the fact that they move.

This article re-examines the sole surviving fragment of Aeschylean elegy alongside the available contextual evidence in an attempt to enhance our currently very limited understanding of Aeschylus’ elegiac output. The first section explores Theophrastus’ citation of this fragment in theHistoria Plantarumto demonstrate what we can learn about the original Aeschylean poem from its use within the later writer's discussion. The second section examines how the Italian focus of the fragment fits into a wider historical and literary discourse of interactions between (...) Greeks and non-Greeks in the west. The third and concluding section builds on these findings to examine the possible Sicilian performance context of the original Aeschylean poem to which the fragment belongs. Ultimately the discussion demonstrates that the fragment is an important and hitherto underappreciated early witness of the development of influential cultural concepts regarding interactions between Greeks and non-Greeks in the west, and that the possibility that Aeschylus produced a poem relating to the victory of Hieron I of Syracuse over the Etruscans at Cumae in 474b.c.e.is worth serious consideration. (shrink)

Following Janko's suggestion that two trimeters cited at Strabo, Geography 8.6.20 form a couplet from an unknown, possibly Aristophanic comedy, this note explores the resonance and meaning of the third citation contained in the same chapter of the geographer's work. It proposes that this third citation, which relates to a Corinthian hetaira's work at the loom and is possibly from either the same or a different comedy, contains a joke hinting at the Odyssey and alternative traditions regarding Penelope's chastity. This (...) Odyssean echo thematically connects this citation to the comic trimeters, which also contain clear allusions to the Odyssey. (shrink)

The development of the Universal Declaration of Ethical Principles for Psychologists has sparked debate about its applicability to cultural groups around the globe. Focusing on the principle of respect espoused in the Declaration, this article uses examples largely drawn from the indigenous Ma-ori culture of Aotearoa/New Zealand, to highlight how the ethical imperatives espoused by the Declaration may conflict with the perspectives of M?ori. A discussion of actions denoting respect is given from a M?ori perspective. Distinctions between the ethical expectations (...) the discipline of psychology and Ma-ori have of psychological practitioners are also addressed. (shrink)

In some cultures, people tend to believe that it is very important to be sexually exclusive in romantic relationships and idealise monogamous romantic relationships; but there is a tension in this ideal. Sex is generally considered to have value, and usually when we love someone we want to increase the amount of value in their lives, not restrict it without good reason. There is thus a call, not yet adequately responded to by philosophers, for greater clarity in the reasons §why (...) it might be reasonable for a couple to adopt a policy of sexual exclusivity. This article argues that we cannot justify the demand for sexual exclusivity by a need to protect the relationship from the risk of one partner ‘trading-up’, or by appealing to jealousy. However, sexual exclusivity can be intelligible if it supports the romantic relationship and helps to distinguish it from other relationships. Nonetheless, sexual exclusivity ought not to be the hegemonic social norm that it currently is in some societies because this diminishes the potential value it might have and gives the idea of faithfulness the wrong focus. (shrink)

In a review of the cell biology and heredity studies of 1900–1910, Bernardino Fantini argues that the choice of an experimental subject or organism was crucial in opening up new discoveries and new theories for specific fields of research.69 Thinking on a broader level, Bütschli expressed a similar view when he stated that an understanding of the true nature and structure of the “elementary organism” was crucial to the whole of biology. In this article we have traced the impact of (...) Bütschli's unicellular model of protozoa up to the general acceptance of the eukaryotic cell as nature's primary organism. We have also seen that Bütschli's vision in the Studien gave birth to Protistenforschung and Zellforschung, sister sciences whose task it was to further and integrate knowledge of the living cell. Of necessity, we have confined ourselves to German scientific developments. However, our attempt to recapture and define the unity and meaning of a biology of the “cell-microcosm” has given us pause to reconsider the development and nature of Wilhelmian biological science. (shrink)

The generic ultrafilter${\cal G}_2 $forced by${\cal P}\left/\left$was recently proved to be neither maximum nor minimum in the Tukey order of ultrafilters, but it was left open where exactly in the Tukey order it lies. We prove${\cal G}_2 $that is in fact Tukey minimal over its projected Ramsey ultrafilter. Furthermore, we prove that for each${\cal G}_2 $, the collection of all nonprincipal ultrafilters Tukey reducible to the generic ultrafilter${\cal G}_k $forced by${\cal P}\left/{\rm{Fin}}^{ \otimes k} $forms a chain of lengthk. Essential to (...) the proof is the extraction of a dense subsetεkfrom +which we prove to be a topological Ramsey space. The spacesεk,k≥ 2, form a hierarchy of high dimensional Ellentuck spaces. New Ramsey-classification theorems for equivalence relations on fronts on εkare proved, extending the Pudlák–Rödl Theorem for fronts on the Ellentuck space, which are applied to find the Tukey and Rudin–Keisler structures below${\cal G}_k $. (shrink)

Relative to a hyperstrong cardinal, it is consistent that measure one covering fails relative to HOD. In fact it is consistent that there is a superstrong cardinal and for every regular cardinal κ, κ + is greater than κ + of HOD. The proof uses a very general lemma showing that homogeneity is preserved through certain reverse Easton iterations.

The universal homogeneous triangle-free graph, constructed by Henson [A family of countable homogeneous graphs, Pacific J. Math.38(1) (1971) 69–83] and denoted H3, is the triangle-free analogue of the Rado graph. While the Ramsey theory of the Rado graph has been completely established, beginning with Erdős–Hajnal–Posá [Strong embeddings of graphs into coloured graphs, in Infinite and Finite Sets. Vol.I, eds. A. Hajnal, R. Rado and V. Sós, Colloquia Mathematica Societatis János Bolyai, Vol. 10 (North-Holland, 1973), pp. 585–595] and culminating in work (...) of Sauer [Coloring subgraphs of the Rado graph, Combinatorica26(2) (2006) 231–253] and Laflamme–Sauer–Vuksanovic [Canonical partitions of universal structures, Combinatorica26(2) (2006) 183–205], the Ramsey theory of H3 had only progressed to bounds for vertex colorings [P. Komjáth and V. Rödl, Coloring of universal graphs, Graphs Combin.2(1) (1986) 55–60] and edge colorings [N. Sauer, Edge partitions of the countable triangle free homogenous graph, Discrete Math.185(1–3) (1998) 137–181]. This was due to a lack of broadscale techniques. We solve this problem in general: For each finite triangle-free graph G, there is a finite number T(G) such that for any coloring of all copies of G in H3 into finitely many colors, there is a subgraph of H3 which is again universal homogeneous triangle-free in which the coloring takes no more than T(G) colors. This is the first such result for a homogeneous structure omitting copies of some nontrivial finite structure. The proof entails developments of new broadscale techniques, including a flexible method for constructing trees which code H3 and the development of their Ramsey theory. (shrink)

Aversive autobiographical memories sometimes prompt maladaptive emotional responses and contribute to affective dysfunction in anxiety and depression. One way to regulate the impact of such memories is to create a downward counterfactual thought–a mental simulation of how the event could have been worse–to put what occurred in a more positive light. Despite its intuitive appeal, counterfactual thinking has not been systematically studied for its regulatory efficacy. In the current study, we compared the regulatory impact of downward counterfactual thinking, temporal distancing, (...) and memory rehearsal in 54 adult participants representing a spectrum of trait anxiety. Participants recalled regretful experiences and rated them on valence, arousal, regret, and episodic detail. Two to six days later, they created a downward counterfactual of the remembered event, thought of how they might feel about it 10 years from now, or simply rehearsed it. A day later, participants re-rated the phenomenological characteristics of the events. Across all participants, downward counterfactual thinking, temporal distancing, and memory rehearsal were equally effective at reducing negative affect associated with a memory. However, in individuals with higher trait anxiety, downward counterfactual thinking was more effective than rehearsal for reducing regret, and it was as effective as distancing in reducing arousal. We discuss these results in light of the functional theory of counterfactual thinking and suggest that they motivate further investigation into downward counterfactual thinking as a means to intentionally regulate emotional memories in affective disorders. (shrink)

We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where the resources each agent is prepared to commit to a goal (time, memory and communication bandwidth) are bounded. The framework allows us to investigate, for example, whether a goal can be achieved if a particular agent, perhaps possessing key information or inferential capabilities, is unable (or unwilling) to contribute more than a given portion of its (...) available computational resources or bandwidth to the problem. We present a novel temporal epistemic logic, BMCL-CTL , which allows us to describe a set of reasoning agents with bounds on time, memory and the number of messages they can exchange. The bounds on memory and communication are expressed as axioms in the logic. As an example, we show how to axiomatise a system of agents which reason using resolution and prove that the resulting logic is sound and complete. We then show how to encode a simple system of reasoning agents specified in BMCL-CTL in the description language of the Mocha model checker (Alur et al., Proceedings of the tenth international conference on computer-aided verification (CAV) , 1998), and verify that the agents can achieve a goal only if they are prepared to commit certain time, memory and communication resources. (shrink)

(2013). Open Access Digital Data Sharing: Principles, Policies and Practices☆. Social Epistemology: Vol. 27, No. 1, pp. 47-67. doi: 10.1080/02691728.2012.760663.

This paper argues that there are important irrational elements to love. In the philosophical literature, we typically find that love is either thought of as rational or arational and that any irrational elements are thought to be defective, or extraneous to love itself. We argue, on the contrary, that irrationality is in part connected to what we find valuable about love. -/- We focus on 3 basic elements of love: -/- 1) Whom you love 2) How much you love them (...) 3) How much of a role love plays in your life -/- And in each case, we argue that love can be irrational and valuable. (shrink)

We define bisimulations for temporal logic with Since and Until. This new notion is compared to existing notions of bisimulations, and then used to develop the basic model theory of temporal logic with Since and Until. Our results concern both invariance and definability. We conclude with a brief discussion of the wider applicability of our ideas.

We propose a framework for modelling situated resource-bounded agents. The framework is based on an objective ascription of intentional modalities and can be easily tailored to the system we want to model and the properties we wish to specify. As an elaboration of the framework, we introduce a logic, OBA, for describing the observations, beliefs, goals and actions of simple agents, and show that OBA is complete, decidable and has an efficient model checking procedure, allowing properties of agents specified in (...) OBA to be verified using standard theorem proving or model checking techniques. (shrink)

Local perceptions of protected areas are important for conservation and the sustainability of protected areas. We undertook qualitative and ethnographic fieldwork to explore relationships between people and protected areas in the Blouberg mountain range, South Africa. The history of land use and current relationships with protected areas reveal legacies of marginalisation and immiseration, giving credence to a theory of traumatic nature. The impacts of traumatic nature manifest themselves in local discourses and narratives of nature, protected areas and conservation.

This symposium brings into conversation normative political theory on migration and critical border/migration studies, with a particular focus on digital border control technology. Normative theorists have long been concerned with questions about the extent and nature of control over migration that the state should exercise, and the balance of rights and duties between states and migrants. To date, however, there has been little reflection among such theorists on digital border control technology. Critical border/migration studies scholars, on the other hand, have (...) paid considerable attention to the rapid development of digital technology in the border control/mobility management space, and revealed a range of problems with the technology itself and the ways it is deployed. What has thus far been lacking, however, is sustained ethical reflection on what should be done about the use of this technology. The papers in this symposium thus seek to bring these two groups of scholars together and to prompt what we hope will be a sustained conversation on these rapidly evolving and deeply problematic practices. This introduction contextualises the issue at the heart of this symposium – the rapid expansion of digital border controls and the ethical challenges that these pose – and offers brief summaries of the contributions. (shrink)

Analogues of Ramsey’s Theorem for infinite structures such as the rationals or the Rado graph have been known for some time. In this context, one looks for optimal bounds, called degrees, for the number of colors in an isomorphic substructure rather than one color, as that is often impossible. Such theorems for Henson graphs however remained elusive, due to lack of techniques for handling forbidden cliques. Building on the author’s recent result for the triangle-free Henson graph, we prove that for (...) each [Formula: see text], the k-clique-free Henson graph has finite big Ramsey degrees, the appropriate analogue of Ramsey’s Theorem. We develop a method for coding copies of Henson graphs into a new class of trees, called strong coding trees, and prove Ramsey theorems for these trees which are applied to deduce finite big Ramsey degrees. The approach here provides a general methodology opening further study of big Ramsey degrees for ultrahomogeneous structures. The results have bearing on topological dynamics via work of Kechris, Pestov, and Todorcevic and of Zucker. (shrink)

Global co-stationarity of the ground model from an N₂-c.c, forcing which adds a new subset of N₁ is internally consistent relative to an ω₁-Erdös hyperstrong cardinal and a sufficiently large measurable above.

This text responds to the review forum on The Life and Death of States featuring Clara Maier, Kathryn Ciancia, Charles Maier, and Nathaniel Berman. It considers the place of Central Europe and the Habsburg Empire in our geographies of the modern world. Rather than hopelessly hamstrung by backwardness, the empire and its subjects were, in Clara Maier’s words, “simply struggling more insistently than complacent Westerners with the perplexities of the modern condition.” The text also considers questions of the post-colonial and (...) the post-imperial, literary genre, and the relationship between conceptual clarity and political legitimacy. (shrink)