Constructive domain theory as a branch of intuitionistic pointfree topology

被引：0

|

作者：

Universita di Padova, Padova, Italy ^{[1
]}

机构：

来源：

Theor Comput Sci | / 2卷 / 319-341期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[31] CECH-COMPLETENESS IN POINTFREE TOPOLOGY
Dube, T.
Mugochi, M. M.
Naidoo, I.
QUAESTIONES MATHEMATICAE, 2014, 37 (01) : 49 - 65
[32] Remote points and the like in pointfree topology
Dube, T.
ACTA MATHEMATICA HUNGARICA, 2009, 123 (03) : 203 - 222
[33] A NEW APPROACH TO CONSTRUCTIVE TOPOLOGY AND MEASURE-THEORY
KHALIFA, AK
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1989, 35 (06): : 539 - 550
[34] Gelfand and exchange rings: Their spectra in pointfree topology
Banaschewski, B
ARABIAN JOURNAL FOR SCIENCE AND ENGINEERING, 2000, 25 (2C): : 3 - 22
[35] Pointfree Aspects of the Td Axiom of Classical Topology
Banaschewski, Bernhard
Pultr, Ales
QUAESTIONES MATHEMATICAE, 2010, 33 (03) : 369 - 385
[36] A new aspect of the cozero lattice in pointfree topology
Banaschewski, B.
TOPOLOGY AND ITS APPLICATIONS, 2009, 156 (12) : 2028 - 2038
[37] The function ring functors of pointfree topology revisited
Banaschewski, Bernhard
CATEGORIES AND GENERAL ALGEBRAIC STRUCTURES WITH APPLICATIONS, 2019, 11 (01) : 19 - 31
[38] Pointfree topology and the spectra of f-rings
Banaschewski, B
ORDERED ALGEBRAIC STRUCTURES, 1997, : 123 - 148
[39] Some remarks concerning pseudocompactness in pointfree topology
Dube, Themba
BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN, 2013, 20 (02) : 213 - 219
[40] On the archimedean kernels of function rings in pointfree topology
Banaschewski, B.
Bhattacharjee, P.
Walters-Wayland, J.
TOPOLOGY AND ITS APPLICATIONS, 2016, 200 : 44 - 50

← 1 2 3 4 5 →