Photo by googledeepmind from unsplash
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. Click to show full 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.
Keywords:
zorn lemma;
realizability models;
cardinals weak;
realizability;
preserving cardinals;
weak forms
Journal Title: Mathematical Structures in Computer Science
Year Published: 2020
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!
Journal Title: Mathematical Structures in Computer Science
Year Published: 2020
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!