首页>外文期刊>数学、物理、化学、力学>数学>Computability: the journal of the Association Ci

Computability: the journal of the Association Ci

中文名称：可计算性:Ci协会杂志》上

ISSN：2211-3568
出版周期：-

发文量：51

期刊论文

热门论文

年度选择

更多>>

全选（0）

1.Finite Self-Information

机译：有限的自我信息
- 作者：Denis R. Hirschfeldt;Rebecca Weber
- 期刊名称：《Computability: the journal of the Association Ci》 | 2012年第1期
- mutual information;
- K-triviality;
- Kolmogorov complexity;
- effective dimension;
- jump traceability;
2.The Hierarchy of Equivalence Relations on the Natural Numbers Under Computable Reducibility*

机译：可计算约简条件下自然数的等价关系层次*
- 作者：Samuel Coskey;Joel David Hamkins;Russell Miller
- 期刊名称：《Computability: the journal of the Association Ci》 | 2012年第1期
- equivalence relations;
- computable reducability;
3.Computability of the Radon-Nikodym Derivative

机译：Radon-Nikodym衍生物的可计算性
- 作者：Mathieu Hoyrup;Cristóbal Rojas;Klaus Weihrauch
- 期刊名称：《Computability: the journal of the Association Ci》 | 2012年第1期
- computable analysis;
- computable measure theory;
- Radon-Nikodym theorem;
4.Von Neumann Normalisation of a Quantum Random Number Generator

机译：量子随机数发生器的冯·诺依曼归一化
- 作者：Alastair A. Abbott;Cristian S. Calude
- 期刊名称：《Computability: the journal of the Association Ci》 | 2012年第1期
- quantum random number generator;
- von Neumann normalisation;
- un-biasing;
5.On the Strength of Weak Compactness

机译：论弱压实的强度
- 作者：Alexander P. Kreuzer
- 期刊名称：《Computability: the journal of the Association Ci》 | 2012年第2期
- Bolzano-WeierstraB principle;
- weak sequential compactness;
- Turing degree;
- abstract Hilbert space;
6.Limitations of Efficient Reducibility to the Kolmogorov Random Strings

机译：有效的可缩减性对Kolmogorov随机弦的限制
- 作者：John M. Hitchcock
- 期刊名称：《Computability: the journal of the Association Ci》 | 2012年第1期
- Kolmogorov random strings;
- polynominal-time reducibility;
- Turing reduction;
- universal machine;
7.Incomputability of Simply Connected Planar Continua

机译：简单连通平面连续体的不可计算性
- 作者：Takayuki Kihara
- 期刊名称：《Computability: the journal of the Association Ci》 | 2012年第2期
- Computable Analysis;
- Type-two-theory of effectivity;
- Effectively closed sets;
8.Computably Enumerable Partial Orders

机译：可计算的偏序
- 作者：Peter A. Cholak;Damir D. Dzhafarov;Noah Schweber;Richard A.
- 期刊名称：《Computability: the journal of the Association Ci》 | 2012年第2期
- Computably enumerable partial orders;
- chains and antichains;
9.Constant Compression and Random Weights*

机译：恒定压缩和随机权重*
- 作者：Wolfgang Merkle;Jason Teutsch
- 期刊名称：《Computability: the journal of the Association Ci》 | 2012年第2期
- Kolmogorov complexity;
- algorithmic randomness;
- compressible strings;
- Omega numbers;
10.Tree Representations via Ordinal Machines

机译：通过序数机器的树表示
- 作者：Philipp Schlicht;Benjamin Seyfferth
- 期刊名称：《Computability: the journal of the Association Ci》 | 2012年第1期
- ordinal machines;
- tree representations;
- uniformization;
- nondeterministic ordinal computations;
11.Incompleteness, Approximation and Relative Randomness*

机译：不完整，近似和相对随机性*
- 作者：Anthony Morphett
- 期刊名称：《Computability: the journal of the Association Ci》 | 2012年第2期
- computably enumerable degrees;
- relative randomness;
- incompleteness;
12.Weak K?nig's Lemma Implies the Uniform Continuity Theorem

机译：弱K？nig的引理意味着一致连续性定理
- 作者：Hannes Diener
- 期刊名称：《Computability: the journal of the Association Ci》 | 2013年第1期
- Weak K?nig Lemma;
- uniform continuity theorem;
- reverse mathematics;
13.Confluence in Data Reduction: Bridging Graph Transformation and Kernelization~*

