Author:
Bagaria Joan,Magidor Menachem,Sakai Hiroshi
Publisher
Springer Science and Business Media LLC
Reference8 articles.
1. J. Bagaria, Topologies on ordinals and the completeness of polymodal provability logic, 2011, Preprint.
2. L. Beklemishev, On GLP spaces, Circulated manuscript, (2009).
3. L. Beklemishev, G. Bezhanishvili and T. Icard, On topological models of GLP, in Ways of Proof Theory, (R. Schindler, ed.), Ontos Verlag, 2010, pp. 135–155.
4. L. Beklemishev and D. Gabelaia, Topological interpretations of provability logic, in Leo Esakia on duality in modal and intuitionistic logics, Outstanding Contributions to Logic, 4 eds. G. Bezhanishvili, Springer, 2014, 257–290.
5. Springer Monographs in Mathematics;T. Jech,2003
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Transferring compactness;Journal of the London Mathematical Society;2024-05-30
2. TWO-CARDINAL DERIVED TOPOLOGIES, INDESCRIBABILITY AND RAMSEYNESS;The Journal of Symbolic Logic;2024-03-12
3. Generalisations of stationarity, closed and unboundedness, and of Jensen's □;Annals of Pure and Applied Logic;2023-07
4. Modern perspectives in Proof Theory;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
5. Higher indescribability and derived topologies;Journal of Mathematical Logic;2023-04-06