REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS

DOI10.1017/BSL.2019.59MaRDI QIDQ5215936zbMATH OpenOpenAlexWikidataFDO

Authors Asaf Karagila

Publication date 14 February 2020

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1905.08202, https://ueaeprints.uea.ac.uk/id/eprint/73352/1/Accepted_Manuscript.pdf

zbMATH Keywords

realizabilityaxiom of choicesymmetric extensions

Mathematics Subject Classification ID

Consistency and independence results (03E35) Axiom of choice and related propositions (03E25)

Recommendations

• Krivine's classical realisability from a categorical perspective
• Realizability algebras III: some examples
• On the structure of classical realizability models of ZF
• Generalizing realizability and Heyting models for constructive set theory
• Preservation of choice principles under realizability

Cites work

• Choiceless Löwenheim-Skolem property and uniform definability of grounds
• Freyd’s models for the independence of the axiom of choice
• Intermediate submodels and generic extensions in set theory
• Iterating symmetric extensions
• Preserving cardinals and weak forms of Zorn’s lemma in realizability models
• Preserving dependent choice
• Realizability algebras III: some examples
• Realizability algebras. II: New models of \(\mathrm{ZF} + \mathrm{DC}\)
• Set Theory
• The axiom of choice
• The dual Cantor-Bernstein theorem and the partition principle

Cited in

(5)

• Forcing revisited
• scientific article; zbMATH DE number 7407793 (Why is no real title available?)
• Realizing realizability results with classical constructions
• Verificationism and Classical Realizability
• A Survey of Classical Realizability

This page was built for publication: REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5215936)