BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We investigate the possibilities of global versions of Chang's Conjecture that involve singular cardinals. We show some ZFC limitations on such principles, and prove relative to large cardinals that Chang's Conjecture can consistently hold between all pairs of limit cardinals below ℵωω.
For μ,κ infinite, say A⊆[κ]κ is a (μ,κ)-maximal independent family if whenever A0 and A1 are pairwise disjoint non-empty in [A]<μ then ⋂A0\⋃A1=∅, A is maximal under inclusion among families with this property, and moreover all such Booelan combinations have size κ. We denote by spi(μ,κ) the set of all cardinalities of such families, and if non-empty, we let iμ(κ) be its minimal element. Thus, iμ(κ) (if defined) is a natural higher analogue of the independence number on ω for the higher Baire spaces. In this paper, we study spi(μ,κ) for μ,κ uncountable. Among others, we show that: (1) The property spi(μ,κ)=∅ cannot be decided on the basis of ZFC plus large cardinals. (2) Relative to a measurable, it is consistent that: (a) (∃κ>ω)iκ(κ)<2κ; (b) (∃κ>ω)κ+<iω1(κ)<2κ. To the best knowledge of the authors, this is the first example of a (μ,κ)-maximal independent family of size strictly between κ+ and 2κ, for uncountable κ. (3) spi(μ,κ) cannot be quite arbitrary.
We show that it is consistent relative to a huge cardinal that for all infinite cardinals κ, □κ holds and there is a stationary S⊆κ+ such that NSκ+↾S is κ++-saturated.
Generalizing Keisler's notion of regularity for ultrafilters, Taylor introduced degrees of regularity for ideals and showed that a countably complete nonregular ideal on ω1 must be somewhere ω1-dense. We prove a dichotomy about degrees of regularity for κ-complete ideals on successor cardinals κ and apply this to show that Taylor's Theorem does not generalize to higher cardinals. In particular, the existence of a nonregular ideal on ω2 does not imply the existence of an ω2-dense ideal on ω2. We obtain similar results for normal ideals on Pκ(λ).
We discuss a system of strengthenings of "ℵω is Jónsson" indexed by real numbers, and identify a strongest one. We give a proof of a theorem of Silver and show that there is a barrier to weakening its hypothesis.
We argue against Foreman's proposal to settle the continuum hypothesis and other classical independent questions via the adoption of generic large cardinal axioms.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.