机译：融合数据约简：桥接图转换和内核化〜*
- 作者：Hartmut Ehrig;Claudia Ermel;Falk Hüffner;Rolf Niedermeier;Olga Runge
- 期刊名称：《Computability: the journal of the Association Ci》 | 2013年第1期
- Parameterized algorithmics;
- problem kernel;
- formal methods;
- critical pair analysis;
- confluence;
14.Natural Large Degree Spectra~*

机译：天然大光谱~~
- 作者：David Diamondstone;Noam Greenberg;Daniel Turetsky
- 期刊名称：《Computability: the journal of the Association Ci》 | 2013年第1期
- computable structure;
- degree spectrum;
- array computable;
- totally ω-c.a.;
- jump-traceable;
15.On the Behavior of Tile Assembly System at High Temperatures

机译：高温下瓷砖装配系统的性能研究
- 作者：Shinnosuke Seki;Yasushi Okuno
- 期刊名称：《Computability: the journal of the Association Ci》 | 2013年第2期
- Tile assembly system;
- temperature;
- NP-hardness;
- threshold programming;
16.Correspondence and Independence of Numerical Evaluations of Algorithmic Information Measures

机译：算法信息测度数值评估的对应性和独立性
- 作者：Fernando Soler-Toscano;Hector Zenil;Jean-Paul Delahaye;Nicolas Gauvrit
- 期刊名称：《Computability: the journal of the Association Ci》 | 2013年第2期
17.Computably Categorical Fields via Fermat's Last Theorem

机译：通过费马最后定理可计算的分类场
- 作者：Russell Miller;Hans Schoutens
- 期刊名称：《Computability: the journal of the Association Ci》 | 2013年第1期
- computability;
- computable categoricity;
- Fermat's Last Theorem;
- fields;
- transcendence;
18.L~1-Computability, Layerwise Computability and Solovay Reducibility

机译：L〜1可计算性，分层可计算性和溶剂可约性
- 作者：Kenshi Miyabe
- 期刊名称：《Computability: the journal of the Association Ci》 | 2013年第1期
- algorithmic randomness;
- computable analysis;
- L1-computability;
- layerwise computability;
- Solovay reducibility;
19.On Some Computability Notions for Real Functions

机译：关于实函数的一些可计算性概念
- 作者：Dimiter Skordev
- 期刊名称：《Computability: the journal of the Association Ci》 | 2013年第1期
- computability;
- function;
- operator;
- Uniformity;
- subrecursive;
20.Reverse Mathematics and Algebraic Field Extensions

机译：逆数学和代数领域扩展
- 作者：Francois G. Dorais;Jeffry Hirst;Paul Shafer
- 期刊名称：《Computability: the journal of the Association Ci》 | 2013年第2期
- Reverse mathematics;
- algebraic field extensions;
- Galois theory;
21.The Arithmetical Hierarchy in the Setting of ω_1

机译：ω_1设置中的算术层次结构
- 作者：Jacob Carson;Jesse Johnson;Julia Knight;Karen Lange;Charles McCoy CSC;John Wallbaum
- 期刊名称：《Computability: the journal of the Association Ci》 | 2013年第2期
- Hierarchy;
- Setting;
- Greenberg;
22.Parameterized Inapproximability of Target Set Selection and Generalizations

机译：目标集选择和概括的参数化不可逼近
- 作者：Cristina Bazgan;Morgan Chopin;André Nichterlein;Florian Sikora
- 期刊名称：《Computability: the journal of the Association Ci》 | 2014年第2期
- parameterized complexity;
- parameterized approximation;
- target set selection;
- spread of information;
23.Computability of Operators on Continuous and Discrete Time Streams

机译：连续和离散时间流上算子的可计算性
- 作者：J.V. Tucker;J.I. Zucker
- 期刊名称：《Computability: the journal of the Association Ci》 | 2014年第1期
24.Degrees that Are Low for Isomorphism

机译：同构度低的度
- 作者：Johanna N.Y. Franklin;Reed Solomon
- 期刊名称：《Computability: the journal of the Association Ci》 | 2014年第2期
- low for isomorphism;
- computable structure theory;
- genericity;
- Martin-L?f random;
25.Algorithmic Aspects of Lipschitz Functions

