S-forcing. IIa: Adding diamonds and more applications: Coding sets, Arhangel'skii's problem and \({\mathcal L}[Q_ 1^{<\omega},Q^ 1_ 2]\). (With an appendix by John P. Burgess) (Q1094419): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(4 intermediate revisions by 3 users not shown)
Property / author
 
Property / author: Lee J. Stanley / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: J. M. Plotkin / rank
Normal rank
 
Property / author
 
Property / author: Lee J. Stanley / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: J. M. Plotkin / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Consistency proofs in model theory: A contribution to Jensenlehre / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4156785 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Aspects of constructibility / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hierarchies of constructible sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Souslin problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3718702 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3958454 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3671958 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Compact extensions of L(Q) (part 1a) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lindelöf models of the reals: solution to a problem of Sikorski / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proper forcing / rank
 
Normal rank
Property / cites work
 
Property / cites work: On some problems in general topology / rank
 
Normal rank
Property / cites work
 
Property / cites work: S-forcing. I: a ''black-box'' theorem for morasses, with applications to super-Souslin trees / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3323938 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Trees, subtrees and order types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Morasses, diamond, and forcing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3221976 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Simplified morasses with linear limits / rank
 
Normal rank
Property / cites work
 
Property / cites work: 𝑃_{𝑘}𝜆 combinatorics. I. Stationary coding sets rationalize the club filter / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 12:14, 18 June 2024

scientific article
Language Label Description Also known as
English
S-forcing. IIa: Adding diamonds and more applications: Coding sets, Arhangel'skii's problem and \({\mathcal L}[Q_ 1^{<\omega},Q^ 1_ 2]\). (With an appendix by John P. Burgess)
scientific article

    Statements

    S-forcing. IIa: Adding diamonds and more applications: Coding sets, Arhangel'skii's problem and \({\mathcal L}[Q_ 1^{<\omega},Q^ 1_ 2]\). (With an appendix by John P. Burgess) (English)
    0 references
    0 references
    0 references
    1986
    0 references
    This paper is a continuation of the author's earlier S-Forcing I. A ``black-box'' theorem for morasses with applications to super-Souslin trees [Israel J. Math. 43, 185-224 (1982; Zbl 0513.03023)]. Notation and terminology from this previous work are carried over to the current one. \(S_{\kappa}(\diamond)\) is a strengthening of \(S_{\kappa}\), the previously presented forcing principle. The stated main result is: Theorem. For regular \(\kappa >\omega\), \(S_{\kappa}(\diamond)\) iff there exist (\(\kappa\),1)-morasses with built-in \(\diamond\) sequences. This leads to: in L for all regular \(\kappa >\omega\) there are (\(\kappa\),1) morasses with built-in \(\diamond\) sequences. This paper contains several applications of \(S_{\kappa}(\diamond)\). For example, \(S_{\aleph_ 1}(\diamond)\) implies the Magidor-Malitz language \({\mathcal L}[Q_ 1^{<\omega},Q^ 1_ 2]\) has the compactness, axiomatizability and transfer properties. Also for topological spaces \(S_{\aleph_ 1}(\diamond)\) implies there is a counterexample to Arhangel'skii's conjecture. This is a long and technically complex paper and it refers both positively and negatively (corrections to the earlier literature are made) to a large body of work.
    0 references
    morasses
    0 references
    Magidor-Malitz language
    0 references
    Arhangel'skii's conjecture
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references