当前位置:
X-MOL 学术
›
Math. Struct. Comput. Sci.
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Preserving cardinals and weak forms of Zorn’s lemma in realizability models
Mathematical Structures in Computer Science ( IF 0.4 ) Pub Date : 2021-02-10 , DOI: 10.1017/s0960129521000013 Laura Fontanella , Guillaume Geoffroy
Mathematical Structures in Computer Science ( IF 0.4 ) Pub Date : 2021-02-10 , DOI: 10.1017/s0960129521000013 Laura Fontanella , Guillaume Geoffroy
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.
中文翻译:
在可实现性模型中保留 Zorn 引理的基数和弱形式
我们开发了一种在可实现性模型中表示和保留基数的技术,并且我们应用该技术来定义限制为序数的 Zorn 引理的可实现性模型。
更新日期:2021-02-10
中文翻译:
在可实现性模型中保留 Zorn 引理的基数和弱形式
我们开发了一种在可实现性模型中表示和保留基数的技术,并且我们应用该技术来定义限制为序数的 Zorn 引理的可实现性模型。