Realizing Realizability Results with Classical Constructions

Asaf Karagila

doi:10.1017/bsl.2019.59

Realizing Realizability Results with Classical Constructions

Asaf Karagila

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

2 Citations (Scopus)

12 Downloads (Pure)

Abstract

J.L. Krivine developed a new method based on realizability to construct models of set theory where the axiom of choice fails. We attempt to recreate his results in classical settings, i.e. symmetric extensions. We also provide a new condition for preserving well-ordered, and other particular type of choice, in the general settings of symmetric extensions.

Original language	English
Pages (from-to)	429-445
Number of pages	17
Journal	Bulletin of Symbolic Logic
Volume	25
Issue number	4
Early online date	19 Dec 2019
DOIs	https://doi.org/10.1017/bsl.2019.59
Publication status	Published - Dec 2019

Access to Document

10.1017/bsl.2019.59

Accepted_ManuscriptAccepted author manuscript, 247 KB

https://arxiv.org/abs/1905.08202

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{437168e163b04c3f80b0f7eb1a956ce2,

title = "Realizing Realizability Results with Classical Constructions",

abstract = "J.L. Krivine developed a new method based on realizability to construct models of set theory where the axiom of choice fails. We attempt to recreate his results in classical settings, i.e. symmetric extensions. We also provide a new condition for preserving well-ordered, and other particular type of choice, in the general settings of symmetric extensions.",

author = "Asaf Karagila",

year = "2019",

month = dec,

doi = "10.1017/bsl.2019.59",

language = "English",

volume = "25",

pages = "429--445 ",

journal = "Bulletin of Symbolic Logic",

issn = "1079-8986",

publisher = "Association for Symbolic Logic",

number = "4",

}

TY - JOUR

T1 - Realizing Realizability Results with Classical Constructions

AU - Karagila, Asaf

PY - 2019/12

Y1 - 2019/12

N2 - J.L. Krivine developed a new method based on realizability to construct models of set theory where the axiom of choice fails. We attempt to recreate his results in classical settings, i.e. symmetric extensions. We also provide a new condition for preserving well-ordered, and other particular type of choice, in the general settings of symmetric extensions.

AB - J.L. Krivine developed a new method based on realizability to construct models of set theory where the axiom of choice fails. We attempt to recreate his results in classical settings, i.e. symmetric extensions. We also provide a new condition for preserving well-ordered, and other particular type of choice, in the general settings of symmetric extensions.

U2 - 10.1017/bsl.2019.59

DO - 10.1017/bsl.2019.59

M3 - Article

VL - 25

SP - 429

EP - 445

JO - Bulletin of Symbolic Logic

JF - Bulletin of Symbolic Logic

SN - 1079-8986

IS - 4

ER -

Realizing Realizability Results with Classical Constructions

Abstract

Access to Document

Projects

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

Cite this