Abstract
AbstractWe 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.
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Reference10 articles.
1. Realizability algebras: a program to well order R
2. On the structure of classical realizability models of ZF;Krivine;Proceedings of TYPES-2014 - LIPIcs,2015
3. Realizability algebras II : new models of ZF + DC
4. Jech, T. J. (2003). Set Theory: The Third Millennium Edition, Berlin, Springer.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A program for the full axiom of choice;Logical Methods in Computer Science;2021-09-01