机译：Lipschitz函数的算法方面
- 作者：Cameron Freer;Bj?rn Kjos-Hanssen;André Nies;Frank Stephan
- 期刊名称：《Computability: the journal of the Association Ci》 | 2014年第1期
- lipschitz functions;
- computability;
26.Shared thoughts on Ivan Soskov (1954-2013)

机译：对伊万·索斯科夫（1954-2013）的共同看法
- 作者：Stela Nikolova
- 期刊名称：《Computability: the journal of the Association Ci》 | 2014年第1期
- Shared;
- thoughts;
- Ivan;
27.Strong Reductions and Isomorphism of Complete Sets

机译：成套的强约简和同构
- 作者：Ryan C. Harkins;John M. Hitchcock;A. Pavan
- 期刊名称：《Computability: the journal of the Association Ci》 | 2014年第2期
- completeness;
- isomorphism conjecture;
- resource-bounded measure;
- SNP reducibility;
28.The Complexity of Recursive Splittings of Random Sets

机译：随机集递归拆分的复杂性
- 作者：Keng Meng Ng;André Nies;Frank Stephan
- 期刊名称：《Computability: the journal of the Association Ci》 | 2014年第1期
- computability;
- algorithmic randomness;
- splitting;
29.Turing Degrees of Isomorphism Types of Geometric Objects

机译：几何对象的同构类型的图灵度
- 作者：Wesley Calvert;Valentina Harizanov;Alexandra Shlapentokh
- 期刊名称：《Computability: the journal of the Association Ci》 | 2014年第2期
- Turing degrees;
- isomorphism types;
- varieties;
- ringed spaces;
- schemes;
30.On the existence of a connected component of a graph

机译：关于图的连通成分的存在
- 作者：Kirill Gura;Jeffry L. Hirst;Carl Mummert
- 期刊名称：《Computability: the journal of the Association Ci》 | 2015年第2期
- Reverse mathematics;
- Weihrauch reducibility;
- component;
- graph;
- connected;
- partition;
- parallelization;
31.Lines missing every random point

机译：线缺少每个随机点
- 作者：Jack H. Lutz;Neil Lutz
- 期刊名称：《Computability: the journal of the Association Ci》 | 2015年第2期
- Randomness;
- algorithmic geometric measure theory;
- computable analysis;
32.Some mew results in monadic second-order arithmetic

机译：一阶二阶算术的一些新结果
- 作者：Stanislav O. Speranski
- 期刊名称：《Computability: the journal of the Association Ci》 | 2015年第2期
- Monadic second-order arithmetic;
- complexity;
- definability;
33.The complexity of satisfaction problems in reverse mathematics

机译：逆数学中的满意度问题的复杂性
- 作者：Ludovic Patey
- 期刊名称：《Computability: the journal of the Association Ci》 | 2015年第1期
- Satisfiability;
- dichotomy;
- Ramsey's theorem;
- reverse mathematics;
34.Asymptotic density,immunity and randomness

机译：渐近密度，免疫力和随机性
- 作者：Eric P. Astor
- 期刊名称：《Computability: the journal of the Association Ci》 | 2015年第2期
- Asymptotic density;
- generic computability;
- intrinsic density;
- immunity;
- Rice's Theorem;
35.Mortality of iterated piecewise affine functions over the integers: Decidability and complexity

机译：整数上分段分段仿射函数的死亡率：可判定性和复杂性
- 作者：Amir M. Ben-Amram
- 期刊名称：《Computability: the journal of the Association Ci》 | 2015年第1期
- Piecewise-affine functions;
- termination;
- mortality;
- convergence;
- undecidability;
36.On maximum conservative extensions

机译：关于最大保守扩展
- 作者：Henry Towsner
- 期刊名称：《Computability: the journal of the Association Ci》 | 2015年第1期
- Reverse mathematics;
- forcing;
- conservative extensions;
37.On limitwise monotonicity and maximal block functions

机译：关于极限单调性和最大块函数
- 作者：Charles M. Harris
- 期刊名称：《Computability: the journal of the Association Ci》 | 2015年第2期
- Limitwise monotonicity;
- η-like;
- computable linear ordering;
- maximal block;
- categoricity;
38.Hyperprojective hierarchy of qcb0-spaces

