×
史蒂文·维克斯

连接的维多利斯电力局。 （英语） 兹比尔1171.54009

拓扑应用程序。 156，第11期，1886-1910（2009）.
本文对拓扑有效的无点构造分析进行了研究，主要研究了一种新型的powerlocale。从Vietoris powerlocale出发\({五} X（X）\)第页，共页P.T.约翰斯通in[in:连续格及其应用，Proc.3rd Conf.，Bremen/Ger.1982，Lect.Notes Pure Appl.Math.101，155-180（1985；Zbl 0581.54005号)]作为Vietoris超空间的局部对应，作者定义了一个子局域（{V^{c}}X\），其点对应于强连接的弱半拟合子局域。它有很好的性质，例如乘积映射的存在，由此可以得出两个这样的子区域的乘积又是强连通的，并且在实域上它的点只是紧区间。对无点实线（mathbb{R}）的应用给出了中值定理和罗尔定理的一个无选择的构造版本，这两个定理都与连通性有关。
审核人：Eva Colebunders（布鲁塞尔）

引用于三文件

MSC公司：

54B20型 一般拓扑中的超空间
54D05型 连通和局部连通空间（一般方面）
2012年2月6日 框架、区域设置
03G30型 分类逻辑，拓扑
26E40型 建设性实际分析
54E50型 完整的度量空间

关键词：

区域设置;超空间;几何逻辑;中间值定理;罗尔定理

引文：

Zbl 0581.54005号
PDF格式BibTeX公司 XML格式引用
\textit{S.Vickers}，拓扑应用。156，第11号，1886-1910（2009；Zbl 1171.54009）
全文： 内政部 链接

参考文献：

