Results 1  10
of
38
A Model In Which GCH Holds At Successors But Fails At Limits
 Transactions of the American Mathematical Society
, 1992
"... . Starting with GCH and a P3hypermeasurable cardinal, a model is produced in which 2 = + if is a successor cardinal and 2 = ++ if is a limit cardinal. The proof uses a Reverse Easton extension followed by a modified Radin forcing. 1. INTRODUCTION 1. Historical remarks and statement o ..."
Abstract

Cited by 18 (5 self)
 Add to MetaCart
. Starting with GCH and a P3hypermeasurable cardinal, a model is produced in which 2 = + if is a successor cardinal and 2 = ++ if is a limit cardinal. The proof uses a Reverse Easton extension followed by a modified Radin forcing. 1. INTRODUCTION 1. Historical remarks and statement of the main result. The continuum problem is an old one, dating back to Cantor and his statement of the Continuum Hypothesis in [Ca]. Put in a modern form which might have puzzled Cantor, the problem is to determine which behaviours of the continuum function 7\Gamma! 2 are consistent with ZFC. Throughout this paper ZFC will be the base set theory, though as we see below strong settheoretic hypotheses will play an essential role in the result. Before Godel progress on the continuum problem was made by the descriptive set theorists, who showed that certain easily definable sets of reals could not be counterexamples to CH. Godel [G] took the major step forward of showing that in a certain ...
Square in core models
 Bull. Symbolic Logic
, 2001
"... Abstract. Our main results are: 1) every countably certified extender that coheres with the core model K is on the extender sequence of K, 2)Kcomputes successors of weakly compact cardinals correctly, 3) every model on the maximal 1small construction is an iterate of K, 4) (joint with W. J. Mitchel ..."
Abstract

Cited by 18 (3 self)
 Add to MetaCart
Abstract. Our main results are: 1) every countably certified extender that coheres with the core model K is on the extender sequence of K, 2)Kcomputes successors of weakly compact cardinals correctly, 3) every model on the maximal 1small construction is an iterate of K, 4) (joint with W. J. Mitchell) K�κ is universal for mice of height ≤ κ whenever κ ≥ℵ2,5)ifthereisaκ such that κ is either a singular countably closed cardinal or a weakly compact cardinal, and � <ω κ fails, then there are inner models with Woodin cardinals, and 6) an ωErdös cardinal suffices to develop the basic theory of K. 1.
Combinatorial principles in the core model for one Woodin cardinal
 ANNALS OF PURE AND APPLIED LOGIC
, 1995
"... ..."
Cardinal arithmetic for skeptics
 Bull. Amer. Math. Soc. New Series
, 1992
"... When modern set theory is applied to conventional mathematical problems, it has a disconcerting tendency to produce independence results rather than theorems in the usual sense. The resulting preoccupation with “consistency ” rather than “truth ” may be felt to give the subject an air of unreality. ..."
Abstract

Cited by 12 (5 self)
 Add to MetaCart
