We prove consistent, assuming there is a supercompact cardinal, that there is a singular strong limit cardinalμ, of cofinalityω, such that everyμ+-chromatic graphXonμ+has an edge colouringcofXintoμcolours for which every vertex colouringgofXinto at mostμmany colours has ag-colour class on whichctakes every value.The paper also contains some generalisations of the above statement in whichμ+is replaced by other cardinals >μ.

We show the relative consistency of ℵ1 satisfying a combinatorial property considered by David Fremlin (in the question DU from his list) in certain choiceless inner models. This is demonstrated by first proving the property is true for Ramsey cardinals. In contrast, we show that in ZFC, no cardinal of uncountable cofinality can satisfy a similar, stronger property. The questions considered by D. H. Fremlin are if families of finite subsets of ω1 satisfying a certain density condition necessarily contain all (...) finite subsets of an infinite subset of ω1, and specifically if this and a stronger property hold under MA + ¬CH. Towards this we show that if MA + ¬CH holds, then for every family ? of ℵ1 many infinite subsets of ω1, one can find a family ? of finite subsets of ω1 which is dense in Fremlins sense, and does not contain all finite subsets of any set in ?.We then pose some open problems related to the question. (shrink)

L’étude traite de différentes catégories de signatures (et/ou de noms d’auteurs) et de leur fonctionnement dans l’écriture de l’histoire. L’histoire est une écriture dialogique au sens où elle s’appuie sur les écrits d’autres spécialistes, mais aussi sur une matérialité documentaire signée par des acteurs de l’histoire. En se référant à la parole d’autrui, l’historien valide son propre travail. Le principal indice de ce dialogue est le nom propre d’auteur associé à un propos qui représente pour l’historien une référence. L’étude met (...) en évidence l’aptitude des noms d’auteur à recevoir une corporalité et/ou une voix. La thèse est la suivante: dès que le lecteur peut attribuer un corps et un certain renom à une signature, celle-ci peut être utilisée comme instrument de la preuve. Une attention particulière est portée aux signataires inconnus, aux noms des rédacteurs de «témoignages». Au centre de notre intérêt se trouvent les «ajouts» des historiens (titres, annotations, notes en bas de page, etc.) qui introduisent sur la scène académique les propos des «auteurs inconnus». Des ajouts accompagnant une carte postale, représentée dans l’ouvrage Lettres de Drancy, sont analysés de près. (shrink)

This paper arose out of the 2017 international conference on AI and law doctoral consortium. There were five students who presented their Ph.D. work, and each of them has contributed a section to this paper. The paper offers a view of what topics are currently engaging students, and shows the diversity of their interests and influences.

In a recent paper, Cayirlioglu et al. report that the disruption of a specific miRNA, miR‐279, which normally acts to inhibit the transcription factor Nerfin‐1, uncovers a population of hybrid CO2 neurons in the Drosophila maxillary palp.1 Normally, fruit fly CO2 neurons are found only in the antennae, while mosquito CO2 neurons are found only in the maxillary palps. The hybrid neurons in this miRNA mutant may, thus, recapitulate an evolutionary intermediate unseen since the divergence of these two (...) dipteran lineages over 250 million years ago. BioEssays 30:621–623, 2008. © 2008 Wiley Periodicals, Inc. (shrink)

If validated, diet‐derived foreign microRNA absorption and function in consuming vertebrates would drastically alter our understanding of nutrition and ecology. RNA interference (RNAi) mechanisms of Caenorhabditis elegans are enhanced by uptake of environmental RNA and amplification and systemic distribution of RNAi effectors. Therapeutic exploitation of RNAi in treating human disease is difficult because these accessory processes are absent or diminished in most animals. A recent report challenged multiple paradigms, suggesting that ingested microRNAs (miRNAs) are transferred to blood, accumulate in tissues, (...) and exert canonical regulation of endogenous transcripts. Independent replication of these findings has been elusive, and multiple disconfirmatory findings have been published. In the face of mounting negative results, any additional positive reports must provide the proverbial “extraordinary proof” to support such claims. In this article, we review the evidence for and against a significant role for dietary miRNAs in influencing gene expression, and make recommendations for future studies.Also watch the Video Abstract. (shrink)

While it has often been assumed that, in humans, synonymous mutations would have no effect on fitness, let alone cause disease, this position has been questioned over the last decade. There is now considerable evidence that such mutations can, for example, disrupt splicing and interfere with miRNA binding. Two recent publications suggest involvement of additional mechanisms: modification of protein abundance most probably mediated by alteration in mRNA stability1 and modification of protein structure and activity,2 probably mediated by induction of (...) translational pausing. These case histories put a further nail into the coffin of the assumption that synonymous mutations must be neutral. BioEssays 29:515–519, 2007. © 2007 Wiley Periodicals, Inc. (shrink)

