Hostname: page-component-78c5997874-8bhkd Total loading time: 0 Render date: 2024-11-19T05:06:30.587Z Has data issue: false hasContentIssue false

SILVER ANTICHAINS

Published online by Cambridge University Press:  22 April 2015

OTMAR SPINAS
Affiliation:
DEPARTMENT OF MATHEMATICS CHRISTIAN-ALBRECHTS-UNIVERSITÄT ZU KIEL LUDEWIG-MEYN-STR. 4, 24118 KIEL, GERMANY
MAREK WYSZKOWSKI
Affiliation:
DEPARTMENT OF MATHEMATICS CHRISTIAN-ALBRECHTS-UNIVERSITÄT ZU KIEL LUDEWIG-MEYN-STR. 4, 24118 KIEL, GERMANY

Abstract

In this paper we investigate the structure of uncountable maximal antichains of Silver forcing and show that they have to be at least of size d, where d is the dominating number. Part of this work can be used to show that the additivity of the Silver forcing ideal has size at least the unbounding number b. It follows that every reasonable amoeba Silver forcing adds a dominating real.

Type
Articles
Copyright
Copyright © The Association for Symbolic Logic 2015 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Judah, Haim, Miller, Arnold W., and Shelah, Saharon, Sacks forcing, laver forcing and martin’s axiom. Archive for Mathematical Logic, vol. 31 (1992), pp. 145161.Google Scholar
Laguzzi, Giorgio, Some considerations on amoeba forcing notions, 2013, available athttp://www.math.uni-hamburg.de/home/laguzzi/papers/amoeba.pdfGoogle Scholar
Louveau, A., Shelah, S., and Velickovic, B., Borel partiotions of infinite sequences of perfect trees. Annals of Pure and Applied Logic, vol. 63 (1993), pp. 271281.Google Scholar
Roslanowski, Andrzej and Shelah, Saharon, More forcing notions imply diamond. Archive for Mathematical Logic, vol. 35 (1996), pp. 299313.Google Scholar
Simon, Petr, Sacks forcing collapses c to b. Commentationes Mathematicae Universitatis Carolinae, vol. 34 (1993), no. 4, pp. 707710.Google Scholar