No CrossRef data available.
Article contents
Preserving cardinals and weak forms of Zorn’s lemma in realizability models
Published online by Cambridge University Press: 10 February 2021
Abstract
We develop a technique for representing and preserving cardinals in realizability models, and we apply this technique to define a realizability model of Zorn’s lemma restricted to an ordinal.
- Type
- Paper
- Information
- Copyright
- © The Author(s), 2021. Published by Cambridge University Press