×

Computability

The Journal of the Association CiE

Short Title: Computability
Publisher: IOS Press, Amsterdam
ISSN: 2211-3568; 2211-3576/e
Online: http://www.iospress.nl/journal/computability/
Comments: Indexed cover-to-cover
Documents Indexed: 152 Publications (since 2012)
References Indexed: 51 Publications with 1,189 References.
all top 5

Authors

8 Patey, Ludovic
7 Dzhafarov, Damir D.
7 Hirschfeldt, Denis Roman
6 Pauly, Arno M.
5 Hirst, Jeffry Lynn
5 Selivanov, Viktor L’vovich
5 Stephan, Frank
4 Carl, Merlin
4 Weihrauch, Klaus
3 Calude, Cristian S.
3 Cholak, Peter A.
3 Downey, Rodney Graham
3 Greenberg, Noam
3 Harrison-Trainor, Matthew
3 Jockusch, Carl G. jun.
3 Lewis-Pye, Andrew E. M.
3 Löwe, Benedikt
3 Marcone, Alberto
3 McNicholl, Timothy H.
3 Miller, Russell G.
3 Normann, Dag
3 Sanders, Sam
3 Schröder, Matthias
3 Soskova, Mariya Ivanova
3 Zucker, Jeffery I.
2 Astor, Eric P.
2 Brattka, Vasco
2 Cooper, Stuart Barry
2 Csima, Barbara F.
2 De Brecht, Matthew
2 Dumitrescu, Monica E. Bad
2 Fernau, Henning
2 Fokina, Ekaterina B.
2 Franklin, Johanna N. Y.
2 Goh, Jun Le
2 Harris, Charles M.
2 Hitchcock, John M.
2 Jain, Sanjay
2 Knight, Julia F.
2 Kristiansen, Lars
2 Lempp, Steffen
2 Li, Angsheng
2 Lutz, Neil
2 Morphett, Anthony
2 Niedermeier, Rolf
2 Nies, André Otfrid
2 Rossegger, Dino
2 San Mauro, Luca
2 Schlicht, Philipp
2 Schupp, Paul E.
2 Schweber, Noah David
2 Shafer, Paul
2 Solomon, Reed
2 Stull, Donald M.
2 Teutsch, Jason
2 Turetsky, Dan
2 Turetsky, Daniel D.
2 Westrick, Linda Brown
1 Abbott, Alastair A.
1 Adams, Francis
1 Agrawal, Manindra
1 Ambos-Spies, Klaus
1 Andrews, Uri
1 Arthur, Katherine
1 Backman, Spencer
1 Barmpalias, George
1 Basu, Sankha S.
1 Bazgan, Cristina
1 Bazhenov, Nikolaĭ Alekseevich
1 Beckmann, Arnold
1 BeMent, Zach
1 Ben-Amram, Amir M.
1 Brown, Tyler A.
1 Buss, Sam
1 Cai, Mingzhong
1 Calvert, Wesley
1 Carlucci, Lorenzo
1 Carson, Jacob
1 Cenzer, Douglas
1 Chakraborty, Diptarka
1 Chih, Ellen S.
1 Chopin, Morgan
1 Cintioli, Patrizio
1 Coskey, Samuel
1 Cui, Cewei
1 Dang, Zhe
1 Das, Debarati
1 Davidson, Joe
1 Davis, Caleb S.
1 Daylight, Edgar G.
1 Delahaye, Jean-Paul
1 Deveau, Michael
1 Diamondstone, David E.
1 Diener, Hannes
1 Dorais, François Gilbert
1 Ehrig, Hartmut
1 Elwes, Richard H.
1 Epstein, Rachel
1 Ermel, Claudia
1 Faber, Eric
...and 120 more Authors

Publications by Year

Citations contained in zbMATH Open

