In this paper we consider whether L(R) has “enough information” to contain a counterexample to the continuum hypothesis. We believe this question provides deep insight into the difficulties surrounding the continuum hypothesis. We show sufficient conditions for L(R) not to contain such a counterexample. Along the way we establish many results about nonstationary towers, non-reflecting stationary sets, generalizations of proper and semiproper forcing and Chang's conjecture.

This paper attempts to present and organize several problems in the theory of Singular Cardinals. The most famous problems in the area (bounds for the ℶ-function at singular cardinals) are well known to all mathematicians with even a rudimentary interest in set theory. However, it is less well known that the combinatorics of singular cardinals is a thriving area with results and problems that do not depend on a solution of the Singular Cardinals Hypothesis. We present here an annotated collection (...) of representative problems with some references. Where the problems are novel, attribution is attempted and it is noted where money is attached to particular problems. Three closely related themes are represented in these problems: stationary sets and stationary set reflection, variations of square and approachability, and the singular cardinals hypothesis. Underlying many of them are ideas from Shelah's PCF theory. Important subthemes were mutual stationarity, Aronszajn trees, and superatomic Boolean Algebras. The author notes considerable overlap between this paper and the unpublished report submitted to the Banff Center for the Workshop on Singular Cardinals Combinatorics, May 1–5, 2004. (shrink)

It is shown in this paper that it is consistent (relative to almost huge cardinals) for various club guessing ideals to be saturated.

Since the work of Gödel and Cohen, which showed that Hilbert's First Problem was independent of the usual assumptions of mathematics, there have been a myriad of independence results in many areas of mathematics. These results have led to the systematic study of several combinatorial principles that have proven effective at settling many of the important independent statements. Among the most prominent of these are the principles diamond and square discovered by Jensen. Simultaneously, attempts have been made to find suitable (...) natural strengthenings of ZFC, primarily by Large Cardinal or Reflection Axioms. These two directions have tension between them in that Jensen's principles, which tend to suggest a rather rigid mathematical universe, are at odds with reflection properties. A third development was the discovery by Shelah of "PCF Theory", a generalization of cardinal arithmetic that is largely determined inside ZFC. In this paper we consider interactions between these three theories in the context of singular cardinals, focusing on the various implications between square and scales, and on consistency results between relatively strong forms of square and stationary set reflection. (shrink)

In 1932, von Neumann proposed classifying the statistical behavior of differentiable systems. Joint work of B. Weiss and the author proved that the classification problem is complete analytic. Based on techniques in that proof, one is able to show that the collection of recursive diffeomorphisms of the 2-torus that are isomorphic to their inverses is $\Pi ^0_1$-hard via a computable 1-1 reduction. As a corollary there is a diffeomorphism that is isomorphic to its inverse if and only if the Riemann (...) Hypothesis holds, a different one that is isomorphic to its inverse if and only if Goldbach’s conjecture holds and so forth. Applying the reduction to the $\Pi ^0_1$-sentence expressing “ZFC is consistent” gives a diffeomorphism T of the 2-torus such that the question of whether $T\cong T^{-1}$ is independent of ZFC. (shrink)