机译：qcb0-空间的超投影层次
- 作者：Matthias Schroder;Victor Selivanov
- 期刊名称：《Computability: the journal of the Association Ci》 | 2015年第1期
- Hyperprojective hierarchy;
- qcbo-space;
- continuous functionals of countable types;
- Cartesian closed category;
39.Effective operations of type 2 in PCAs

机译：PCA中类型2的有效操作
- 作者：Eric Faber;Jaap van Oosten
- 期刊名称：《Computability: the journal of the Association Ci》 | 2016年第2期
- Partial combinatory algebra;
- computability theory;
- Turing degree;
- effective operation;
- computable functional;
- realizability topos;
- realizability;
40.Barry Cooper (1943-2015): The engine of Computability in Europe

机译：巴里·库珀（1943-2015）：欧洲可计算性的引擎
- 作者：Benedikt L?we
- 期刊名称：《Computability: the journal of the Association Ci》 | 2016年第1期
- personality;
- researcher;
- Computability;
41.Base-complexity classifications of qcbo-spaces1

机译：qcbo-spaces1的基本复杂度分类
- 作者：Matthew de Brecht;Matthias Schr?der;Victor Selivanov
- 期刊名称：《Computability: the journal of the Association Ci》 | 2016年第1期
- qcbo-spaces;
- Y-based spaces;
- hyperspaces;
- Scott topology;
- hyperprojective hierarchy;
- Kleene-Kreisel continuous functionals;
42.Randomness and degree theory for infinite time register machines

机译：无限时间寄存器机器的随机性和度数理论
- 作者：Merlin Carl
- 期刊名称：《Computability: the journal of the Association Ci》 | 2016年第2期
- Infinite time register machines;
- ordinal computability;
- algorithmic randomness;
- degree theory;
- forcing;
43.On the Cantor-Bendixson rank of a set that is searchable in Godel's T

机译：在哥德尔的T中可搜索的集合的Cantor-Bendixson等级上
- 作者：Dag Normann
- 期刊名称：《Computability: the journal of the Association Ci》 | 2016年第1期
- Searchable;
- Godel's T;
- Cantor-Bendixson rank;
44.Mass problems and intuitionistic higher-order logic

机译：质量问题和直觉的高阶逻辑
- 作者：Sankha S. Basu;Stephen G. Simpson
- 期刊名称：《Computability: the journal of the Association Ci》 | 2016年第1期
- Degrees of unsolvability;
- Muchnik degrees;
- mass problems;
- intuitionism;
- computable analysis;
- higher-order logic;
- topos theory;
- sheaves;
- sheaf theory;
- Kolmogorov;
45.Strong and weak reducibility of algorithmic problems1

机译：算法问题的强和弱可约性1
- 作者：Albert A. Muchnik
- 期刊名称：《Computability: the journal of the Association Ci》 | 2016年第1期
- M-problems;
- Ex-problems;
- weak reducibility;
- weak degrees;
46.On Kalimullin pairs

机译：有卡利姆林对
- 作者：Mingzhong Cai;Steffen Lempp;Joseph S. Miller;Mariya I. Soskova
- 期刊名称：《Computability: the journal of the Association Ci》 | 2016年第2期
- Enumeration reducibility;
- Kalimullin pairs;
- genericity;
47.Asymptotic density and the coarse computability bound

机译：渐近密度与粗糙可计算性界
- 作者：Denis R. Hirschfeldt;Carl G. Jockusch Jr.;Timothy H. McNicholl;Paul E. Schupp
- 期刊名称：《Computability: the journal of the Association Ci》 | 2016年第1期
- Asymptotic density;
- coarse computability;
- Turing degrees;
48.On the topological aspects of the theory of represented spaces

机译：关于表示空间理论的拓扑方面
- 作者：Arno Pauly
- 期刊名称：《Computability: the journal of the Association Ci》 | 2016年第2期
- Computable analysis;
- realizability;
- synthetic topology;
- admissible representation;
49.On Martin's pointed tree theorem

机译：关于马丁的尖树定理
- 作者：Rupert H?lzl;Frank Stephan;Liang Yu
- 期刊名称：《Computability: the journal of the Association Ci》 | 2016年第2期
50.Lowness for integer-valued randomness

