\(\Pi^ 1_ 1\)-complete families of elementary sequences (Q1103613): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/0168-0072(88)90028-0 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2060736711 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Infinite products in monoids / rank
 
Normal rank
Property / cites work
 
Property / cites work: Turing complexity of the ordinals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3944597 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3865884 / rank
 
Normal rank

Latest revision as of 17:31, 18 June 2024

scientific article
Language Label Description Also known as
English
\(\Pi^ 1_ 1\)-complete families of elementary sequences
scientific article

    Statements

    \(\Pi^ 1_ 1\)-complete families of elementary sequences (English)
    0 references
    0 references
    1988
    0 references
    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.
    0 references
    0 references
    0 references
    models of set theory
    0 references
    well-foundedness
    0 references
    projective hierarchy
    0 references
    elementary embeddings of models of ZF
    0 references
    direct limits
    0 references
    Baire space
    0 references
    0 references
    0 references
    0 references