If ω n has the tree property for all $2 \leq n and $2^{ , then for all X ∈ H ℵ ω and $n exists.

Since the work of Gödel and Cohen, which showed that Hilbert's First Problem was independent of the usual assumptions of mathematics, there have been a myriad of independence results in many areas of mathematics. These results have led to the systematic study of several combinatorial principles that have proven effective at settling many of the important independent statements. Among the most prominent of these are the principles diamond and square discovered by Jensen. Simultaneously, attempts have been made to find suitable (...) natural strengthenings of ZFC, primarily by Large Cardinal or Reflection Axioms. These two directions have tension between them in that Jensen's principles, which tend to suggest a rather rigid mathematical universe, are at odds with reflection properties. A third development was the discovery by Shelah of "PCF Theory", a generalization of cardinal arithmetic that is largely determined inside ZFC. In this paper we consider interactions between these three theories in the context of singular cardinals, focusing on the various implications between square and scales, and on consistency results between relatively strong forms of square and stationary set reflection. (shrink)

We introduce a natural principleStrong Chang Reflectionstrengthening the classical Chang Conjectures. This principle is between a huge and a two huge cardinal in consistency strength. In this note we prove that it implies the existence of an inner model with a huge cardinal. The technique we explore for building inner models with huge cardinals adapts to show thatdecisiveideals imply the existence of inner models with supercompact cardinals. Proofs for all of these claims can be found in [10].1,2.

This paper has two parts. The first is concerned with a variant of a family of games introduced by Holy and Schlicht, that we call Welch games. Player II having a winning strategy in the Welch game of length [Formula: see text] on [Formula: see text] is equivalent to weak compactness. Winning the game of length [Formula: see text] is equivalent to [Formula: see text] being measurable. We show that for games of intermediate length [Formula: see text], II winning implies (...) the existence of precipitous ideals with [Formula: see text]-closed, [Formula: see text]-dense trees. The second part shows the first is not vacuous. For each [Formula: see text] between [Formula: see text] and [Formula: see text], it gives a model where II wins the games of length [Formula: see text], but not [Formula: see text]. The technique also gives models where for all [Formula: see text] there are [Formula: see text]-complete, normal, [Formula: see text]-distributive ideals having dense sets that are [Formula: see text]-closed, but not [Formula: see text]-closed. (shrink)

If $\omega_n$ has the tree property for all $2 \leq n < \omega$ and $2^{<\aleph_{\omega}} = \aleph_{\omega}$, then for all $X \in H_{\aleph_{\omega}}$ and $n < \omega, M^#_n$ exists.

We prove a number of consistency results complementary to the ZFC results from our paper [J. Cummings, M. Foreman, M. Magidor, Canonical structure in the universe of set theory: part one, Annals of Pure and Applied Logic 129 211–243]. We produce examples of non-tightly stationary mutually stationary sequences, sequences of cardinals on which every sequence of sets is mutually stationary, and mutually stationary sequences not concentrating on a fixed cofinality. We also give an alternative proof for the consistency of (...) the existence of stationarily many non-good points, show that diagonal Prikry forcing preserves certain stationary reflection properties, and study the relationship between some simultaneous reflection principles. Finally we show that the least cardinal where square fails can be the least inaccessible, and show that weak square is incompatible in a strong sense with generic supercompactness. (shrink)

We start by studying the relationship between two invariants isolated by Shelah, the sets of good and approachable points. As part of our study of these invariants, we prove a form of “singular cardinal compactness” for Jensen's square principle. We then study the relationship between internally approachable and tight structures, which parallels to a certain extent the relationship between good and approachable points. In particular we characterise the tight structures in terms of PCF theory and use our characterisation to prove (...) some covering results for tight structures, along with some results on tightness and stationary reflection. Finally, we prove some absoluteness theorems in PCF theory, deduce a covering theorem, and apply that theorem to the study of precipitous ideals. (shrink)

Postcolonial science studies entails ostensibly contradictory critical and empirical commitments. Science studies scholars influenced by Bruno Latour and Isabelle Stengers embrace forms of realist, radical empiricism, while postcolonial studies scholars influenced by Jacques Derrida trace the limits of the knowable. This essay takes their common use of the term cosmopolitics as an unexpected point of departure for reconciling Derrida’s program with Stengers’s and Latour’s. I read Derrida’s critique of hospitality and Stengers’s and Latour’s ontological politics as necessary complements for conceiving (...) a care-oriented subalternist cosmopolitics, a process of composing common worlds that remains attentive to the limits of representation. (shrink)

Suppose we consider knowledge to be valuable because of the role known propositions play in practical reasoning. This, I argue, does not provide a reason to think that knowledge is valuable in itself. Rather, it provides a reason to think that true belief is valuable from one standpoint, and that justified belief is valuable from another standpoint, and similarly for other epistemic concepts. The value of the concept of knowledge is that it provides an economical way of talking about many (...) epistemic concepts that are valuable in itself from one standpoint or another. In this way knowledge is like a Swiss Army Knife; a Swiss Army Knife is not useful as such on any occasion, but it provides an efficient way of carrying around different tools that are useful in themselves on different occasions. (shrink)

On the one hand, Hume accepts the view -- which he attributes primarily to Stoicism -- that there exists a determinate best and happiest life for human beings, a way of life led by a figure whom Hume calls "the true philosopher." On the other hand, Hume accepts that view -- which he attributes to Scepticism -- that there exists a vast plurality of good and happy lives, each potentially equally choiceworthy. In this paper, I reconcile Hume's apparently conflicting commitments: (...) I argue that Hume's "Sceptical" pluralism about the character of the happiest life need not conflict with his "Stoic" advocacy of the supreme happiness of the true philosopher, given Hume's flexible understanding of how one might live as a true philosopher. (shrink)

In Nicomachean Ethics X.7–8, Aristotle defends a striking view about the good for human beings. According to Aristotle, the single happiest way of life is organized around philosophical contemplation. According to the narrowness worry, however, Aristotle's contemplative ideal is unduly Procrustean, restrictive, inflexible, and oblivious of human diversity. In this paper, I argue that Aristotle has resources for responding to the narrowness worry, and that his contemplative ideal can take due account of human diversity.

In Plato’s Symposium, the mysterious Apollodorus recounts to an unnamed comrade, and to us, Aristodemus’ story of just what happened at Agathon’s drinking party. Since Apollodorus did not attend the party, however, it is unclear what relevance he could have to our understanding of Socrates’ speech, or to the Alcibiadean “satyr and silenic drama” (222d) that follows. The strangeness of Apollodorus is accentuated by his recession into the background after only two Stephanus pages. What difference—if any—does Apollodorus make to the (...) Symposium? Does his inclusion call the dramatic and philosophical unity of the work into question? I argue that despite initial appearances, Plato has important philosophical reasons for including Apollodorus as a character. Far from being an odd appendage to an otherwise complete narrative, the figure of Apollodorus is useful for our understanding of Socrates’s conception of eros later in the work. (shrink)

The impressive variation amongst biological individuals generates many complexities in addressing the simple-sounding question what is a biological individual? A distinction between evolutionary and physiological individuals is useful in thinking about biological individuals, as is attention to the kinds of groups, such as superorganisms and species, that have sometimes been thought of as biological individuals. More fully understanding the conceptual space that biological individuals occupy also involves considering a range of other concepts, such as life, reproduction, and agency. There has (...) been a focus in some recent discussions by both philosophers and biologists on how evolutionary individuals are created and regulated, as well as continuing work on the evolution of individuality. (shrink)