82 Publications have been cited 288 times in 220 Documents Cited by Year
On the topological aspects of the theory of represented spaces. Zbl 1401.03087
Pauly, Arno
25
2016
Incomputability of simply connected planar continua. Zbl 1277.03044
Kihara, Takayuki
13
2012
Computability of the Radon-Nikodym derivative. Zbl 1277.03043
Hoyrup, Mathieu; Rojas, Cristóbal; Weihrauch, Klaus
12
2012
Joins and meets in the structure of ceers. Zbl 1454.03048
Andrews, Uri; Sorbi, Andea
11
2019
Asymptotic density and the coarse computability bound. Zbl 06568532
Hirschfeldt, Denis R.; Jockusch, Carl G. jun.; McNicholl, Timothy H.; Schupp, Paul E.
10
2016
Computably categorical fields via Fermat’s last theorem. Zbl 1408.03029
Miller, Russell; Schoutens, Hans
9
2013
Algorithmic aspects of Lipschitz functions. Zbl 1408.03031
Freer, Cameron; Kjos-Hanssen, Bjørn; Nies, André; Stephan, Frank
8
2014
The hierarchy of equivalence relations on the natural numbers under computable reducibility. Zbl 1325.03049
Coskey, Amuel; Hamkins, Joel David; Miller, Russell
8
2012
Computable copies of \(\ell^{p^1}\). Zbl 1472.03042
McNicholl, Timothy H.
8
2017
Degrees that are low for isomorphism. Zbl 1322.03028
Franklin, Johanna N. Y.; Solomon, Reed
7
2014
Parameterized inapproximability of target set selection and generalizations. Zbl 1320.68088
Bazgan, Cristina; Chopin, Morgan; Nichterlein, André; Sikora, Florian
7
2014
\(L^1\)-computability, layerwise computability and Solovay reducibility. Zbl 1315.03073
Miyabe, Kenshi
7
2013
Iterative forcing and hyperimmunity in reverse mathematics. Zbl 1420.03028
Patey, Ludovic
6
2017
Asymptotic density, immunity and randomness. Zbl 1337.03059
Astor, Eric P.
6
2015
Notions of robust information coding. Zbl 1420.03096
Dzhafarov, Damir D.; Igusa, Gregory
6
2017
Controlling iterated jumps of solutions to combinatorial problems. Zbl 1420.03027
Patey, Ludovic
5
2017
Lowness for isomorphism and degrees of genericity. Zbl 1435.03068
Franklin, Johanna N. Y.; Turetsky, Dan
5
2018
The Gandy-Hyland functional and a computational aspect of nonstandard analysis. Zbl 1436.03238
Sanders, Sam
5
2018
Computable intersection points. Zbl 1441.03033
Iljazović, Zvonko; Pažek, Bojan
5
2018
Lines missing every random point. Zbl 1333.03110
Lutz, Jack H.; Lutz, Neil
5
2015
Natural large degree spectra. Zbl 1308.03047
Diamondstone, David; Greenberg, Noam; Turetsky, Daniel
5
2013
Hyperprojective hierarchy of \(\mathrm{qcb}_0\)-spaces. Zbl 1393.03052
Schröder, Matthias; Selivanov, Victor
4
2015
Correspondence and independence of numerical evaluations of algorithmic information measures. Zbl 1286.68252
Soler-Toscano, Fernando; Zenil, Hector; Delahaye, Jean-Paul; Gauvrit, Nicolas
4
2013
The isometry degree of a computable copy of \( \ell^{p1}\). Zbl 1480.03033
McNicholl, Timothy H.; Stull, Donald M.
4
2019
On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness. Zbl 1454.03017
Kohlenbach, Ulrich
4
2019
The arithmetical hierarchy in the setting of \(\omega_1\). Zbl 1350.03034
Carson, Jacob; Johnson, Jesse; Knight, Julia; Lange, Karen; McCoy, Charles; Wallbaum, John
3
2013
Computability of operators on continuous and discrete time streams. Zbl 1358.68105
Tucker, J. V; Zucker, J. I
3
2014
Ramsey’s theorem and products in the Weihrauch degrees. Zbl 1485.03026
Dzhafarov, Damir D.; Goh, Jun Le; Hirschfeldt, Denis R.; Patey, Ludovic; Pauly, Arno
3
2020
Degrees of categoricity above limit ordinals. Zbl 1485.03110
Csima, Barbara F.; Deveau, Michael; Harrison-Trainor, Matthew; Mahmoud, Mohammad Assem
3
2020
On subrecursive representability of irrational numbers. II. Zbl 1450.03008
Kristiansen, Lars
3
2019
On subrecursive representability of irrational numbers. Zbl 1423.03156
Kristiansen, Lars
3
2017
Dense computability, upper cones, and minimal pairs. Zbl 1454.03052
Astor, Eric P.; Hirschfeldt, Denis R.; Jockusch, Carl G. jun.
3
2019
The reverse mathematics of Hindman’s theorem for sums of exactly two elements. Zbl 1448.03007
Csima, Barbara F.; Dzhafarov, Damir D.; Hirschfeldt, Denis R.; Jockusch, Carl G. jun.; Solomon, Reed; Westrick, Linda Brown
3
2019
Cardinal invariants, non-lowness classes, and Weihrauch reducibility. Zbl 1480.03043
Greenberg, Noam; Kuyper, Rutger; Turetsky, Dan
3
2019
On the existence of a connected component of a graph. Zbl 1337.03086
Gura, Kirill; Hirst, Jeffry L.; Mummert, Carl
3
2015
Mortality of iterated piecewise affine functions over the integers: decidability and complexity. Zbl 1325.68089
Ben-Amram, Amir M.
2
2015
On maximum conservative extensions. Zbl 1326.03072
Towsner, Henry
2
2015
On the behavior of tile assembly system at high temperatures. Zbl 1286.68144
Seki, Shinnosuke; Okuno, Yasushi
2
2013
New bounds on the strength of some restrictions of Hindman’s theorem. Zbl 1485.03023
Carlucci, Lorenzo; Kołodziejczyk, Leszek Aleksander; Lepore, Francesco; Zdanowski, Konrad
2
2020
Overt choice. Zbl 1485.03152
de Brecht, Matthew; Pauly, Arno; Schröder, Matthias
2
2020
Tree representations via ordinal machines. Zbl 1270.03061
Schlicht, Philipp; Seyfferth, Benjamin
2
2012
Computably enumerable partial orders. Zbl 1277.03039
Cholak, Peter A.; Dzhafarov, Damir D.; Schweber, Noah; Shore, Richard A.
2
2012
On the strength of weak compactness. Zbl 1270.03128
Kreuzer, Alexander P.
2
2012
Surjective \(H\)-colouring: new hardness results. Zbl 1425.05055
Golovach, Petr A.; Johnson, Matthew; Martin, Barnaby; Paulusma, Daniël; Stewart, Anthony
2
2019
Infinite time recognizability from generic oracles and the recognizable jump operator. Zbl 1423.03154
Carl, Merlin
2
2017
Isomorphism and classification for countable structures. Zbl 1453.03032
Miller, Russell
2
2019
Measuring the complexity of reductions between equivalence relations. Zbl 1454.03056
Fokina, Ekaterina; Rossegger, Dino; San Mauro, Luca
2
2019
Computable planar curves intersect in a computable point. Zbl 1480.03034
Weihrauch, Klaus
2
2019
Computational complexity and the conjugacy problem. Zbl 1378.20048
Miasnikov, Alexei; Schupp, Paul
2
2017
Coloring the rationals in reverse mathematics. Zbl 1420.03026
Frittaion, Emanuele; Patey, Ludovic
2
2017
Extending Cooper’s theorem to \(\Delta_3^0\) Turing degrees. Zbl 1435.03071
Selivanov, Victor L.; Yamaleev, Mars M.
2
2018
Lowness for integer-valued randomness. Zbl 1350.68160
Herbert, Ian
2
2016
Effective operations of type 2 in PCAs. Zbl 1437.03136
Faber, Eric; van Oosten, Jaap
2
2016
Pumping for ordinal-automatic structures. Zbl 1420.03088
Huschenbett, Martin; Kartzow, Alexander; Schlicht, Philipp
2
2017
Degrees of bi-embeddable categoricity. Zbl 07363322
Bazhenov, Nikolay; Fokina, Ekaterina; Rossegger, Dino; San Mauro, Luca
2
2021
Weihrauch and constructive reducibility between existence statements. Zbl 07363323
Fujiwara, Makoto
2
2021
Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision. Zbl 07363329
Selivanova, Svetlana; Selivanov, Victor
2
2021
Computability on measurable functions. Zbl 1420.03115
Weihrauch, Klaus
1
2017
Reverse mathematics and algebraic field extensions. Zbl 1308.03038
Dorais, François G.; Hirst, Jeffry; Shafer, Paul
1
2013
A differential extension of Descartes’ foundational approach: a new balance between symbolic and analog computation. Zbl 07244823
Milici, Pietro
1
2020
Some results concerning the \(\mathsf{SRT}_2^2\) vs. \(\mathsf{COH}\) problem. Zbl 1485.03024
Cholak, Peter A.; Dzhafarov, Damir D.; Hirschfeldt, Denis R.; Patey, Ludovic
1
2020
Forests describing Wadge degrees and topological Weihrauch degrees of certain classes of functions and relations. Zbl 1464.03040
Hertling, Peter
1
2020
Leaf management. Zbl 1485.03242
Hirst, Jeffry L.
1
2020
A constructive proof of the dense existence of nowhere-differentiable functions in \(C[0,1]\). Zbl 1485.03252
Nemoto, Takako
1
2020
Limitations of efficient reducibility to the Kolmogorov random strings. Zbl 1284.68308
Hitchcock, John M.
1
2012
Von Neumann normalisation of a quantum random number generator. Zbl 1260.81042
Abbott, Alastair A.; Calude, Cristian S.
1
2012
Constant compression and random weights. Zbl 1271.03060
Merkle, Wolfgang; Teutsch, Jason
1
2012
Partial orders and immunity in reverse mathematics. Zbl 1435.03031
Patey, Ludovic
1
2018
The jump hierarchy in the enumeration degrees. Zbl 1435.03069
Ganchev, Hristo A.; Soskova, Mariya I.
1
2018
The search for natural definability in the Turing degrees. Zbl 1435.03070
Lewis-Pye, Andrew E. M.
1
2018
A probabilistic anytime algorithm for the halting problem. Zbl 1394.68260
Calude, Cristian S.; Dumitrescu, Monica
1
2018
Finitely generated semiautomatic groups. Zbl 1396.20031
Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank
1
2018
Mass problems and intuitionistic higher-order logic. Zbl 06568533
Basu, Sankha S.; Simpson, Stephen G.
1
2016
Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces. Zbl 1403.03129
De Brecht, Matthew; Schröder, Matthias; Selivanov, Victor
1
2016
Randomness and degree theory for infinite time register machines. Zbl 1401.03078
Carl, Merlin
1
2016
On limitwise monotonicity and maximal block functions. Zbl 1337.03064
Harris, Charles M.
1
2015
Some new results in monadic second-order arithmetic. Zbl 1337.03087
Speranski, Stanislav O.
1
2015
Weak König’s lemma implies the uniform continuity theorem. Zbl 1278.03088
Diener, Hannes
1
2013
Confluence in data reduction: bridging graph transformation and kernelization. Zbl 1311.68184
Ehrig, Hartmut; Ermel, Claudia; Hüffner, Falk; Niedermeier, Rolf; Runge, Olga
1
2013
On some computability notions for real functions. Zbl 1315.03074
Skordev, Dimiter
1
2013
Nets and reverse mathematics. Zbl 07363324
Sanders, Sam
1
2021
Countable sets versus sets that are countable in reverse mathematics. Zbl 07481740
Sanders, Sam
1
2022
Countable sets versus sets that are countable in reverse mathematics. Zbl 07481740
Sanders, Sam
1
2022
Degrees of bi-embeddable categoricity. Zbl 07363322
Bazhenov, Nikolay; Fokina, Ekaterina; Rossegger, Dino; San Mauro, Luca
2
2021
Weihrauch and constructive reducibility between existence statements. Zbl 07363323
Fujiwara, Makoto
2
2021
Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision. Zbl 07363329
Selivanova, Svetlana; Selivanov, Victor
2
2021
Nets and reverse mathematics. Zbl 07363324
Sanders, Sam
1
2021
Ramsey’s theorem and products in the Weihrauch degrees. Zbl 1485.03026
Dzhafarov, Damir D.; Goh, Jun Le; Hirschfeldt, Denis R.; Patey, Ludovic; Pauly, Arno
3
2020
Degrees of categoricity above limit ordinals. Zbl 1485.03110
Csima, Barbara F.; Deveau, Michael; Harrison-Trainor, Matthew; Mahmoud, Mohammad Assem
3
2020
New bounds on the strength of some restrictions of Hindman’s theorem. Zbl 1485.03023
Carlucci, Lorenzo; Kołodziejczyk, Leszek Aleksander; Lepore, Francesco; Zdanowski, Konrad
2
2020
Overt choice. Zbl 1485.03152
de Brecht, Matthew; Pauly, Arno; Schröder, Matthias
2
2020
A differential extension of Descartes’ foundational approach: a new balance between symbolic and analog computation. Zbl 07244823
Milici, Pietro
1
2020
Some results concerning the \(\mathsf{SRT}_2^2\) vs. \(\mathsf{COH}\) problem. Zbl 1485.03024
Cholak, Peter A.; Dzhafarov, Damir D.; Hirschfeldt, Denis R.; Patey, Ludovic
1
2020
Forests describing Wadge degrees and topological Weihrauch degrees of certain classes of functions and relations. Zbl 1464.03040
Hertling, Peter
1
2020
Leaf management. Zbl 1485.03242
Hirst, Jeffry L.
1
2020
A constructive proof of the dense existence of nowhere-differentiable functions in \(C[0,1]\). Zbl 1485.03252
Nemoto, Takako
1
2020
Joins and meets in the structure of ceers. Zbl 1454.03048
Andrews, Uri; Sorbi, Andea
11
2019
The isometry degree of a computable copy of \( \ell^{p1}\). Zbl 1480.03033
McNicholl, Timothy H.; Stull, Donald M.
4
2019
On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness. Zbl 1454.03017
Kohlenbach, Ulrich
4
2019
On subrecursive representability of irrational numbers. II. Zbl 1450.03008
Kristiansen, Lars
3
2019
Dense computability, upper cones, and minimal pairs. Zbl 1454.03052
Astor, Eric P.; Hirschfeldt, Denis R.; Jockusch, Carl G. jun.
3
2019
The reverse mathematics of Hindman’s theorem for sums of exactly two elements. Zbl 1448.03007
Csima, Barbara F.; Dzhafarov, Damir D.; Hirschfeldt, Denis R.; Jockusch, Carl G. jun.; Solomon, Reed; Westrick, Linda Brown
3
2019
Cardinal invariants, non-lowness classes, and Weihrauch reducibility. Zbl 1480.03043
Greenberg, Noam; Kuyper, Rutger; Turetsky, Dan
3
2019
Surjective \(H\)-colouring: new hardness results. Zbl 1425.05055
Golovach, Petr A.; Johnson, Matthew; Martin, Barnaby; Paulusma, Daniël; Stewart, Anthony
2
2019
Isomorphism and classification for countable structures. Zbl 1453.03032
Miller, Russell
2
2019
Measuring the complexity of reductions between equivalence relations. Zbl 1454.03056
Fokina, Ekaterina; Rossegger, Dino; San Mauro, Luca
2
2019
Computable planar curves intersect in a computable point. Zbl 1480.03034
Weihrauch, Klaus
2
2019
Lowness for isomorphism and degrees of genericity. Zbl 1435.03068
Franklin, Johanna N. Y.; Turetsky, Dan
5
2018
The Gandy-Hyland functional and a computational aspect of nonstandard analysis. Zbl 1436.03238
Sanders, Sam
5
2018
Computable intersection points. Zbl 1441.03033
Iljazović, Zvonko; Pažek, Bojan
5
2018
Extending Cooper’s theorem to \(\Delta_3^0\) Turing degrees. Zbl 1435.03071
Selivanov, Victor L.; Yamaleev, Mars M.
2
2018
Partial orders and immunity in reverse mathematics. Zbl 1435.03031
Patey, Ludovic
1
2018
The jump hierarchy in the enumeration degrees. Zbl 1435.03069
Ganchev, Hristo A.; Soskova, Mariya I.
1
2018
The search for natural definability in the Turing degrees. Zbl 1435.03070
Lewis-Pye, Andrew E. M.
1
2018
A probabilistic anytime algorithm for the halting problem. Zbl 1394.68260
Calude, Cristian S.; Dumitrescu, Monica
1
2018
Finitely generated semiautomatic groups. Zbl 1396.20031
Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank
1
2018
Computable copies of \(\ell^{p^1}\). Zbl 1472.03042
McNicholl, Timothy H.
8
2017
Iterative forcing and hyperimmunity in reverse mathematics. Zbl 1420.03028
Patey, Ludovic
6
2017
Notions of robust information coding. Zbl 1420.03096
Dzhafarov, Damir D.; Igusa, Gregory
6
2017
Controlling iterated jumps of solutions to combinatorial problems. Zbl 1420.03027
Patey, Ludovic
5
2017
On subrecursive representability of irrational numbers. Zbl 1423.03156
Kristiansen, Lars
3
2017
Infinite time recognizability from generic oracles and the recognizable jump operator. Zbl 1423.03154
Carl, Merlin
2
2017
Computational complexity and the conjugacy problem. Zbl 1378.20048
Miasnikov, Alexei; Schupp, Paul
2
2017
Coloring the rationals in reverse mathematics. Zbl 1420.03026
Frittaion, Emanuele; Patey, Ludovic
2
2017
Pumping for ordinal-automatic structures. Zbl 1420.03088
Huschenbett, Martin; Kartzow, Alexander; Schlicht, Philipp
2
2017
Computability on measurable functions. Zbl 1420.03115
Weihrauch, Klaus
1
2017
On the topological aspects of the theory of represented spaces. Zbl 1401.03087
Pauly, Arno
25
2016
Asymptotic density and the coarse computability bound. Zbl 06568532
Hirschfeldt, Denis R.; Jockusch, Carl G. jun.; McNicholl, Timothy H.; Schupp, Paul E.
10
2016
Lowness for integer-valued randomness. Zbl 1350.68160
Herbert, Ian
2
2016
Effective operations of type 2 in PCAs. Zbl 1437.03136
Faber, Eric; van Oosten, Jaap
2
2016
Mass problems and intuitionistic higher-order logic. Zbl 06568533
Basu, Sankha S.; Simpson, Stephen G.
1
2016
Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces. Zbl 1403.03129
De Brecht, Matthew; Schröder, Matthias; Selivanov, Victor
1
2016
Randomness and degree theory for infinite time register machines. Zbl 1401.03078
Carl, Merlin
1
2016
Asymptotic density, immunity and randomness. Zbl 1337.03059
Astor, Eric P.
6
2015
Lines missing every random point. Zbl 1333.03110
Lutz, Jack H.; Lutz, Neil
5
2015
Hyperprojective hierarchy of \(\mathrm{qcb}_0\)-spaces. Zbl 1393.03052
Schröder, Matthias; Selivanov, Victor
4
2015
On the existence of a connected component of a graph. Zbl 1337.03086
Gura, Kirill; Hirst, Jeffry L.; Mummert, Carl
3
2015
Mortality of iterated piecewise affine functions over the integers: decidability and complexity. Zbl 1325.68089
Ben-Amram, Amir M.
2
2015
On maximum conservative extensions. Zbl 1326.03072
Towsner, Henry
2
2015
On limitwise monotonicity and maximal block functions. Zbl 1337.03064
Harris, Charles M.
1
2015
Some new results in monadic second-order arithmetic. Zbl 1337.03087
Speranski, Stanislav O.
1
2015
Algorithmic aspects of Lipschitz functions. Zbl 1408.03031
Freer, Cameron; Kjos-Hanssen, Bjørn; Nies, André; Stephan, Frank
8
2014
Degrees that are low for isomorphism. Zbl 1322.03028
Franklin, Johanna N. Y.; Solomon, Reed
7
2014
Parameterized inapproximability of target set selection and generalizations. Zbl 1320.68088
Bazgan, Cristina; Chopin, Morgan; Nichterlein, André; Sikora, Florian
7
2014
Computability of operators on continuous and discrete time streams. Zbl 1358.68105
Tucker, J. V; Zucker, J. I
3
2014
Computably categorical fields via Fermat’s last theorem. Zbl 1408.03029
Miller, Russell; Schoutens, Hans
9
2013
\(L^1\)-computability, layerwise computability and Solovay reducibility. Zbl 1315.03073
Miyabe, Kenshi
7
2013
Natural large degree spectra. Zbl 1308.03047
Diamondstone, David; Greenberg, Noam; Turetsky, Daniel
5
2013
Correspondence and independence of numerical evaluations of algorithmic information measures. Zbl 1286.68252
Soler-Toscano, Fernando; Zenil, Hector; Delahaye, Jean-Paul; Gauvrit, Nicolas
4
2013
The arithmetical hierarchy in the setting of \(\omega_1\). Zbl 1350.03034
Carson, Jacob; Johnson, Jesse; Knight, Julia; Lange, Karen; McCoy, Charles; Wallbaum, John
3
2013
On the behavior of tile assembly system at high temperatures. Zbl 1286.68144
Seki, Shinnosuke; Okuno, Yasushi
2
2013
Reverse mathematics and algebraic field extensions. Zbl 1308.03038
Dorais, François G.; Hirst, Jeffry; Shafer, Paul
1
2013
Weak König’s lemma implies the uniform continuity theorem. Zbl 1278.03088
Diener, Hannes
1
2013
Confluence in data reduction: bridging graph transformation and kernelization. Zbl 1311.68184
Ehrig, Hartmut; Ermel, Claudia; Hüffner, Falk; Niedermeier, Rolf; Runge, Olga
1
2013
On some computability notions for real functions. Zbl 1315.03074
Skordev, Dimiter
1
2013
Incomputability of simply connected planar continua. Zbl 1277.03044
Kihara, Takayuki
13
2012
Computability of the Radon-Nikodym derivative. Zbl 1277.03043
Hoyrup, Mathieu; Rojas, Cristóbal; Weihrauch, Klaus
12
2012
The hierarchy of equivalence relations on the natural numbers under computable reducibility. Zbl 1325.03049
Coskey, Amuel; Hamkins, Joel David; Miller, Russell
8
2012
Tree representations via ordinal machines. Zbl 1270.03061
Schlicht, Philipp; Seyfferth, Benjamin
2
2012
Computably enumerable partial orders. Zbl 1277.03039
Cholak, Peter A.; Dzhafarov, Damir D.; Schweber, Noah; Shore, Richard A.
2
2012
On the strength of weak compactness. Zbl 1270.03128
Kreuzer, Alexander P.
2
2012
Limitations of efficient reducibility to the Kolmogorov random strings. Zbl 1284.68308
Hitchcock, John M.
1
2012
Von Neumann normalisation of a quantum random number generator. Zbl 1260.81042
Abbott, Alastair A.; Calude, Cristian S.
1
2012
Constant compression and random weights. Zbl 1271.03060
Merkle, Wolfgang; Teutsch, Jason
1
2012
all top 5

