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 引理的可实现性模型。