## Regrouping

June 9, 2011 at 14:19 | Posted in Uncategorized | Leave a commentOk, I’m back from a quick trip to Lawrence, Kansas and I had some time while traveling to ponder some things. I am convinced that the proof of Lemma 3.5 on Page 381 of Cardinal Arithmetic is incorrect, and the problem occurs in the last line of the proof (page 383) where he claims something is straightforward by 3.3A (page 379).

What I intend to do is the following:

- I will back up and prove Claims 3.2, 3.2A, 3.3, and 3.4 (pages 377-279), which are applications of the technique in question for which I’m sure the given proofs work,
- I will then prove a weakened version of Lemma 3.5 in which I am also confident, and finally
- I will go back and look at the original proof of the “cov vs. pp” theorem (Theorem 5.4, page 87) and see what I can see.

So, let’s get to some math. We’ll start with some notation:

Definition 1 (Part of Definition 3.1 on page 376)Suppose is a set of regular cardinals. Thenis the minimum size of a family such that for every of cardinality less than , if then there is a family of cardinality less than with

for all .

The above definition is a “functional version” of Shelah’s covering numbers. The relevant section of *Cardinal Arithmetic* (Section 3.1 of Chapter IX) is called “The smallest number of functions required to cover all small products”, and a little contemplation of the preceding definition tells us why: We are asking about the size of a family with the property that in every “small product”, every function is “covered” by fewer than functions from .

The results we will be examining demonstrate that these two versions of covering numbers are intimately related. Claim 3.3 on page 378 provides an example of what I mean:

Theorem 2 (Claim 3.3 page 378)If , then

Recall that the left-hand side denotes the minimal cardinality of a family with the property that every set in can be covered by a union of fewer than elements of . Roughly speaking, the complicated part of the right-hand side asks for the minimum cardinality of a family

with the property that every partial function in the product with domain of cardinality less than is covered by a family of fewer than sets from . The analogy between the definitions of the two sides is clear, and the theorem asserts that the analogy has meaning.

## Leave a Comment »

Blog at WordPress.com.

Entries and comments feeds.

## Leave a Reply