Type: Article
Publication Date: 2021-12-02
Citations: 6
DOI: https://doi.org/10.1017/jsl.2021.101
Action | Title | Year | Authors |
---|
Action | Title | Year | Authors |
---|---|---|---|
+ | Heyting-valued models for intuitionistic set theory | 1979 |
R.J. Grayson |
+ | TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY | 2012 |
Zach Weber |
+ | Non-classical Models of ZF | 2020 |
Santiago Jockwich Martinez Giorgio Venturi |