Preserving cardinals and weak forms of Zorn’s lemma in realizability models

DOI10.1017/S0960129521000013zbMath1486.03080OpenAlexW3128311580WikidataQ124837289 ScholiaQ124837289MaRDI QIDQ4988445

Guillaume Geoffroy, Laura Fontanella

Publication date: 14 May 2021

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129521000013

zbMATH Keywords

set theoryaxiom of choiceclassical realizability

Mathematics Subject Classification ID

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

Related Items

REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS ⋮ Unnamed Item

Cites Work

• Lectures on the Curry-Howard isomorphism
• Equivalents of the axiom of choice. 2nd ed
• Set theory. An introduction to independence proofs
• Realizability algebras II : new models of ZF + DC
• Realizability algebras: a program to well order R
• Realizability algebras III: some examples
• Set Theory
• On the structure of classical realizability models of ZF
• The axiom of choice