机译：整数值随机性低
- 作者：Ian Herbert
- 期刊名称：《Computability: the journal of the Association Ci》 | 2016年第2期
- Algorithmic randomness;
- integer-valued martingales;
51.Editorial

机译：社论
- 作者：Vasco Brattka;Paola Bonizzoni;Olivier Bournez;Elvira Mayordomo
- 期刊名称：《Computability: the journal of the Association Ci》 | 2016年第1期
- Computability;
- Association;
- changes;
52.Combinatorial principles equivalent to weak induction

机译：相当于弱诱导的组合原则
- 作者：Davis Caleb;Hirschfeldt Denis R.;Hirst Jeffry;Pardo Jake;Pauly Arno;Yokoyama Keita
- 期刊名称：《Computability: the journal of the Association Ci》 | 2020年第4期
- Reverse mathematics;
- Weihrauch reduction;
- induction;
53.Cardinal invariants, non-lowness classes, and Weihrauch reducibility

机译：红衣主教不变量，非龙岭类和卫浴还原性
- 作者：Greenberg Noam;Kuyper Rutger;Turetsky Dan
- 期刊名称：《Computability: the journal of the Association Ci》 | 2019年第4期
- Cardinal invariants;
- Weihrauch reducibility;
- Turing degrees;
54.Pointed computations and Martin-L?f randomness

机译：尖头计算和马丁-L？F随机性
- 作者：George Barmpalias;Andrew Lewis-Pye;Angsheng Li
- 期刊名称：《Computability: the journal of the Association Ci》 | 2018年第3期
- Computability;
- algorithmic randomness;
- Kolmogorov complexity;
55.Notions of semicomputability in topological algebras over the reals

机译：真实上的拓扑代数中的圆形性能的概念
- 作者：Armstrong Mark;Zucker Jeffery
- 期刊名称：《Computability: the journal of the Association Ci》 | 2019年第1期
- Generalised computability;
- computability on topological algebra;
- computability on the reals;
56.Effective aspects of algorithmically random structures

机译：算法随机结构的有效方面
- 作者：Harrison-Trainor Matthew;Khoussainov Bakh;Turetsky Daniel
- 期刊名称：《Computability: the journal of the Association Ci》 | 2019年第4期
- Random structures;
- word problem;
- degree of a structure;
- random groups;
57.A first-order theory of Ulm type

机译：ULM类型的一阶理论
- 作者：Harrison-Trainor Matthew
- 期刊名称：《Computability: the journal of the Association Ci》 | 2019年第4期
- p-groups;
- Borel reducibility;
- computable structure theory;
58.Expressiveness, meanings and machines

机译：表现力，含义和机器
- 作者：Davidson Joe;Michaelson Greg
- 期刊名称：《Computability: the journal of the Association Ci》 | 2018年第4期
- Elegance;
- computability;
- expressiveness;
- semantics;
- FPGA;
- primitive recursion;
- turing machine;
- RASP machine universality;
59.Splitting and jump inversion in the Turing degrees

机译：在图灵中分裂和跳跃反演
- 作者：S. Barry Cooper;Angsheng Li;Mingji Xia
- 期刊名称：《Computability: the journal of the Association Ci》 | 2018年第3期
- Turing degrees;
- jump inversion;
- splitting;
- computably enumerable degree;
60.The isometry degree of a computable copy of ?p

机译：可计算副本的等距度？p
- 作者：McNicholl Timothy H.;Stull Donald M.
- 期刊名称：《Computability: the journal of the Association Ci》 | 2019年第2期
- Computable analysis;
- functional analysis;
61.The reverse mathematics of Hindman’s Theorem for sums of exactly two elements

机译：Hindman的定理的反向数学恰好两个元素
- 作者：Csima Barbara F.;Dzhafarov Damir D.;Hirschfeldt Denis R.;Jockusch Jr. Carl G.;Solomon Reed;Brown Westrick Linda
- 期刊名称：《Computability: the journal of the Association Ci》 | 2019年第4期
- Reverse mathematics;
- Hindman’s Theorem;
- Lovász Local Lemma;
62.S. Barry Cooper (1943-2015)

