Dane publikacji
Tom 67
Zeszyt 1
Czasopismo: Bulletin of the Polish Academy of Sciences Mathematics
Strony: 19-29
Data publikacji online: 31.01.2019
Liczba wyświetleń: 0
Liczba pobrań: 0
Wersja elektroniczna
Otwarty dostęp
Abstrakt
We prove some general theorems for preserving Dependent Choice when taking symmetric extensions, some of which are unwritten folklore results. We apply these to various constructions to obtain various simple consistency proofs.