Publisher
Institute of Mathematics, Polish Academy of Sciences
Subject
Algebra and Number Theory
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The formal verification of the ctm approach to forcing;Annals of Pure and Applied Logic;2024-05
2. Modern perspectives in Proof Theory;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
3. Weak set theories in foundational debates;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
4. Decision Times of Infinite Computations;Notre Dame Journal of Formal Logic;2022-05-01
5. AN AXIOMATIC APPROACH TO FORCING IN A GENERAL SETTING;The Bulletin of Symbolic Logic;2022-04-04