Dentre todas as possibilidades de ação feminista, há a militância em espaço público e a prática em apoio às mulheres, bem como a levada de consciência sobre pautas feministas para as mulheres, tanto no âmbito privado como no público. Esta era a abordagem de Andrea Dworkin, que proferia discursos em marchas e levava suas próprias experiências para o âmbito da escrita, sua prática profissional. A mesma abordagem era utilizada por Suzanne Lacy, artista contemporânea que, através de instalações urbanas, realizava suas (...) ações de militância combinada à arte. Este trabalho visa traçar parâmetros comuns entre estas duas mulheres, focando em suas pautas e na reverberação de seus trabalhos um em relação ao outro, bem como na sociedade.Palavras-chave: Público. Arte Contemporânea. Feminismo. AbstractAmongst all possibilities of feminist action there’s the militant strategy: to take the word of action into the public space, to act in women’s aid, to talk to your target audience and bring your discourse to the people. That was Andrea Dworkin’s strategy, who would bring her speeches into women’s marches and take her experience into her writing, which was her profession. The same strategy was taken by Suzanne Lacy, contemporary artist who focuses on urban installations to mix political and artistic action. This paper correlates these two authors, focusing on their preferred subjects and how their works reverberated together and in society.Keywords: Public. Contemporary Art. Feminism. (shrink)

We survey the use of club guessing and other PCF constructs in the context of showing that a given partially ordered class of objects does not have a largest, or a universal, element.

A substantial guide providing an overview of both physicalism and metaphysical naturalism, reviewing both questions of formulation and justification for both doctrines. Includes a diagnostic strategy for understanding talk of naturalism as a metaphysical thesis.

This paper investigates a connection between the semantic notion provided by the ordering * among theories in model theory and the syntactic SOPn hierarchy of Shelah. It introduces two properties which are natural extensions of this hierarchy, called SOP2 and SOP1. It is shown here that SOP3 implies SOP2 implies SOP1. In Shelah's article 229) it was shown that SOP3 implies *-maximality and we prove here that *-maximality in a model of GCH implies a property called SOP2″. It has been (...) subsequently shown by Shelah and Usvyatsov that SOP2″ and SOP2 are equivalent, so obtaining an implication between *-maximality and SOP2. It is not known if SOP2 and SOP3 are equivalent. Together with the known results about the connection between the SOPn hierarchy and the existence of universal models in the absence of GCH, the paper provides a step toward the classification of unstable theories without the strict order property. (shrink)

C/D box snoRNAs (SNORDs) are an abundantly expressed class of short, non‐coding RNAs that have been long known to perform 2′‐O‐methylation of rRNAs. However, approximately half of human SNORDs have no predictable rRNA targets, and numerous SNORDs have been associated with diseases that show no defects in rRNAs, among them Prader‐Willi syndrome, Duplication 15q syndrome and cancer. This apparent discrepancy has been addressed by recent studies showing that SNORDs can act to regulate pre‐mRNA alternative splicing, mRNA abundance, activate enzymes, and (...) be processed into shorter ncRNAs resembling miRNAs and piRNAs. Furthermore, recent biochemical studies have shown that a given SNORD can form both methylating and non‐methylating ribonucleoprotein complexes, providing an indication of the likely physical basis for such diverse new functions. Thus, SNORDs are more structurally and functionally diverse than previously thought, and their role in gene expression is under‐appreciated. The action of SNORDs in non‐methylating complexes can be substituted with oligonucleotides, allowing devising therapies for diseases like Prader‐Willi syndrome. (shrink)

The paper is concerned with the existence of a universal graph at the successor of a strong limit singular μ of cofinality ℵ0. Starting from the assumption of the existence of a supercompact cardinal, a model is built in which for some such μ there are $\mu^{++}$ graphs on μ+ that taken jointly are universal for the graphs on μ+, while $2^{\mu^+} \gg \mu^{++}$ . The paper also addresses the general problem of obtaining a framework for consistency results at the (...) successor of a singular strong limit starting from the assumption that a supercompact cardinal κ exists. The result on the existence of universal graphs is obtained as a specific application of a more general method. (shrink)

Inside What Would Plato Do?, you'll find the basics of philosophy, written in an easy, digestible way we can all understand, along with questions to help you apply these important theories to your own life. So, after you've learned about a philosophical concept, you'll then be challenged to test yourself and see how the results can impact your daily life. For instance, after learning about Kant's theory of morality and the importance of intention you're challenged with questions like: Can good (...) people do bad things? Was there a time when you intended to do something helpful that ended up being hurtful? Does that make you a good person (because you intended to do good) or a bad person (because the results were bad)? What Would Plato Do? will not only help you better understand some of the greatest thinkers ever but will also help you think of the world around you in a whole new way! (shrink)

