2
$\begingroup$

I have a problem with an argument in Fine structure and iteration trees by Mitchell and Steel. Let $E$ be a $(\kappa, \lambda)$-extender. Let $\dot E^{\mathcal{M}}$ the a unary predicate with is interpreted as the extender sequence at $\alpha$. Let $\dot F^{\mathcal{M}}$ be a 3-ary predicate interpreted as the weakly amenable coding of $E_{\alpha}$.

Mitchell and Steel define the ultrapower in the case $\mathcal{M}$ is active. In the first page in http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?handle=euclid.lnl/1235423433&view=body&content-type=pdf_1 there is case 1 where $\mu < \kappa$ ($\mu$ is the critical point of $\dot F^{\mathcal{M}}$).

The authors claim this directly implies that $g$ is constant almost everywhere ($g$ is defined a couple of line before the argument). I don't understand why that is so. Thanks for any help.

  • 0
    FSIT?${}{}{}{}$2012-10-19
  • 0
    Fine Structure and Iteration Trees, [MS] 19942012-10-19
  • 0
    You want to put a proper citation, not everyone reading this will be aware of that.2012-10-19
  • 0
    OK, I am editing this right now. Actually, looking a second time at it, I think I've got the answer I'm looking for. The above thing is true just by definition of an equivalence class in the ultrapower. If $\mu$ is less than $\kappa$ then nothing is moved by the embedding at the level of $\mu$2012-10-19
  • 0
    If you have an answer you can post it as an answer to your own question. Give it a day or two for some feedback, and then accept it if you are certain it is correct.2012-10-19

1 Answers 1