REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS

DOI10.1017/BSL.2019.59OpenAlexW3099595007WikidataQ126535020 ScholiaQ126535020MaRDI QIDQ5215936FDOQ5215936

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

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

zbMATH Keywords

realizabilityaxiom of choicesymmetric extensions

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

• Forcing revisited
• Title not available (Why is that?)
• 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)