If κ is any strongly unfoldable cardinal, then this is preserved in a forcing extension in which κ fails. This result continues the progression of the corresponding results for weakly compact cardinals, due to Woodin, and for indescribable cardinals, due to Hauser.

Ne vers 1180 a Aurillac, mort le 30 mars 1249, Guillaume d'Auvergne est nomme eveque de Paris des 1228. Son oeuvre est contemporaine de la querelle de l'aristotelisme qui gagne la faculte de theologie, et du bouleversement de l'histoire theorique qui l'accompagne. Quelle est la cause efficiente de la pensee? D'ou vient l'intelligible necessairement present dans l'ame qui pense? C'est a cela que repondent les neuf premieres parties du chapitre sept du De anima, ecrit vers 1240. La noetique de Guillaume (...) d'Auvergne, complexe, s'y deploie et sensiblement se demarque de l' augustinisme avicennisant qui traditionnellement la caracterise. L'ame, dans son rapport au sensible, est principium agens, lectrice, en tant qu'elle pense, d'un livre dont elle-meme est l'auteur, et dont la verite se passe en partie de l'illumination divine. (shrink)

Suppose that λ=λ <λ ≥ℵ0, and we are considering a theory T. We give a criterion on T which is sufficient for the consistent existence of λ++ universal models of T of size λ+ for models of T of size ≤λ+, and is meaningful when 2λ +>λ++. In fact, we work more generally with abstract elementary classes. The criterion for the consistent existence of universals applies to various well known theories, such as triangle-free graphs and simple theories. Having in mind (...) possible applications in analysis, we further observe that for such λ, for any fixed μ>λ+ regular with μ=μλ+, it is consistent that 2λ=μ and there is no normed vector space over ℚ of size <μ which is universal for normed vector spaces over ℚ of dimension λ+ under the notion of embedding h which specifies (a,b) such that ||h(x)/||x∈(a,b) for all x. (shrink)

We are immersed within an odorous sea of chemical currents that we parse into individual odors with complex structures. Odors have been posited as determined by the structural relation between the molecules that compose the chemical compounds and their interactions with the receptor site. But, naturally occurring smells are parsed from gaseous odor plumes. To give a comprehensive account of the nature of odors the chemosciences must account for these large distributed entities as well. We offer a focused review of (...) what is known about the perception of odor plumes for olfactory navigation and tracking, which we then connect to what is known about the role odorants play as properties of the plume in determining odor identity with respect to odor quality. We end by motivating our central claim that more research needs to be conducted on the role that odorants play within the odor plume in determining odor identity. (shrink)

Suppose that λ is the successor of a singular cardinal μ whose cofinality is an uncountable cardinal κ. We give a sufficient condition that the club filter of λ concentrating on the points of cofinality κ is not λ+-saturated.1 The condition is phrased in terms of a notion that we call weak reflection. We discuss various properties of weak reflection. We introduce a weak version of the ♣-principle, which we call ♣*−, and show that if it holds on a stationary (...) subset S of λ, then no normal filter on S is λ+-saturated. Under the above assumptions, ♣*− is true for any stationary subset S of λ which does not contain points of cofinality κ. For stationary sets S which concentrate on points of cofinality κ, we show that ♣*− holds modulo an ideal obtained through the weak reflection. (shrink)

We perceive smells as perduring complex entities within a distal array that might be conceived of as smellscapes. However, the philosophical orthodoxy of Odor Theories has been to deny that smells are perceived as having a distal location. Recent challenges have been mounted to Odor Theories’ veracity in handling the timescale of olfactory perception, how it individuates odors as a distal entities, and their claim that olfactory perception is not spatial. The paper does not aim to dispute these criticisms. Rather, (...) what will be shown is that Molecular Structure Theory, a refinement of Odor Theory, can be further developed to handle these challenges. The theory is further refined by focusing on distal perception that requires considering the perceptual object as mereologically complex persisting odor against a background scene conceived of as a smellscape. What will be offered is an expansion of Molecular Structure Theory to account for distal smell perception within natural environments. (shrink)

This book, published in 2019 as an open-access edition of the Fordham University Press, attracts by its title. Imagination, as we mathematicians know only too w.

We consider various versions of the ♣ principle. This principle is a known consequence of $\lozenge$ . It is well known that $\lozenge$ is not sensitive to minor changes in its definition, e.g., changing the guessing requirement form "guessing exactly" to "guessing modulo a finite set". We show however, that this is not true for ♣. We consider some other variants of ♣ as well.

This is a book grounded in the real ethical challenges of modern business practice, with a world-religious perspective so necessary in an era of globalization.