When modern set theory is applied to conventional mathematical problems, it has a disconcerting tendency to produce independence results rather than theorems in the usual sense. The resulting preoccupation with “consistency ” rather than “truth ” may be felt to give the subject an air of unreality. Even elementary questions about the basic arithmetical operations of exponentiation in the context of infinite cardinalities, like the value of 2 ℵ0, cannot be settled on the basis of the usual axioms of set theory (ZFC). Although much can be said in favor of such independence results, rather than undertaking to challenge such prejudices, we have a more modest goal; we wish to point out an area of contemporary set theory in which theorems are abundant, although the conventional wisdom views the subject as dominated by independence results, namely, cardinal arithmetic. To see the subject in this light it will be necessary to carry out a substantial shift in our point of view. To make a very rough analogy with another generalization of ordinary arithmetic, the natural response to the loss of unique factorization caused
The core model for almost linear iterations
 Annals of Pure and Appl. Logic 116 (2002
"... We introduce 0 • (“zero handgrenade”) as a sharp for an inner model with a proper class of strong cardinals. We prove the existence of the core model K in the theory “ZFC + 0 • doesn’t exist. ” Combined with work of Woodin, Steel, and earlier work of the author, this provides the last step for de ..."
Abstract

Cited by 7 (4 self)
 Add to MetaCart
We introduce 0 • (“zero handgrenade”) as a sharp for an inner model with a proper class of strong cardinals. We prove the existence of the core model K in the theory “ZFC + 0 • doesn’t exist. ” Combined with work of Woodin, Steel, and earlier work of the author, this provides the last step for determining the exact consistency strength of the assumption in the statement of the 12th Delfino problem (cf. [12]). 0 Introduction. Core models were constructed in the papers [2], [13], [7], [15] and [16], [8] (see also [23]), [27], and [28]. We refer the reader to [6], [17], and [14] for less painful introductions into core model theory. A core model is intended to be an inner model of set theory (that is, a transitive
EVERY COTORSIONFREE RING IS AN Endomorphism Ring
, 1980
"... Some years ago A. L. S. Corner proved that every countable and cotorsionfree ring can be realized as the endomorphism ring of some torsionfree abelian group. This result has many interesting consequences for abelian groups. Using a settheoretic axiom Vk., which follows for instance from V = L, we ..."
Abstract

Cited by 7 (4 self)
 Add to MetaCart
Some years ago A. L. S. Corner proved that every countable and cotorsionfree ring can be realized as the endomorphism ring of some torsionfree abelian group. This result has many interesting consequences for abelian groups. Using a settheoretic axiom Vk., which follows for instance from V = L, we can drop the countability condition in Corner's theorem.
Choice principles in constructive and classical set theories
 POHLERS (EDS.): PROCEEDINGS OF THE LOGIC COLLOQUIUM 2002
, 2002
"... The objective of this paper is to assay several forms of the axiom of choice that have been deemed constructive. In addition to their deductive relationships, the paper will be concerned with metamathematical properties effected by these choice principles and also with some of their classical models ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
The objective of this paper is to assay several forms of the axiom of choice that have been deemed constructive. In addition to their deductive relationships, the paper will be concerned with metamathematical properties effected by these choice principles and also with some of their classical models.
On the singular cardinal hypothesis
 Trans. Amer. Math. Soc
, 1992
"... The Singular Cardinal Hypothesis (SCH) asserts that if κ is any singular strong limit cardinal then 2 κ = κ +. It is known to be consistent that the SCH fails: Prikry [Pr] obtains a model of ¬SCH from a model in which the GCH fails at a measurable cardinal κ, and Silver in turn (see [KM]) obtains th ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
The Singular Cardinal Hypothesis (SCH) asserts that if κ is any singular strong limit cardinal then 2 κ = κ +. It is known to be consistent that the SCH fails: Prikry [Pr] obtains a model of ¬SCH from a model in which the GCH fails at a measurable cardinal κ, and Silver in turn (see [KM]) obtains the failure of the GCH at a
Large Cardinal Properties of Small Cardinals
 In Set theory (Curacao
, 1998
"... Introduction The fact that small cardinals (for example @ 1 and @ 2 ) can consistently have properties similar to those of large cardinals (for example measurable or supercompact cardinals) is a recurring theme in set theory. In these notes I discuss three examples of this phenomenon; stationary re ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
Introduction The fact that small cardinals (for example @ 1 and @ 2 ) can consistently have properties similar to those of large cardinals (for example measurable or supercompact cardinals) is a recurring theme in set theory. In these notes I discuss three examples of this phenomenon; stationary reflection, saturated ideals and the tree property. These notes represent approximately the contents of a series of expository lectures given during the Set Theory meeting at CRM Barcelona in June 1996. None of the results discussed here is due to me unless I say so explicitly. I would like to express my thanks to Joan Bagaria and Adrian Mathias for organising a very enjoyable meeting. 1 2 Large cardinals and elementary embeddings We begin by reviewing the formulation of large cardinal properties in terms of elementary embeddings. See [40], [22] or [21] for more on this topic. We will write "j : V<F14.4
Singular Cardinals And The PCF Theory
 Bull. Symbolic Logic
, 1995
"... this paper we present a brief history of the singular cardinals problem, the present knowledge, and an introduction into Shelah's pcf theory. In Sections 2, 3 and 4 we introduce the reader to cardinal arithmetic and to the singular cardinals problems. Sections 5, 6, 7 and 8 describe the main results ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
this paper we present a brief history of the singular cardinals problem, the present knowledge, and an introduction into Shelah's pcf theory. In Sections 2, 3 and 4 we introduce the reader to cardinal arithmetic and to the singular cardinals problems. Sections 5, 6, 7 and 8 describe the main results and methods of the last 25 years and explain the role of large cardinals in the singular cardinals problem. In Section 9 we present an outline of the pcf theory.