\(\Pi^ 1_ 1\)-complete families of elementary sequences (Q1103613)

In this paper the author investigates elementary embeddings of models of ZF set theory, and their direct limits. A sequence of elementary embeddings is called elementary if their direct limit is well-founded. Let \(\Gamma\) be a point class in the Baire space \(\omega^{\omega}\). A family \((I_{\alpha})_{\alpha \in \omega^{\omega}}\) of elementary embeddings is \(\Gamma\)-complete iff the set of all \(\alpha\)-s such that \(I_{\alpha}\) has a well-founded limit is \(\Gamma\)-complete. Let j be an elementary embedding of a model of ZF. Then this j is used to define for each \(\gamma \in \omega^{\omega}\) two sequences of elementary embeddings in a natural way. It is shown that the corresponding families \((I_{\alpha})_{\alpha \in \omega^{\omega}}\) are \(\Pi^ 1_ 1\)- complete.