机译：S. Barry Cooper（1943-2015）
- 作者：Richard Elwes;Andy Lewis-Pye;Benedikt L?we;Dugald Macpherson;Dag Normann;Andrea Sorbi;Alexandra A. Soskova;Mariya I. Soskova;Peter van Emde Boas;Stan Wainer
- 期刊名称：《Computability: the journal of the Association Ci》 | 2018年第3期
- Barry Cooper;
- incredibly multi-faceted;
- long-distance running;
63.Some results concerning the SRT22 vs. COH problem

机译：关于SRT22与COH问题的一些结果
- 作者：Cholak Peter A.;Dzhafarov Damir D.;Hirschfeldt Denis R.;Patey Ludovic
- 期刊名称：《Computability: the journal of the Association Ci》 | 2020年第4期
- Computable combinatorics;
- Ramsey theory;
- computability theory;
- reverse mathematics;
64.Partial orders and immunity in reverse mathematics

机译：反向数学中的部分秩序和免疫力
- 作者：Patey Ludovic
- 期刊名称：《Computability: the journal of the Association Ci》 | 2018年第4期
- Ramsey’s theorem;
- partial orders;
- preservation;
- immunity;
- reverse mathematics;
65.Linearisations and the Ershov hierarchy

机译：线性和ershov层次结构
- 作者：S. Barry Cooper;James Gay;Charles M. Harris;Kyung Il Lee;Anthony Morphett
- 期刊名称：《Computability: the journal of the Association Ci》 | 2018年第3期
- Computable;
- partial order;
- linear extension;
- well founded;
- scattered;
- Ershov hierarchy;
- arithmetical hierarchy;
66.A constructive proof of the dense existence of nowhere-differentiable functions in C[0, 1]

机译：C [0,1]中无处不可微弱的功能的密集存在的建设性证明
- 作者：Nemoto Takako
- 期刊名称：《Computability: the journal of the Association Ci》 | 2020年第4期
67.Q-Wadge degrees as free structures

机译：Q-WATGE DACTE作为自由结构
- 作者：Selivanov Victor
- 期刊名称：《Computability: the journal of the Association Ci》 | 2020年第4期
- Wadge degree;
- better quasiorder;
- semilattice;
- labeled forest;
- free structure;
68.Forests describing Wadge degrees and topological Weihrauch degrees of certain classes of functions and relations

机译：森林描述了某些职能和关系的漫步度和拓扑威欣学位
- 作者：Hertling Peter
- 期刊名称：《Computability: the journal of the Association Ci》 | 2020年第4期
69.The jump hierarchy in the enumeration degrees

机译：枚举程度中的跳转层次结构
- 作者：Hristo A. Ganchev;Mariya I. Soskova
- 期刊名称：《Computability: the journal of the Association Ci》 | 2018年第3期
- Enumeration degrees;
- definability;
- jump classes;
70.The search for natural definability in the Turing degrees

机译：寻找图灵度的自然能力
- 作者：Andrew E.M. Lewis-Pye
- 期刊名称：《Computability: the journal of the Association Ci》 | 2018年第3期
- Computability;
- degrees;
- Turing;
- jump classes;
- definability;
71.Overt choice

机译：公开选择
- 作者：de Brecht Matthew;Pauly Arno;Schroeder Matthias
- 期刊名称：《Computability: the journal of the Association Ci》 | 2020年第4期
- Weihrauch reducibility;
- computable topology;
- quasi-Polish space;
72.Finitely generated semiautomatic groups

机译：有限生成的半自动组
- 作者：Sanjay Jain;Bakhadyr Khoussainov;Frank Stephan
- 期刊名称：《Computability: the journal of the Association Ci》 | 2018年第3期
- Nilpotent groups;
- automatic groups;
- automatic structures;
- semiautomatic structures;
- Cayley automatic groups;
- semigroups;
- finitely generated groups;
73.Feasible set functions have small circuits

机译：可行的函数具有小电路
- 作者：Beckmann Arnold;Buss Sam;Friedman Sy-David;Müller Moritz;Thapen Neil
- 期刊名称：《Computability: the journal of the Association Ci》 | 2019年第1期
74.Degrees of relations on ordinals

机译：秩序的关系
- 作者：Wright Matthew
- 期刊名称：《Computability: the journal of the Association Ci》 | 2018年第4期
- Computable relations;
- computable structures;
- ordinals;
75.Joins and meets in the structure of ceers

