Preserving Dependent Choice

Asaf Karagila

Research output: Contribution to journalArticlepeer-review

11 Downloads (Pure)

Abstract

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.
Original languageEnglish
Article number19-29
JournalBulletin of the Polish Academy of Sciences Mathematics
Volume67
Early online date1 Feb 2019
DOIs
Publication statusPublished - 2019

Keywords

  • symmetric extensions
  • dependent choice
  • the axiom of choice

Cite this