REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS

DOI10.1017/bsl.2019.59OpenAlexW3099595007WikidataQ126535020 ScholiaQ126535020MaRDI QIDQ5215936

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

zbMATH Keywords

realizabilityaxiom of choicesymmetric extensions

Mathematics Subject Classification ID

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

Related Items (2)

Forcing revisited ⋮ Unnamed Item

Cites Work

• The dual Cantor-Bernstein theorem and the partition principle
• Intermediate submodels and generic extensions in set theory
• Choiceless Löwenheim-Skolem property and uniform definability of grounds
• Realizability algebras II : new models of ZF + DC
• Freyd’s models for the independence of the axiom of choice
• Realizability algebras III: some examples
• ITERATING SYMMETRIC EXTENSIONS
• Set Theory
• Preserving cardinals and weak forms of Zorn’s lemma in realizability models
• Preserving Dependent Choice
• The axiom of choice

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