Author:
Hamkins Joel David,Leibman George,Löwe Benedikt
Publisher
Springer Science and Business Media LLC
Reference20 articles.
1. U. Abraham, On forcing without the continuum hypothesis, Journal of Symbolic Logic 48 (1983), 658–661.
2. Cambridge Tracts in Theoretical Computer Science;P. Blackburn,2001
3. Oxford Logic Guides;A. Chagrov,1997
4. L. Esakia and B. Löwe, Fatal Heyting algebras and forcing persistent sentences, Studia Logica 100 (2012), 163–173.
5. S. Friedman, S. Fuchino and H. Sakai, On the set-generic multiverse, submitted, 2012.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modal Model Theory;Notre Dame Journal of Formal Logic;2024-02-01
2. Mathematical Practices Can Be Metaphysically Laden;Handbook of the History and Philosophy of Mathematical Practice;2024
3. Mathematical Modality: An Investigation in Higher-order Logic;Journal of Philosophical Logic;2023-11-28
4. The modal logic of abelian groups;Algebra universalis;2023-07-26
5. VARIETIES OF CLASS-THEORETIC POTENTIALISM;The Review of Symbolic Logic;2023-05-22