Iosif Petrakis公司
人员信息
优化列表
2020年–今天
2022 [公元10年] Iosif Petrakis公司 :
类别和预升的严格可计算性模型。 J.日志。 计算。 32 ( 8 ) : 1815-1838 ( 2022 ) [公元9年] Iosif Petrakis公司 :
主教式构造数学的相关性证明。 数学。 结构。 计算。 科学。 32 ( 1 ) : 1-43 ( 2022 ) [j8] Iosif Petrakis公司 :
Bishop拓扑群中的闭子集。 理论。 计算。 科学。 935 : 128-143 ( 2022 ) [第11条] Iosif Petrakis公司 , 丹尼尔·米塞尔贝克-韦塞尔 :
互补子集代数。 CiE公司 2022 : 246-258 [第10条] Iosif Petrakis公司 :
类别和预升的可计算性模型。 LFCS公司 2022 : 253-265 [i1] 尼尔斯·科普 , Iosif Petrakis公司 :
可计算泛函理论中的强否定。 CoRR公司 abs/2210.05491 ( 2022 ) 2021 [j7] Iosif Petrakis公司 :
Bishop空间的直接谱及其极限。 日志。 方法计算。 科学。 17 ( 2 ) ( 2021 ) 2020 [j6] Iosif Petrakis公司 :
McShane-Whitney在建设性分析中的扩展。 日志。 方法计算。 科学。 16 ( 1 ) ( 2020 ) [j5] Iosif Petrakis公司 :
Bishop空间的嵌入。 J.日志。 计算。 30 ( 1 ) : 349-379 ( 2020 ) 【c9】 Iosif Petrakis公司 :
Bishop拓扑上Baire类一的函数。 CiE公司 2020 : 215-227
2010 – 2019
2019 【j4】 Iosif Petrakis公司 :
伪度量和Bishop拓扑的构造一致性。 J.日志。 分析。 11 ( 2019 ) 【c8】 Iosif Petrakis公司 :
Bishop空间中的Borel集和Baire集。 CiE公司 2019 : 240-252 2018 【c7】 Iosif Petrakis公司 :
毕晓普集合论中的因和和和因积。 类型 2018 : 3:1-3:21 2017 【c6】 Iosif Petrakis公司 :
麦克肖恩·惠特尼·佩尔斯。 CiE公司 2017 : 351-363 【c5】 Iosif Petrakis公司 :
可分离度量空间上极限空间层次的密度定理。 TAMC公司 2017 : 484-498 2016 [j3] Iosif Petrakis公司 :
用近似值限制空间。 Ann.纯粹应用。 日志。 167 ( 9 ) : 737-752 ( 2016 ) [注2] 汉内斯·莱特盖布 , Iosif Petrakis公司 , 彼特·舒斯特 , 赫尔穆特·施维赫滕贝格 :
编辑。 拍打 三 ( 4 ) : 513-516 ( 2016 ) 【c4】 Iosif Petrakis公司 :
度量空间中Stone-Weierstrass定理的直接构造性证明。 CiE公司 2016 : 364-374 【c3】 Iosif Petrakis公司 :
Bishop空间的Urysohn扩张定理。 LFCS公司 2016 : 299-316 【c2】 Iosif Petrakis公司 :
拓扑紧性的构造函数理论方法。 低收入国家 2016 : 605-614 2015 [c1] Iosif Petrakis公司 :
完全规则主教空间。 CiE公司 2015 : 302-312 2012 [j1] Iosif Petrakis公司 :
居住地自然人可数选择的对比。 J.大学。 计算。 科学。 18 ( 20 ) : 2879-2892 ( 2012 )