The status of independent statements is the main problem in the philosophy of set theory. We address this problem by presenting the perspective of a practising set theorist. We thus give an authentic insight in the current state of thinking in set-theoretic practice, which is to a large extent determined by independence results. During several meetings, the second author asked the first author about the development of forcing, the use of new axioms and set-theoretic intuition on independence. Parts of these (...) conversations are directly presented in this article. They are supplemented by important mathematical results as well as discussion sections. Finally, we present three hypotheses about set-theoretic practice: First, that most set theorists were surprised by the introduction of the forcing method. Second, that most set theorists think that forcing is a natural part of contemporary set theory. Third, that most set theorists prefer an answer to a problem with the help of a new axiom of lowest possible consistency strength, and that for most set theorists, a difference in consistency strength weighs much more than the difference between Forcing Axiom and Large Cardinal Axiom. (shrink)

We introduce the oak property of first order theories, which is a syntactical condition that we show to be sufficient for a theory not to have universal models in cardinality λ when certain cardinal arithmetic assumptions about λ implying the failure of GCH hold. We give two examples of theories that have the oak property and show that none of these examples satisfy SOP4, not even SOP3. This is related to the question of the connection of the property SOP4 to (...) non-universality, as was raised by the earlier work of Shelah. One of our examples is the theory for which non-universality results similar to the ones we obtain are already known; hence we may view our results as an abstraction of the known results from a concrete theory to a class of theories. We show that no theory with the oak property is simple. (shrink)

We prove consistent, assuming there is a supercompact cardinal, that there is a singular strong limit cardinal $\mu$ , of cofinality $\omega$ , such that every $\mu^{+}$ -chromatic graph X on $\mu^{+}$ has an edge colouring c of X into $\mu$ colours for which every vertex colouring g of X into at most $\mu$ many colours has a g-colour class on which c takes every value. The paper also contains some generalisations of the above statement in which $\mu^{+}$ is replaced (...) by other cardinals < $\mu$. (shrink)

Let κ be a singular cardinal. Karp's notion of a chain model of size κ is defined to be an ordinary model of size κ along with a decomposition of it into an increasing union of length cf. With a notion of satisfaction and -isomorphism such models give an infinitary logic largely mimicking first order logic. In this paper we associate to this logic a notion of a dynamic EF-game which gauges when two chain models are chain-isomorphic. To this game (...) is associated a tree which is a tree of size κ with no κ-branches -branches). The measure of how non-isomorphic the models are is reflected by a certain order on these trees, called reduction. We study the collection of trees of size κ with no κ-branches under this notion and prove that when cf = ω this collection is rather regular; in particular it has universality number exactly κ+. Such trees are then used to develop a descriptive set theory of the space cf κ. The main result of the paper gives in the case of κ strong limit singular an exact connection between the descriptive set-theoretic complexity of the chain isomorphism orbit of a model, the reduction order on the trees and winning strategies in the corresponding dynamic EF games. In particular we obtain a neat analog of the notion of Scott watershed from the Scott analysis of countable models. (shrink)

A wide Aronszajn tree is a tree of size and height $\omega _{1}$ with no uncountable branches. We prove that under $MA$ there is no wide Aronszajn tree which is universal under weak embeddings. This solves an open question of Mekler and Väänänen from 1994. We also prove that under $MA$, every wide Aronszajn tree weakly embeds in an Aronszajn tree, which combined with a result of Todorčević from 2007, gives that under $MA$ every wide Aronszajn tree embeds into a (...) Lipschitz tree or a coherent tree. We also prove that under $MA$ there is no wide Aronszajn tree which weakly embeds all Aronszajn trees, improving the result in the first paragraph as well as a result of Todorčević from 2007 who proved that under $MA$ there are no universal Aronszajn trees. (shrink)

We investigate strictly positive finitely additive measures on Boolean algebras and strictly positive Radon measures on compact zerodimensional spaces. The motivation is to find a combinatorial characterisation of Boolean algebras which carry a strictly positive finitely additive finite measure with some additional properties, such as separability or nonatomicity. A possible consistent characterisation for an algebra to carry a separable separable positive measure was suggested by Talagrand in 1980, which is that the Stone space K of the algebra satisfies that its (...) space M(K) of measures is weakly separable, equivalently that C(K) embeds into l∞. We show that there is a ZFC example of a Boolean algebra (so of a compact space) which satisfies this condition and does not support a separable strictly positive measure. However, we use this property as a tool in a proof which shows that under MA+⇁ CH every atomless ccc Boolean algebra of size < c carries a nonatomic strictly positive measure. Examples are given to show that this result does not hold in ZFC. Finally, we obtain a characterisation of Boolean algebras that carry a strictly positive nonatomic measure in terms of a chain condition, and we draw the conclusion that under MA+⇁ CH every atomless ccc Boolean algebra satisfies this stronger chain condition. (shrink)