Preserving Dependent Choice

Asaf Karagila

doi:10.4064/ba8169-12-2018

Preserving Dependent Choice

Asaf Karagila

Logic

Research output: Contribution to journal › Article › peer-review

21 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 language	English
Article number	19-29
Journal	Bulletin of the Polish Academy of Sciences Mathematics
Volume	67
Early online date	1 Feb 2019
DOIs	https://doi.org/10.4064/ba8169-12-2018
Publication status	Published - 2019

Keywords

symmetric extensions
dependent choice
the axiom of choice

Access to Document

10.4064/ba8169-12-2018

Accepted_ManuscriptAccepted author manuscript, 179 KB

https://arxiv.org/abs/1810.11301

High Forcing Axioms: Forcing Axioms for the Uncountable. Newton International Fellowship
Aspero, D. & Karagila, A.
Royal Society
1/03/18 → 31/03/20
Project: Fellowship

Cite this

@article{96e2afb0d8ed49b48b49e092ba817478,

title = "Preserving Dependent Choice",

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.",

keywords = "symmetric extensions, dependent choice, the axiom of choice",

author = "Asaf Karagila",

year = "2019",

doi = "10.4064/ba8169-12-2018",

language = "English",

volume = "67",

journal = "Bulletin of the Polish Academy of Sciences Mathematics",

issn = "0239-7269",

publisher = "Polskiej Akademii Nauk, Instytut Matematyczny (Polish Academy of Sciences, Institute of Mathematics)",

}

TY - JOUR

T1 - Preserving Dependent Choice

AU - Karagila, Asaf

PY - 2019

Y1 - 2019

N2 - 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.

AB - 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.

KW - symmetric extensions

KW - dependent choice

KW - the axiom of choice

U2 - 10.4064/ba8169-12-2018

DO - 10.4064/ba8169-12-2018

M3 - Article

VL - 67

JO - Bulletin of the Polish Academy of Sciences Mathematics

JF - Bulletin of the Polish Academy of Sciences Mathematics

SN - 0239-7269

M1 - 19-29

ER -

Preserving Dependent Choice

Abstract

Keywords

Access to Document

Projects

High Forcing Axioms: Forcing Axioms for the Uncountable. Newton International Fellowship

Cite this