March 30, 2012 at 14:40 | Posted in Uncategorized | Leave a comment

I took a look at the Abraham/Magidor article in the Handbook of Set Theory, and what they discuss in Section 5 of their article is within epsilon of what Shelah uses in Section 1 of Chapter VIII of The Book. There are minor technical differences,but their writing is so much clearer than Shelah’s that I’m tempted to prove the main results of Chapter VIII section 1 using their version of things (minimally obedient universal sequences and {\kappa}-presentable models) instead of Shelah’s (“suppose (a)-(e) of 1.2 hold”).

What this means in practical terms is that I’m going to be doing some translation of Section 1 of Chapter VIII into the language of the Handbook and see how well the proofs go through.

Tedious, but probably worthwhile in the interest of making the material accessible!


Some Assumptions

March 28, 2012 at 13:33 | Posted in Uncategorized | Leave a comment

I have been contemplating exactly where to begin the discussion of these matters, and I think that I want to go back to Chapter VIII of The Book, and look at the first section of it because the arguments there keep appearing in later works.

In this post, I’m going to write down some assumptions [(a)-(e) of Claim 1.2] that will be used in the next few posts.

The Assumptions

We assume the following

  1. {\mathfrak{a}} is a set of regular cardinals satisfying {|\mathfrak{a}|^+<\min(\mathfrak{a})}

  2. For every {\mathfrak{b}\subseteq\mathfrak{a}}, we let {\overline{f}^{\mathfrak{b}}=\langle f^{\mathfrak{b}}_\alpha:\alpha<\max{\rm pcf}(\mathfrak{b})\rangle} satisfy
    • {f^{\mathfrak{b}}_\alpha\in\prod\mathfrak{a}},
    • {\bar{f}^{\mathfrak{b}}} is strictly increasing modulo {J_{<\max{\rm pcf}(\mathfrak{b})}[\mathfrak{a}]},
    • if {\alpha<\max{\rm pcf}(\mathfrak{b})} and {|\mathfrak{a}|<{\rm cf}(\alpha)<\min(\mathfrak{a})}, then for each {\theta\in \mathfrak{b}} we have

      \displaystyle  f^{\mathfrak{b}}_\alpha(\theta)=\min\{\bigcup_{\beta\in C}f^{\mathfrak{b}}_\beta(\theta): C\text{ club in }\alpha\}. \ \ \ \ \ (1)

    • for every {f\in\prod\mathfrak{b}} and {\alpha<\max{\rm pcf}(\mathfrak{b})}, there is a {\beta>\alpha} such that {f<f^{\mathfrak{b}}_\beta} (everwhere)

  3. {\chi} is a sufficiently large regular cardinal, {<_\chi} is a well-ordering of {H(\chi)}

  4. {\bar{N}=\langle N_i:i\leq\delta\rangle} is an increasing continuous sequence of elementary submodels of {\langle H(\chi), \in, <_\chi\rangle} such that
    • {|N_i|<\min(\mathfrak{a})}
    • {\langle N_j:j\leq i \rangle \in N_{i+1}}
    • {|N_i|+1\subseteq N_i}
    • {\bar{f}=\{\bar{f}^{\mathfrak{b}}:\mathfrak{b}\subseteq\mathfrak{a}\}\in N_0}

  5. {\mathfrak{a}\subseteq N_0} and {|\mathfrak{a}|<{\rm cf}(\delta)\leq\delta<\min(\mathfrak{a})}.

I’m going to do some “dictionary work” to get the official names for such objects. I just want to check which terms have become standard, and I’ll use the Abraham/Magidor Handbook article as the final word.

Quick update

March 21, 2012 at 21:06 | Posted in Uncategorized | Leave a comment

Well, I think hitting the medium-term goals is going to be much harder more interesting than I thought! I’ll start posting pieces of what I know starting next week after our Spring Break is over…

Medium Term Goals

March 6, 2012 at 11:35 | Posted in Uncategorized | Leave a comment

I feel the urge to return to the main work of this blog, namely working through the details of the more exotic portions of “The Book” and its continuations. I also happen to have an ideal body of results to attack:

As noted earlier, Shelah’s second proof of the “cov vs. pp Theorem” ([Sh:400] 3.5) contains an error (acknowledged in [Sh:513]), and although it is possible to effect a repair of most of it, the full version is still unproven. Now if we look ahead to [Sh:410] (one of the first papers continuing The Book) we find that a great many proofs of theorems end with a sentence saying roughly “now repeat the proof of [Sh:400, 3.5]” (I count at least four instances of this in Section 2 of the paper).

So on the face of it, it’s not clear how many of these results are actually valid. It may be that the weaker version of [Sh:400, 3.5] is strong enough to push through the arguments, but since there are very few details it’s hard to tell.

This looks like a nice task for me to tackle in the blog, so that’s probably what I will do.

Blog at WordPress.com.
Entries and comments feeds.