Sequent systems for compact bilinear logic
- 作者Wojciech Buszkowski
- 卷第49卷
- 期第5期
- 印刷ISSN0942-5616
- 电子ISSN1521-3870
- 文件大小117.91KB
- 发表时间2003
- DOI10.1002/malq.200310050
- 页码467-474
On Russell and Anti Russell-CardinalsHerrlich, Horst; Keremedis, Kyriakos; Tachtsis, Eleftherios · Quaestiones Mathematicae · 2010
Weak Axioms of Choice for Metric SpacesKyriakos Keremedis and Eleftherios Tachtsis · Proceedings of the American Mathematical Society · 2005
Countable sums and products of metrizable spaces in ZFKyriakos Keremedis; Eleftherios Tachtsis · 2005
Different versions of a first countable space without choiceKyriakos Keremedis; Eleftherios Tachtsis · 2009
Countable compact Hausdorff spaces need not be metrizable in ZFKeremedis, Kyriakos; Tachtsis, Eleftherios · Proceedings of the American Mathematical Society · 2007
Products of some special compact spaces and restricted forms of ACKeremedis, Kyriakos; Tachtsis, Eleftherios · The Journal of Symbolic Logic · 2010
Compact Metric Spaces and Weak Forms of the Axiom of ChoiceKyriakos Keremedis; Eleftherios Tachtsis · 2001