AUC PHILOSOPHICA ET HISTORICA
AUC PHILOSOPHICA ET HISTORICA

AUC Philosophica et Historica (Acta Universitatis Carolinae Philosophica et Historica) is a multidisciplinary academic journal focused on the humanities with more than 50 years of tradition.

The journal is indexed in CEEOL, DOAJ, and EBSCO.

AUC PHILOSOPHICA ET HISTORICA, Vol 2017 No 2 (2017), 63–72

Grigorieff forcing and the tree property

Šárka Stejskalová

DOI: https://doi.org/10.14712/24647055.2017.16
published online: 14. 11. 2017

abstract

In this paper we use Grigorieff forcing to obtain the tree property at the second successor of a regular uncountable cardinal κ. We also show that Silver forcing can be used to obtain the tree property at ℵ2.

keywords: Grigorieff forcing; Silver forcing; tree property

references (13)

1. Brooke M. Adersen and Marcia J. Groszek. Grigorieff forcing on uncountable cardinals does not add a generic of minimal degree. Notre Dame Journal of Formal Logic, 50(12): 221–231, 2009.

2. James Baumgartner. Iterated forcing. In A.R.D. Mathias, editor, Surveys in Set Theory, London Mathematical Society Lecture Note Series 87, pages 1–59. Cambridge University Press, 1983. CrossRef

3. James Baumgartner and Richard Laver. Iterated perfect-set forcing. Annals of Mathematical Logic, 17: 271–288, 1979. CrossRef

4. James Cummings. Iterated forcing and elementary embeddings. In Matthew Foreman and Akihiro Kanamori, editors, Handbook of Set Theory, volume 2, pages 737–774. Springer, 2010. CrossRef

5. Sy-David Friedman and Radek Honzik. The tree property at the ℵ2n's and the failure of SCH at ℵω. Annals of Pure and Applied Logic, 166: 526–552, 2015. CrossRef

6. Serge Grigorieff. Combinatorics on ideals and forcing. Annals of Mathematical Logic, 3(4): 363–394, 1971. CrossRef

7. Radek Honzik and Jonathan Verner. A lifting argument for the generalized Grigorieff forcing. Notre Dame Journal of Formal Logic, 57(2): 221–231, 2016. CrossRef

8. Thomas Jech. Set Theory. Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2003.

9. Ronald Jensen. The fine structure of the constructible hierarchy. Annals of Mathematical Logic, 4: 229–308, 1972. CrossRef

10. Akihiro Kanamori. Perfect-set forcing for uncountable cardinals. Annals of Mathematical Logic, 19: 97–114, 1980. CrossRef

11. William Mitchell. Aronszajn trees and independence of the transfer property. Annals of Mathematical Logic, 5: 21–46, 1972. CrossRef

12. Ernst Specker. Sur un problème de Sikorski. Colloquium Mathematicum, 2: 9–12, 1949. CrossRef

13. Spencer Unger. Fragility and indestructibility of the tree property. Archive for Mathematical Logic, 51(5–6): 635–645, 2012. CrossRef

Creative Commons License
Grigorieff forcing and the tree property is licensed under a Creative Commons Attribution 4.0 International License.


periodicity: 2 x per year
ISSN: 0567-8293
E-ISSN: 2464-7055

Download