×

Bishop拓扑群中的闭子集。 (英语) Zbl 07601542号

摘要:我们引入了毕晓普拓扑群的概念,即具有函数\(F\)的毕晓普拓扑的群\(X\),使得\(X\)的群运算是关于\(F\)的毕晓普态射。由Bishop拓扑(F)诱导的邻域结构中的闭子集是以正的方式定义的,即,不是(X)中开子集的补集。相应的闭包算子虽然不是拓扑的,但在经典意义上不涉及序列。由于避免了可数选择(CC),并且与Richman对CC在构造数学中的使用的批评一致,这里显示的Bishop拓扑群闭子集的基本事实具有明确的算法内容。我们在毕晓普的构造数学BISH非正式系统中工作,没有可数选择,配备了具有可数多前提规则的归纳定义。

MSC公司:

68季度xx 计算理论
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] P.Aczel,M.Rathjen,《建构主义集合理论》,书稿,2010年。
[2] Arhangel’skii,A。;Tkachenko,M.,《拓扑群和相关结构》(2008),亚特兰蒂斯出版社/世界科学出版社·Zbl 1323.22001年
[3] Bishop,E.,《建构分析基础》(1967),麦格劳-希尔·Zbl 0183.01503号
[4] Bishop,E。;Cheng,H.,建构测量理论,Mem。阿默尔。数学。Soc.,第116卷(1972年)·Zbl 0239.02019号
[5] Bishop,E。;Bridges,D.S.,建构分析,格兰德伦数学。Wissenschaften,第279卷(1985年),施普林格出版社:施普林格出版社,海德堡-柏林-纽约·Zbl 0656.03042号
[6] 布里奇斯,D.S。;Richman,F.,《建构数学的多样性》(1987),剑桥大学出版社·Zbl 0618.03032号
[7] 布里奇斯,D.S。;Vţ෧ūŷ,L.S.,《独立性和统一性:一个建设性的发展》(CiE Series Theory and Applications of Computability(2011),施普林格出版社:柏林施普林格出版公司,海德堡)·Zbl 1248.03002号
[8] 布里奇斯,D。;Palmgren,E.,《构造数学》(《构造拓扑方法》(2018),斯坦福大学哲学百科全书)
[9] Bridges,D.S.,《功能空间的反思》,《纯粹应用》。日志。,163, 101-110 (2012) ·Zbl 1251.03093号
[10] Coquand,T。;Dybjer,P。;Palmgren,大肠杆菌。;Setzer,A.,《建构数学的类型理论基础》(2005),Book-Draft
[11] Comfort,W.W.,Stone-Tech型定理和Tychonoff型定理,没有选择公理;和他们的实际紧凑型类似物Fundam。数学。,63,1,97-110(1968年)·Zbl 0185.26401号
[12] Escardó,M.H。;徐,C.,Kleene-Kreisel连续泛函的构造性表现,Ann.Pure Appl。日志。,167, 9, 770-793 (2016) ·Zbl 1402.03020号
[13] Geins,J.,Bishop空间理论和C空间理论之间的桥梁(2018),LMU数学研究所,硕士论文
[14] 希金斯,P.J.,《拓扑群导论》(1974),剑桥大学出版社·Zbl 0288.22001
[15] 石原慎太郎。;Mines,R.公司。;舒斯特,P。;Vţ෥ūŷ,L.S.,《准partness和邻里空间》,Ann.Pure Appl。日志。,141, 296-306 (2006) ·Zbl 1099.03053号
[16] Ishihara,H.,《隔断空间的两个子类别》,《Ann.Pure Appl》。日志。,163, 132-139 (2013) ·Zbl 1251.03094号
[17] Ishihara,H.,《将主教的功能空间与邻域空间联系起来》,Ann.Pure Appl。日志。,164, 482-490 (2013) ·Zbl 1275.03163号
[18] 石原,H。;Palmgren,E.,《构造集理论和类型理论中的商拓扑》,Ann.Pure Appl。日志。,141, 257-265 (2006) ·Zbl 1094.03053号
[19] Kramer,L.,《地方契约组织》,讲稿(2017年)
[20] 伦巴第,H。;Quité,C.,《交换代数:构造方法》(2015),Springer Science+Business Media Dordrecht·Zbl 1327.13001号
[21] Mandelkern,M.,单点紧化的度量,Proc。美国数学。Soc.,107,4,1111-1115(1989)·Zbl 0675.54028号
[22] Mines,R.公司。;Richman,F。;Ruitenburg,W.,《构造代数课程》(1988),施普林格·Zbl 0725.03044号
[23] Myhill,J.,《建构集理论》,J.Symb。日志。,40, 347-382 (1975) ·兹比尔0314.02045
[24] 卢巴斯基,R.S。;Rathjen,M.,关于正则扩张公理及其变体,数学。日志。Q.,49,5,511-518(2003)·Zbl 1042.03040号
[25] Palmgren,E.,局部紧度量空间到区域设置的构造性和函数嵌入,Topol。申请。,154, 1854-1880 (2007) ·兹伯利1116.03057
[26] Petrakis,I.,《完全正则Bishop空间》(Beckmann,A.等,Evolving Computability,CiE 2015)。进化计算能力,CiE 2015,LNCS,第9136卷(2015)),302-312·Zbl 1461.03058号
[27] Petrakis,I.,Bishop空间的构造拓扑(2015),LMU:LMU慕尼黑,博士论文·Zbl 1335.54002号
[28] Petrakis,I.,Bishop空间的Urysohn扩张定理,(Artemov,S.;Nerode,A.,2016年计算机科学逻辑基础研讨会。2016年计算机科学逻辑基础研讨会,LNCS,第9537卷(2016),299-316·Zbl 1477.03254号
[29] I.Petrakis,拓扑紧性的构造函数理论方法,摘自:2016年7月5日至8日第31届年度ACM-IEEEE计算机科学逻辑研讨会(LICS 2016)会议记录,美国纽约,第605-614页,https://doi.org/10.1145/2933575.2933582。 ·Zbl 1394.03076号
[30] Petrakis,I.,伪度量和Bishop拓扑的构造一致性,J.Log。分析。,11:FT2,1-44(2019年)·Zbl 1436.03313号
[31] Petrakis,I.,Borel和Baire设置在Bishop空间,(Manea,F.;等人,CiE 2019。CiE 2019,LNCS,第11558卷(2019)),240-252·Zbl 1434.03142号
[32] Petrakis,I.,Bishop集合论中的相依和和相依积,(Dybjer,P.等,2018年类型。2018年类型,LIPIcs,第130卷(2019)),第3条pp·Zbl 1528.03241号
[33] Petrakis,I.,《Bishop空间的嵌入》,J.Log。计算。,exaa015(2020)·Zbl 1515.03224号
[34] Petrakis,I.,《Bishop拓扑上Baire-class one的函数》(Anselmo,M.;etal.,Beyond the Horizon of Computability CiE 2020)。超越可计算性的地平线CiE 2020,LNCS,第12098卷(2020),215-227·Zbl 07633510号
[35] Petrakis,I.,《主教集理论中的集合族》(2020年),LMU:LMU慕尼黑,Habilitationsschrift
[36] Petrakis,I.,毕晓普空间的直接谱及其极限,对数。方法计算。科学。,17,2,第4条pp.(2021)·Zbl 1473.03038号
[37] Petrakis,I.,主教式构造数学的相关性证明,数学。结构。计算。科学。(2022),正在出版·Zbl 07630468号
[38] I.Petrakis,Bishop空间的积分理论,2022年,准备中。
[39] I.Petrakis,《建设性舒适紧凑性》,2022年,准备中。
[40] Petrakis,I.,Bishop集理论中完全由函数分离的集(2022)
[41] I.Petrakis,L.F.Grubmüller,局部紧度量空间的构造和预测积分理论,2022年,正在编写中。
[42] 彼得拉基斯,I。;Wessel,D.,《补子集代数》(Berger,U.;等,《可计算性中的革命与启示》,LNCS,第13359卷(2022年),Springer),246-258·Zbl 07627933号
[43] Petrakis,I.,伪紧Bishop空间的基,(Bridges,D.S.;等,《构造数学手册》(2023),剑桥大学出版社),出版中·Zbl 07725652号
[44] Richman,F.,《没有选择的建构数学》,199-205(2001),载于[47]·Zbl 1036.03052号
[45] Sambin,G.,《直觉主义形式空间——第一次交流》(Skordev,D.,《数学逻辑及其应用》(1987),Plenum出版社),187-204年·Zbl 0703.0304号
[46] G.Sambin,《基本图:构造拓扑的结构》,牛津大学出版社,出版。
[47] (Schuster,P.;Berger,U.;Osswald,H.,《重新统一连续体的对足类构造性和非标准性视图》,《重新组合连续体对足类的构造性和非正式视图》,1999年威尼斯研讨会论文集(2001年),Kluwer:Kluwer Dordrecht)
[48] Schuster,P.,可数选择作为一个有问题的一致性原则,Philos。数学。(3), 12, 106-134 (2004) ·Zbl 1074.03003号
[49] Warner,S.,《拓扑环》,《北霍兰德数学研究》,第178卷(1993年),爱思唯尔科学出版社·兹比尔0785.13008
[50] Xu,C.,类型理论的连续计算解释(2015),伯明翰大学博士论文
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。