Cited by 244 Authors

15 Pauly, Arno M.
11 Bazhenov, Nikolaĭ Alekseevich
11 Patey, Ludovic
10 Brattka, Vasco
9 Iljazović, Zvonko
9 Selivanov, Viktor L’vovich
8 Sanders, Sam
7 Andrews, Uri
6 Greenberg, Noam
6 Harrison-Trainor, Matthew
6 Kalimullin, Iskander Shagitovich
6 Melnikov, Alexander G.
6 Miller, Joseph S.
6 Ng, KengMeng
5 Hirschfeldt, Denis Roman
5 Kihara, Takayuki
5 McNicholl, Timothy H.
5 Monin, Benoît
5 Nies, André Otfrid
5 Stephan, Frank
4 Badaev, Serikzhan A.
4 Carl, Merlin
4 Downey, Rodney Graham
4 Franklin, Johanna N. Y.
4 Jockusch, Carl G. jun.
4 Kohlenbach, Ulrich Wilhelm
4 Lutz, Neil
4 Miller, Russell G.
4 Neumann, Eike
4 Rute, Jason
4 Sorbi, Andrea
4 Turetsky, Dan
4 Yamaleev, Mars Mansurovich
3 Brown, Tyler A.
3 Dzhafarov, Damir D.
3 Gherardi, Guido
3 Hirst, Jeffry Lynn
3 Kalmurzaev, Birzhan S.
3 Khoussainov, Bakhadyr M.
3 Lewis-Pye, Andrew E. M.
3 Liu, Lu
3 Marcone, Alberto
3 Miyabe, Kenshi
3 Nobrega, Hugo
3 Normann, Dag
3 Pažek, Bojan
3 San Mauro, Luca
3 Shlapentokh, Alexandra
3 Stull, Donald M.
3 Zenil, Hector
2 Astor, Eric P.
2 Auletta, Vincenzo
2 Barmpalias, George
2 Bournez, Olivier
2 Diamondstone, David E.
2 Faĭzrahmanov, Marat Khaidarovich
2 Ferraioli, Diodato
2 Ganchev, Hristo A.
2 Georgiev, Ivan
2 Greco, Gianluigi
2 Gregoriades, Vassilios
2 Horvat, Marko
2 Hoyrup, Mathieu
2 Jain, Sanjay
2 Kristiansen, Lars
2 Lempp, Steffen
2 Leroux, Stéphane
2 Lutz, Jack H.
2 Miller, Justin
2 Mummert, Carl
2 Mustafa, Manat
2 Potapov, Igor
2 Rossegger, Dino
2 Schlicht, Philipp
2 Schröder, Matthias
2 Schupp, Paul E.
2 Schweber, Noah David
2 Schweller, Robert T.
2 Soler-Toscano, Fernando
2 Steinberg, Florian
2 Teutsch, Jason
2 Tucker, John V.
2 Turetsky, Daniel D.
2 Valenti, Manlio
2 Validžić, Lucija
2 Weihrauch, Klaus
2 Wylie, Tim
1 Abeliuk, Andrés
1 Ackerman, Nathanael Leedom
1 Agüero Trejo, José Manuel
1 Alfonseca, Manuel
1 Allender, Eric W.
1 Bard, Vittorio
1 Batyrshin, Ilnur I.
1 Beggs, Edwin J.
1 BeMent, Zach
1 Brot, Joshua
1 Bulteau, Laurent
1 Buss, Samuel R.
1 Čačić, Vedran
...and 144 more Authors
all top 5