[1] Abramsky，S。；Vickers，S.J.，Quantales，观察逻辑和过程语义，数学。结构计算。科学。，3, 161-227 (1993) ·Zbl 0823.06011号
[2] Bishop，E。；Bridges，D.，结构分析（1985），Springer-Verlag·Zbl 0656.03042号
[3] 邦吉，M。；Funk，J.，拓扑的奇异覆盖，数学课堂笔记。，第1890卷（2006），施普林格·Zbl 1106.18001号
[4] 伯特伦·W。；Glöckner，H.等人。；Neeb，K.-H.，一般基域和环上的微分学，博览。数学。，22, 3, 213-282 (2004) ·邮编1099.58006
[5] 安德烈·鲍尔（Andrej Bauer）、保罗·泰勒（Paul Taylor），《抽象石头二重性中的Dedekind现实》，发表于《分析中的可计算性和复杂性》（Computability and Complexity in Analysis），京都，2005年8月；数学。结构计算。科学。（2009），出版中；预印本可在网站上获取，网址为http://www.paultaylor.eu/ASD/dedras; 安德烈·鲍尔（Andrej Bauer）、保罗·泰勒（Paul Taylor），《抽象石头二重性中的Dedekind现实》，发表于《分析中的可计算性和复杂性》（Computability and Complexity in Analysis），京都，2005年8月；数学。结构计算。科学。（2009），出版中；预印本可在以下网址获得：http://www.paultaylor.eu/ASD/dedras ·Zbl 1262.03130号
[6] 霍夫曼（Karl H.Hofmann）。；Mislove，Michael W.，局部紧性和连续格，（Banaschewski，B.；Hoffmann，R.-E.，《连续格：程序集》，《连续格子：程序集，不来梅》，1979年。连续格：程序集。《连续格：程序集》，不来梅，1979年，数学课堂讲稿。，第871卷（1981），施普林格·弗拉格），209-248·Zbl 0464.06005号
[7] Johnstone，P.T.，Stone Spaces，剑桥高级数学研究生。，第3卷（1982），剑桥大学出版社·Zbl 0499.54001号
[8] Johnstone，P.T.，《开放地区和指数化》，康斯坦普。数学。，30, 84-116 (1984) ·Zbl 0537.18001号
[9] Johnstone，P.T.，《Vietoris locales and local semi lattices》，（霍夫曼，R.E.，《连续格及其应用》，《连续晶格及其应用》（Continuous lattices and Thirs Applications），《纯粹应用数学》（Pure Appl.Math.），第101卷（1985），马塞尔·德克尔），第15-18页·Zbl 0581.54005号
[10] Johnstone，P.T.，《大象素描：拓扑理论简编》，第2卷，《牛津逻辑指南》，第44卷（2002），牛津大学出版社·Zbl 1071.18002号
[11] Joyal，A。；Tierney，M.，《格罗森迪克伽罗瓦理论的延伸》，Mem。阿默尔。数学。Soc.，309（1984年）·Zbl 0541.18002号
[12] Johnstone，P.T。；Wraith，G.C.，拓扑中的代数理论，（Johnstone，P.T.；Paré，R.，索引范畴及其应用，数学课堂讲稿，第661卷（1978），Springer-Verlag），141-242·Zbl 0392.18006号
[13] Kock，A.，强函子和单体单子，Arch。数学。，23, 113-120 (1972) ·Zbl 0253.18007号
[14] Lawvere，F.W.，《度量空间，广义逻辑和闭范畴》，Rend。半实物财务。米兰，43（1973），重新发行为[15]
[15] Lawvere，F.W.，《度量空间、广义逻辑和闭范畴》，《再现理论应用》。类别。，1，1-37（2002），最初出版为[14]·Zbl 1078.18501号
[16] Moggi，E.，计算lambda-calculus和monad，（第四届计算机科学逻辑年度研讨会论文集（1989），IEEE出版社：新泽西州皮斯卡塔韦IEEE出版社），14-23·Zbl 0716.03007号
[17] Makkai先生。；Reyes，G.E.，一阶范畴逻辑，数学课堂讲稿。，第611卷（1977年），斯普林格-Verlag·Zbl 0830.03036号
[18] 莫尔迪克，I。；Wraith，G.，连接的本地连接拓扑是路径连接的，Trans。阿默尔。数学。Soc.，295，2849-859（1986）·Zbl 0592.18003号
[19] Negri，Sara，作为形式空间的连续域，数学。结构计算。科学。，12, 19-52 (2002) ·Zbl 0994.06005号
[20] 埃里克·帕尔姆格伦（Erik Palmgren）；史蒂文·维克斯（Steven Vickers），《部分霍恩逻辑和笛卡尔范畴》（Partial Horn logic and cartesian categories），《纯粹应用》（Ann.Pure Appl）。逻辑，145，3，314-353（2007）·Zbl 1109.03022号
[21] E.Robinson，《能量域、模态和Vietoris monad》，技术报告98，剑桥大学计算机实验室，1986年；E.Robinson，功率域、模态和Vietoris monad，技术报告98，剑桥大学计算机实验室，1986年
[22] Sambin，G.，直觉主义形式空间——第一次交流，（Skordev，Dimiter G.，《数学逻辑及其应用》（1987），Plenum），187-204·Zbl 0703.0304号
[23] Smyth，M.，Power domains，J.Compute公司。系统科学。，16, 23-36 (1978) ·Zbl 0391.68011号
[24] Paul Taylor，《用于实际分析的lambda演算》，（Grubba，Tanja；Hertline，Peter；Tsuiki，Hideki；Weihrauch，Klaus，《分析中的可计算性和复杂性》，Informatik Berichte，第326卷（2005），FernUniversität in Hagen），227-266，修订版
[25] 史蒂文·维克斯（Steven Vickers），《逻辑拓扑》（Topology via Logic，1989），剑桥大学出版社·Zbl 0668.54001号
[26] 维克斯，史蒂文，连续偏序集的信息系统，定理。计算。科学。，114, 201-229 (1993) ·Zbl 0779.06006号
[27] Vickers，Steven，《本地化并非毫无意义》（Hankin，C.L.；Mackie，I.C.；Nagarajan，R.，《计算的理论和形式方法》，伦敦，1994（1995），帝国理工学院出版社，199-216·Zbl 0846.18003号
[28] Vickers，Steven，《powerlocales的构造点》，数学。程序。剑桥菲洛斯。Soc.，122，207-222（1997）·Zbl 0879.54008号
[29] Vickers，Steven，领域的主题类别，数学。结构计算。科学。，9, 569-616 (1999) ·Zbl 0946.18001号
[30] Vickers，Steven，强代数=SFP（局部），数学。结构计算。科学。，11, 717-742 (2001) ·Zbl 1013.68282号
[31] Steven Vickers，广义度量空间的局部补全II:Powerlocales，提交出版，预印本可在web上获得，网址为网址：http://www.cs.bham.ac.uk/sjv；Steven Vickers，广义度量空间的局部补全II:Powerlocales，提交出版，预印本可在web上获得，网址为网址：http://www.cs.bham.ac.uk/sjv公司·Zbl 1275.54008号
[32] 史蒂文·维克斯（Steven Vickers），《双幂函数和求幂：几何推理的案例研究》（The double powerlocale and experivation:A case study in geometry reasoning），《理论应用》（Theory Apply）。类别。，12, 372-422 (2004) ·Zbl 1061.06026号
[33] Vickers，Steven，广义度量空间的局部完备I，理论应用。类别。，14, 328-356 (2005) ·Zbl 1083.54019号
[34] Vickers，Steven，《通往Tychonoff的一些建设性道路》，（Crosilla，Laura；Schuster，Peter，《从集合与类型到拓扑与分析：构建数学的实用基础》，《从集与类型到拓扑学与分析：构造数学的实用基础》，牛津逻辑指南，第48卷（2005），牛津大学出版社），223-238·Zbl 1097.03058号
[35] Steven Vickers，《区域设置和形式拓扑中的紧凑性》，Ann.Pure Appl。逻辑，137413-438（2006）·Zbl 1077.03041号
[36] 史蒂文·维克斯（Steven Vickers），《作为空间的局部和拓扑》（Locales and toposes as spaces），（马可·艾略（Marco Aiello）；伊恩·普拉特·哈特曼（Ian E.Pratt-Hartmann）；范·本特姆（Johan F.A.K.），《空间逻辑手册》（2007），施普林格（Springer），429-496·Zbl 1172.03001号
[37] Steven Vickers，《形式拓扑中的子区域设置》，J.符号逻辑，72，2，463-482（2007）·Zbl 1132.03033号
[38] Vickers，Steven，《形式拓扑学中的Coshuves和连通性》（2009），Ann.Pure Appl。《逻辑》（2009），出版中；预印本可在以下网址获得：·Zbl 1251.03091号
[39] 维克斯，S.J。；Townsend，C.F.，《双势阱的普遍表征》，Theoret。计算。科学。，316, 297-321 (2004) ·Zbl 1047.06006号
[40] Winskell，G.，《关于权力领域和情态》，Theoret。计算。科学。，36, 127-137 (1985) ·兹比尔0579.68018
[41] Wraith，G.C.，局部环的广义伽罗瓦理论，（Fourman，M.P.；Mulvey，C.J.；Scott，D.S.，Sheeves的应用。Sheeve的应用，数学讲义，第753卷（1979），Springer-Verlag），739-767·Zbl 0419.14013号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。