机译：加入并符合CERERS的结构
- 作者：Andrews Uri;Sorbi Andea
- 期刊名称：《Computability: the journal of the Association Ci》 | 2019年第4期
76.Bar recursion is not computable via iteration

机译：栏递归不通过迭代计算
- 作者：Longley John
- 期刊名称：《Computability: the journal of the Association Ci》 | 2019年第2期
- Computability;
- higher-order;
- non-definable;
- bar recursion;
- iteration;
77.Preface to the special issue in memory of S. Barry Cooper (1943-2015)

机译：在纪念S. Barry Cooper（1943-2015）中的特殊问题
- 作者：Benedikt L?we
- 期刊名称：《Computability: the journal of the Association Ci》 | 2018年第3期
- Preface;
- special;
- Barry Cooper;
78.Computably enumerable sets that are automorphic to low sets

机译：可计算的令人享受的集合，它是低套装的
- 作者：Peter Cholak;Rachel Epstein
- 期刊名称：《Computability: the journal of the Association Ci》 | 2017年第1期
- 03D25;
- computably enumerable;
- low;
79.Controlling iterated jumps of solutions to combinatorial problems

机译：控制组合问题解决方案的迭代跳跃
- 作者：Ludovic Patey
- 期刊名称：《Computability: the journal of the Association Ci》 | 2017年第1期
- Definability;
- Ramsey’s theorem;
- reverse mathematics;
80.Computability on measurable functions

机译：可测量功能的可计算性
- 作者：Klaus Weihrauch
- 期刊名称：《Computability: the journal of the Association Ci》 | 2017年第1期
- Computable analysis;
- measurable functions;
81.Closed left-r.e. sets

机译：关闭了左子。套
- 作者：Sanjay Jain;Frank Stephan;Jason Teutsch
- 期刊名称：《Computability: the journal of the Association Ci》 | 2017年第1期
- Left-r.e. sets;
- reducibilities;
- Kolmogorov complexity;
- cohesive sets;
- weakly 1-generic sets;
82.Computable copies of ?p

机译：可计算副本？p
- 作者：McNicholl Timothy H.
- 期刊名称：《Computability: the journal of the Association Ci》 | 2017年第4期
- Computable analysis;
- computable model theory;
- lt;
- igt;
- ?lt;
- /igt;
- lt;
- supgt;
- lt;
- igt;
- plt;
- /igt;
- lt;
- /supgt;
- spaces;
83.Undecidability of satisfiability of expansions of FO[] over words with a FO[+]-definable set

机译：与A＆NBSP的单词脱离的可靠性不可透析; FO [+] - 可定义的集合
- 作者：Milchior Arthur
- 期刊名称：《Computability: the journal of the Association Ci》 | 2017年第4期
- Finite model theory;
- first order logic;
- arithmetic;
- undecidability;
84.Computational complexity and the conjugacy problem

机译：计算复杂性和共轭问题
- 作者：Miasnikov Alexei;Schupp Paul
- 期刊名称：《Computability: the journal of the Association Ci》 | 2017年第4期
- Conjugacy problem;
- individual conjugacy problem;
- decidability;
- NP-complete;
- half-conjugacy;
- algorithmically finite groups;
85.Coloring the rationals in reverse mathematics

机译：在逆向数学中着色理性
- 作者：Frittaion Emanuele;Patey Ludovic
- 期刊名称：《Computability: the journal of the Association Ci》 | 2017年第4期
- Reverse mathematics;
- Ramsey;
- computable reduction;
86.Computability and categoricity of weakly ultrahomogeneous structures

机译：弱超均匀结构的计算性和分类
- 作者：Adams Francis;Cenzer Douglas
- 期刊名称：《Computability: the journal of the Association Ci》 | 2017年第4期
- Computability;
- ultrahomogeneous;
- injections;
- effective categoricity;
- computable model theory;
87.Computable intersection points

机译：可计算的交叉点
- 作者：Iljazovi? Zvonko;Pa?ek Bojan
- 期刊名称：《Computability: the journal of the Association Ci》 | 2018年第1期
- Computable metric space;
- chainable continuum;
- computable compact set;
- computably enumerable open set;
- computable point;
88.On characterizations of randomized computation using plain Kolmogorov complexity