Cited in 53 Journals

22 The Journal of Symbolic Logic
18 Annals of Pure and Applied Logic
15 Computability
9 Theory of Computing Systems
8 Theoretical Computer Science
7 Transactions of the American Mathematical Society
7 Information and Computation
6 Archive for Mathematical Logic
6 Journal of Mathematical Logic
6 Logical Methods in Computer Science
5 Advances in Mathematics
5 Algebra and Logic
5 Siberian Mathematical Journal
5 MSCS. Mathematical Structures in Computer Science
4 Proceedings of the American Mathematical Society
4 Journal of Mathematical Sciences (New York)
3 Notre Dame Journal of Formal Logic
3 Lobachevskii Journal of Mathematics
3 Journal of Logic and Analysis
2 Israel Journal of Mathematics
2 Fundamenta Mathematicae
2 Journal of Complexity
2 The Bulletin of Symbolic Logic
2 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 American Mathematical Monthly
1 Artificial Intelligence
1 Discrete Applied Mathematics
1 Journal of Mathematical Analysis and Applications
1 Physica A
1 Colloquium Mathematicum
1 Inventiones Mathematicae
1 Journal of Computer and System Sciences
1 Journal of Pure and Applied Algebra
1 Memoirs of the American Mathematical Society
1 SIAM Journal on Computing
1 Studia Logica
1 Topology and its Applications
1 Algorithmica
1 International Journal of Approximate Reasoning
1 International Journal of Foundations of Computer Science
1 Indagationes Mathematicae. New Series
1 Russian Mathematics
1 Mathematical Logic Quarterly (MLQ)
1 The Electronic Journal of Combinatorics
1 Journal of Convex Analysis
1 The Journal of Artificial Intelligence Research (JAIR)
1 Theory and Applications of Categories
1 Complexity
1 Oberwolfach Reports
1 Optimization Letters
1 Forum of Mathematics, Sigma
1 Journal of Logical and Algebraic Methods in Programming
1 European Journal of Mathematics

Citations by Year