Realizing realizability results with classical constructions

Bulletin of Symbolic Logic 25 (4):429-445 (2019)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1017/bsl.2019.59

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Realizing Brouwer's sequences.Richard E. Vesley - 1996 - Annals of Pure and Applied Logic 81 (1-3):25-74.
A Realizability Interpretation for Classical Arithmetic.Jeremy Avigad - 2002 - Bulletin of Symbolic Logic 8 (3):439-440.
Bounded Modified Realizability.Fernando Ferreira & Ana Nunes - 2006 - Journal of Symbolic Logic 71 (1):329 - 346.
Extensional realizability.Jaap van Oosten - 1997 - Annals of Pure and Applied Logic 84 (3):317-349.
A survey of propositional realizability logic.Valery Plisko - 2009 - Bulletin of Symbolic Logic 15 (1):1-42.
A realizability interpretation for classical analysis.Henry Towsner - 2004 - Archive for Mathematical Logic 43 (7):891-900.
In Domain Realizability, not all Functionals on C[–1, 1] are Continuous.Martín Escardó & Thomas Streicher - 2002 - Mathematical Logic Quarterly 48 (S1):41-44.
Reverse Mathematics and Uniformity in Proofs without Excluded Middle.Jeffry L. Hirst & Carl Mummert - 2011 - Notre Dame Journal of Formal Logic 52 (2):149-162.
Multiple realizability.Eric Funkhouser - 2007 - Philosophy Compass 2 (2):303–315.
Realizing the Good: Hegel's Critique of Kantian Morality.Nicolás García Mills - 2017 - European Journal of Philosophy (1):195-212.
Relative and modified relative realizability.Lars Birkedal & Jaap van Oosten - 2002 - Annals of Pure and Applied Logic 118 (1-2):115-132.
Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels.James Lipton & Michael J. O'Donnell - 1996 - Annals of Pure and Applied Logic 81 (1-3):187-239.
A general notion of realizability.Lars Birkedal - 2002 - Bulletin of Symbolic Logic 8 (2):266-282.
Confined modified realizability.Gilda Ferreira & Paulo Oliva - 2010 - Mathematical Logic Quarterly 56 (1):13-28.
Testing multiple realizability: A discussion of Bechtel and Mundale.Sungsu Kim - 2002 - Philosophy of Science 69 (4):606-610.

Analytics

Added to PP
2019-12-20

Downloads
17 (#872,413)

6 months
9 (#315,924)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Forcing revisited.Toby Meadows - 2023 - Mathematical Logic Quarterly 69 (3):287-340.

Add more citations

References found in this work

Set Theory.Thomas Jech - 1999 - Studia Logica 63 (2):300-300.
Iterating symmetric extensions.Asaf Karagila - 2019 - Journal of Symbolic Logic 84 (1):123-159.

Add more references