Preserving cardinals and weak forms of Zorn’s lemma in realizability models
Sign Up to like & getrecommendations! Published in 2020 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129521000013
Abstract: 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. read more here.
Keywords: zorn lemma; realizability models; cardinals weak; realizability ... See more keywords