On the (semi)lattices induced by continuous reducibilities
On the (semi)lattices induced by continuous reducibilities
复制标题
关于连续可约性诱导的（半）晶格
DOI：
--
复制
发表时间：
2009
影响因子：
0.3
通讯作者：
A. Pauly
中科院分区：
文献类型：
--
作者：
A. Pauly
连续可约性在可计算分析中是一个被证明的工具，并且在其他领域如构造数学或逆向数学中也有应用。我们研究了这两个最重要的定义的几个变体的序论性质，特别是引入了它们的上确界。上确界被示出为与几个特征数相关（© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA，魏因海姆）
Continuous reducibilities are a proven tool in Computable Analysis, and have applications in other fields such as Constructive Mathematics or Reverse Mathematics. We study the order‐theoretic properties of several variants of the two most important definitions, and especially introduce suprema for them. The suprema are shown to commutate with several characteristic numbers (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
具有最小离散建议的实际计算：非均匀可计算性的复杂性理论及其在有效线性代数中的应用
DOI：
10.1016/j.apal.2011.12.030
发表时间：
2012
期刊：
ArXiv
影响因子：
--
作者：
M. Ziegler
通讯作者：
M. Ziegler