机译：用普通kolmogorov复杂性对随机计算的特征
- 作者：Hirahara Shuichi;Kawamura Akitoshi
- 期刊名称：《Computability: the journal of the Association Ci》 | 2018年第1期
- Kolmogorov complexity;
- randomness;
- truth-table reductions;
89.The Gandy–Hyland functional and a computational aspect of Nonstandard Analysis

机译：NOSTRANDARD＆NBSP的GANDY-HYLAND功能和计算方面;分析
- 作者：Sanders Sam
- 期刊名称：《Computability: the journal of the Association Ci》 | 2018年第1期
- Gandy–Hyland functional;
- Nonstandard Analysis;
- higher-order computability theory;
90.Lowness for isomorphism and degrees of genericity

机译：为同构和常见程度的壮丽程度
- 作者：Franklin Johanna N.Y.;Turetsky Dan
- 期刊名称：《Computability: the journal of the Association Ci》 | 2018年第1期
- Computability;
- isomorphism;
- genericity;
- lowness;
91.Iterative forcing and hyperimmunity in reverse mathematics

机译：反向数学中的迭代迫使和超级性
- 作者：Patey Ludovic
- 期刊名称：《Computability: the journal of the Association Ci》 | 2017年第3期
- Iterative forcing;
- hyperimmunity;
- reverse mathematics;
92.On subrecursive representability of irrational numbers

机译：关于非理性数的次级持有量
- 作者：Kristiansen Lars
- 期刊名称：《Computability: the journal of the Association Ci》 | 2017年第3期
- Computable analysis;
- subrecursive functions;
- honest functions;
- irrational numbers;
93.Dagstuhl Seminar on Measuring the Complexity of Computational Content 2018 Preface

机译：DAGSTUHL研讨会测量计算内容2018前言复杂性
- 作者：Brattka Vasco;Dzhafarov Damir D.;Marcone Alberto;Pauly Arno
- 期刊名称：《Computability: the journal of the Association Ci》 | 2020年第4期
94.Transfinite Ford–Fulkerson on a finite network

机译：Transfinite Ford-Fulkerson在有限网络上
- 作者：Backman Spencer;Huynh Tony
- 期刊名称：《Computability: the journal of the Association Ci》 | 2018年第4期
- Network flows;
- ordinals;
95.Dense computability, upper cones, and minimal pairs

机译：密集的计算，上锥体和最小对
- 作者：Astor Eric P.;Hirschfeldt Denis R.;Jockusch Jr. Carl G.
- 期刊名称：《Computability: the journal of the Association Ci》 | 2019年第2期
- Asymptotic density;
- dense computability;
- coarse computability;
- generic computability;
- reducibilities;
- quasiminimality;
96.Extending Cooper's theorem to ?_3~0 Turing degrees

机译：将Cooper的定理扩展到？_3〜0图灵度
- 作者：Victor L. Selivanov;Mars M. Yamaleev
- 期刊名称：《Computability: the journal of the Association Ci》 | 2018年第3期
- Ershov's hierarchy;
- fine hierarchy;
- arithmetical hierarchy;
- Turing degrees;
- ?_3~0-sets;
97.Preface of the special issue for the Oberwolfach Workshop on Computability Theory 2018

机译：OBERWOLFACH讲习班专题介绍2018年可计算性理论
- 作者：Brattka Vasco;Downey Rod;Knight Julia F.;Lempp Steffen
- 期刊名称：《Computability: the journal of the Association Ci》 | 2019年第4期
98.Compositions of multivalued functions

机译：多价函数的组成
- 作者：Le Goh Jun
- 期刊名称：《Computability: the journal of the Association Ci》 | 2020年第4期
- Weihrauch reducibility;
- compositional product;
- reduction game;
- step product;
99.Automorphism bases for the recursively enumerable degrees

机译：递归令人营造的自动形态基础
- 作者：Klaus Ambos-Spies
- 期刊名称：《Computability: the journal of the Association Ci》 | 2018年第3期
- Recursively enumerable sets;
- degrees;
- automorphisms;
- automorphism bases;
100.Effective localization number: Building k-surviving degrees

机译：有效的本地化编号：建立K-survive度
- 作者：Ongay-Valverde Iván;Schweber Noah
- 期刊名称：《Computability: the journal of the Association Ci》 | 2019年第4期
- Set theory;
- computability theory;
- cardinal characteristics;
- Cichon diagram;
- forcing;

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号