×

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: Journal; Indexed cover-to-cover
Documents Indexed: 182 Publications (since 2012)
References Indexed: 80 Publications with 2,149 References.
all top 5

Authors

7 Dzhafarov, Damir D.
7 Hirschfeldt, Denis Roman
7 Patey, Ludovic
7 Selivanov, Viktor L’vovich
6 Hirst, Jeffry Lynn
6 Pauly, Arno M.
5 Greenberg, Noam
5 Soskova, Mariya Ivanova
5 Stephan, Frank
4 Bazhenov, Nikolaĭ Alekseevich
4 Carl, Merlin
4 Cholak, Peter A.
4 Downey, Rodney Graham
4 Harrison-Trainor, Matthew
4 Marcone, Alberto
4 Selivanova, Svetlana V.
4 Weihrauch, Klaus
3 Brattka, Vasco
3 Calude, Cristian S.
3 Cenzer, Douglas
3 Goh, Jun Le
3 Hoyrup, Mathieu
3 Jockusch, Carl G. jun.
3 Kihara, Takayuki
3 Lempp, Steffen
3 Lewis-Pye, Andrew E. M.
3 Löwe, Benedikt
3 McNicholl, Timothy H.
3 Miller, Russell G.
3 Ng, KengMeng
3 Normann, Dag
3 San Mauro, Luca
3 Sanders, Sam
3 Schröder, Matthias
3 Schweber, Noah David
3 Sorbi, Andrea
3 Turetsky, Dan
3 Zucker, Jeffery I.
2 Ambos-Spies, Klaus
2 Andrews, Uri
2 Astor, Eric P.
2 Cai, Mingzhong
2 Calvert, Wesley
2 Cooper, Stuart Barry
2 Csima, Barbara F.
2 De Brecht, Matthew
2 Diamondstone, David E.
2 Dumitrescu, Monica E. Bad
2 Faĭzrahmanov, Marat Khaidarovich
2 Fernau, Henning
2 Fokina, Ekaterina B.
2 Franklin, Johanna N. Y.
2 Gerdes, Peter M.
2 Graça, Daniel Silva
2 Harizanov, Valentina S.
2 Harris, Charles M.
2 Hertling, Peter H.
2 Hitchcock, John M.
2 Jain, Sanjay
2 Knight, Julia F.
2 Kristiansen, Lars
2 Li, Angsheng
2 Lutz, Neil
2 Miller, Joseph S.
2 Morphett, Anthony
2 Mummert, Carl
2 Niedermeier, Rolf
2 Nies, André Otfrid
2 Rossegger, Dino
2 Schlicht, Philipp
2 Schupp, Paul E.
2 Shafer, Paul
2 Shen, Alexander
2 Solomon, Reed
2 Spreen, Dieter
2 Stull, Donald M.
2 Teutsch, Jason
2 Turetsky, Daniel D.
2 Westrick, Linda Brown
1 Abbott, Alastair A.
1 Adams, Francis
1 Agrawal, Manindra
1 Alaev, Pavel Evgenievich
1 Allender, Eric W.
1 Amir, Djamel Eddine
1 Arthur, Katherine
1 Backman, Spencer
1 Balaji, Nikhil
1 Barmpalias, George
1 Basu, Sankha S.
1 Bauwens, Bruno
1 Bazgan, Cristina
1 Beckmann, Arnold
1 BeMent, Zach
1 Ben-Amram, Amir M.
1 Brown, Tyler A.
1 Buss, Samuel R.
1 Carlucci, Lorenzo
1 Carson, Jacob
1 Chakraborty, Diptarka
...and 145 more Authors

Publications by Year

Citations contained in zbMATH Open

112 Publications have been cited 479 times in 339 Documents Cited by Year
On the topological aspects of the theory of represented spaces. Zbl 1401.03087
Pauly, Arno
38
2016
Joins and meets in the structure of ceers. Zbl 1454.03048
Andrews, Uri; Sorbi, Andea
24
2019
Incomputability of simply connected planar continua. Zbl 1277.03044
Kihara, Takayuki
16
2012
Computability of the Radon-Nikodym derivative. Zbl 1277.03043
Hoyrup, Mathieu; Rojas, Cristóbal; Weihrauch, Klaus
13
2012
The hierarchy of equivalence relations on the natural numbers under computable reducibility. Zbl 1325.03049
Coskey, Amuel; Hamkins, Joel David; Miller, Russell
13
2012
Overt choice. Zbl 1485.03152
de Brecht, Matthew; Pauly, Arno; Schröder, Matthias
12
2020
Computable copies of \(\ell^{p^1}\). Zbl 1472.03042
McNicholl, Timothy H.
12
2017
Parameterized inapproximability of target set selection and generalizations. Zbl 1320.68088
Bazgan, Cristina; Chopin, Morgan; Nichterlein, André; Sikora, Florian
12
2014
Asymptotic density and the coarse computability bound. Zbl 1522.03158
Hirschfeldt, Denis R.; Jockusch, Carl G. jun.; McNicholl, Timothy H.; Schupp, Paul E.
11
2016
Computable intersection points. Zbl 1441.03033
Iljazović, Zvonko; Pažek, Bojan
9
2018
On subrecursive representability of irrational numbers. II. Zbl 1450.03008
Kristiansen, Lars
9
2019
\(L^1\)-computability, layerwise computability and Solovay reducibility. Zbl 1315.03073
Miyabe, Kenshi
9
2013
Computably categorical fields via Fermat’s last theorem. Zbl 1408.03029
Miller, Russell; Schoutens, Hans
9
2013
Degrees that are low for isomorphism. Zbl 1322.03028
Franklin, Johanna N. Y.; Solomon, Reed
9
2014
Algorithmic aspects of Lipschitz functions. Zbl 1408.03031
Freer, Cameron; Kjos-Hanssen, Bjørn; Nies, André; Stephan, Frank
9
2014
Correspondence and independence of numerical evaluations of algorithmic information measures. Zbl 1286.68252
Soler-Toscano, Fernando; Zenil, Hector; Delahaye, Jean-Paul; Gauvrit, Nicolas
8
2013
Lowness for isomorphism and degrees of genericity. Zbl 1435.03068
Franklin, Johanna N. Y.; Turetsky, Dan
7
2018
The Gandy-Hyland functional and a computational aspect of nonstandard analysis. Zbl 1436.03238
Sanders, Sam
7
2018
On subrecursive representability of irrational numbers. Zbl 1423.03156
Kristiansen, Lars
7
2017
Hyperprojective hierarchy of \(\mathrm{qcb}_0\)-spaces. Zbl 1393.03052
Schröder, Matthias; Selivanov, Victor
7
2015
The isometry degree of a computable copy of \( \ell^{p1}\). Zbl 1480.03033
McNicholl, Timothy H.; Stull, Donald M.
7
2019
Degrees of bi-embeddable categoricity. Zbl 07363322
Bazhenov, Nikolay; Fokina, Ekaterina; Rossegger, Dino; San Mauro, Luca
7
2021
Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces. Zbl 1403.03129
De Brecht, Matthew; Schröder, Matthias; Selivanov, Victor
6
2016
Iterative forcing and hyperimmunity in reverse mathematics. Zbl 1420.03028
Patey, Ludovic
6
2017
Natural large degree spectra. Zbl 1308.03047
Diamondstone, David; Greenberg, Noam; Turetsky, Daniel
6
2013
Asymptotic density, immunity and randomness. Zbl 1337.03059
Astor, Eric P.
6
2015
Isomorphism and classification for countable structures. Zbl 1453.03032
Miller, Russell
6
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
6
2019
On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness. Zbl 1454.03017
Kohlenbach, Ulrich
6
2019
Notions of robust information coding. Zbl 1420.03096
Dzhafarov, Damir D.; Igusa, Gregory
6
2017
Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision. Zbl 07363329
Selivanova, Svetlana; Selivanov, Victor
6
2021
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
5
2020
Extending Cooper’s theorem to \(\Delta_3^0\) Turing degrees. Zbl 1435.03071
Selivanov, Victor L.; Yamaleev, Mars M.
5
2018
Lines missing every random point. Zbl 1333.03110
Lutz, Jack H.; Lutz, Neil
5
2015
Controlling iterated jumps of solutions to combinatorial problems. Zbl 1420.03027
Patey, Ludovic
5
2017
Cardinal invariants, non-lowness classes, and Weihrauch reducibility. Zbl 1480.03043
Greenberg, Noam; Kuyper, Rutger; Turetsky, Dan
5
2019
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
4
2020
Degrees of categoricity above limit ordinals. Zbl 1485.03110
Csima, Barbara F.; Deveau, Michael; Harrison-Trainor, Matthew; Mahmoud, Mohammad Assem
4
2020
Forests describing Wadge degrees and topological Weihrauch degrees of certain classes of functions and relations. Zbl 1464.03040
Hertling, Peter
4
2020
Q-Wadge degrees as free structures. Zbl 1472.03053
Selivanov, Victor
4
2020
Coloring the rationals in reverse mathematics. Zbl 1420.03026
Frittaion, Emanuele; Patey, Ludovic
4
2017
On the existence of a connected component of a graph. Zbl 1337.03086
Gura, Kirill; Hirst, Jeffry L.; Mummert, Carl
4
2015
Dense computability, upper cones, and minimal pairs. Zbl 1454.03052
Astor, Eric P.; Hirschfeldt, Denis R.; Jockusch, Carl G. jun.
4
2019
Measuring the complexity of reductions between equivalence relations. Zbl 1454.03056
Fokina, Ekaterina; Rossegger, Dino; San Mauro, Luca
4
2019
Weihrauch and constructive reducibility between existence statements. Zbl 07363323
Fujiwara, Makoto
4
2021
A note on the diamond operator. Zbl 07363327
Westrick, Linda
4
2021
Leaf management. Zbl 1485.03242
Hirst, Jeffry L.
3
2020
Finitely generated semiautomatic groups. Zbl 1396.20031
Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank
3
2018
Surjective \(H\)-colouring: new hardness results. Zbl 1425.05055
Golovach, Petr A.; Johnson, Matthew; Martin, Barnaby; Paulusma, Daniël; Stewart, Anthony
3
2019
Effective operations of type 2 in PCAs. Zbl 1437.03136
Faber, Eric; van Oosten, Jaap
3
2016
Mortality of iterated piecewise affine functions over the integers: decidability and complexity. Zbl 1325.68089
Ben-Amram, Amir M.
3
2015
Tree representations via ordinal machines. Zbl 1270.03061
Schlicht, Philipp; Seyfferth, Benjamin
3
2012
Computably enumerable partial orders. Zbl 1277.03039
Cholak, Peter A.; Dzhafarov, Damir D.; Schweber, Noah; Shore, Richard A.
3
2012
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
Nets and reverse mathematics. Zbl 07363324
Sanders, Sam
3
2021
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
2
2020
Combinatorial principles equivalent to weak induction. Zbl 1485.03025
Davis, Caleb; Hirschfeldt, Denis R.; Hirst, Jeffry; Pardo, Jake; Pauly, Arno; Yokoyama, Keita
2
2020
A probabilistic anytime algorithm for the halting problem. Zbl 1394.68260
Calude, Cristian S.; Dumitrescu, Monica
2
2018
Computational complexity and the conjugacy problem. Zbl 1378.20048
Miasnikov, Alexei; Schupp, Paul
2
2017
Lowness for integer-valued randomness. Zbl 1350.68160
Herbert, Ian
2
2016
Infinite time recognizability from generic oracles and the recognizable jump operator. Zbl 1423.03154
Carl, Merlin
2
2017
Weak König’s lemma implies the uniform continuity theorem. Zbl 1278.03088
Diener, Hannes
2
2013
On some computability notions for real functions. Zbl 1315.03074
Skordev, Dimiter
2
2013
On maximum conservative extensions. Zbl 1326.03072
Towsner, Henry
2
2015
On the strength of weak compactness. Zbl 1270.03128
Kreuzer, Alexander P.
2
2012
Computability on measurable functions. Zbl 1420.03115
Weihrauch, Klaus
2
2017
Reverse mathematics and algebraic field extensions. Zbl 1308.03038
Dorais, François G.; Hirst, Jeffry; Shafer, Paul
2
2013
On the behavior of tile assembly system at high temperatures. Zbl 1286.68144
Seki, Shinnosuke; Okuno, Yasushi
2
2013
Partial orders and immunity in reverse mathematics. Zbl 1435.03031
Patey, Ludovic
2
2018
Primitive recursive ordered fields and some applications. Zbl 07661119
Selivanov, Victor; Selivanova, Svetlana
2
2023
Computable planar curves intersect in a computable point. Zbl 1480.03034
Weihrauch, Klaus
2
2019
Pumping for ordinal-automatic structures. Zbl 1420.03088
Huschenbett, Martin; Kartzow, Alexander; Schlicht, Philipp
2
2017
The Jacobson radical for an inconsistency predicate. Zbl 1514.03051
Schuster, Peter; Wessel, Daniel
2
2022
A differential extension of Descartes’ foundational approach: a new balance between symbolic and analog computation. Zbl 1487.00019
Milici, Pietro
2
2020
A statistical anytime algorithm for the halting problem. Zbl 1485.68119
Calude, Cristian S.; Dumitrescu, Monica
1
2020
Compositions of multivalued functions. Zbl 1460.03013
Goh, Jun Le
1
2020
A constructive proof of the dense existence of nowhere-differentiable functions in \(C[0,1]\). Zbl 1485.03252
Nemoto, Takako
1
2020
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
Undecidability of satisfiability of expansions of \(\mathrm{FO}[<]\) over words with a \(\mathrm{FO}[+]\)-definable set. Zbl 1420.03103
Milchior, Arthur
1
2017
Mass problems and intuitionistic higher-order logic. Zbl 1522.03349
Basu, Sankha S.; Simpson, Stephen G.
1
2016
Notions of semicomputability in topological algebras over the reals. Zbl 1450.03007
Armstrong, Mark; Zucker, Jeffery
1
2019
Randomness and degree theory for infinite time register machines. Zbl 1401.03078
Carl, Merlin
1
2016
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 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
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
Finite self-information. Zbl 1283.68174
Hirschfeldt, Denis R.; Weber, Rebecca
1
2012
Constant compression and random weights. Zbl 1271.03060
Merkle, Wolfgang; Teutsch, Jason
1
2012
Closed left-r.e. sets. Zbl 1420.03093
Jain, Sanjay; Stephan, Frank; Teutsch, Jason
1
2017
Analog networks on function data streams. Zbl 1418.68093
Poças, Diogo; Zucker, Jeffery
1
2018
Randomness extraction in computability theory. Zbl 1515.03190
Cenzer, Douglas; Porter, Christopher P.
1
2023
Characterizing time computational complexity classes with polynomial differential equations. Zbl 1526.68001
Gozzi, Riccardo; Graça, Daniel
1
2023
Numberings, c.e. oracles, and fixed points. Zbl 07772625
Faizrahmanov, Marat
1
2023
\(L^2\)-Betti numbers and computability of reals. Zbl 07737094
Löh, Clara; Uschold, Matthias
1
2023
Generically and coarsely computable isomorphisms. Zbl 07641232
Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina
1
2022
Effective aspects of Hausdorff and Fourier dimension. Zbl 1523.03019
Marcone, Alberto; Valenti, Manlio
1
2022
Effective aspects of algorithmically random structures. Zbl 1459.03063
Harrison-Trainor, Matthew; Khoussainov, Bakh; Turetsky, Daniel
1
2019
Primitive recursive ordered fields and some applications. Zbl 07661119
Selivanov, Victor; Selivanova, Svetlana
2
2023
Randomness extraction in computability theory. Zbl 1515.03190
Cenzer, Douglas; Porter, Christopher P.
1
2023
Characterizing time computational complexity classes with polynomial differential equations. Zbl 1526.68001
Gozzi, Riccardo; Graça, Daniel
1
2023
Numberings, c.e. oracles, and fixed points. Zbl 07772625
Faizrahmanov, Marat
1
2023
\(L^2\)-Betti numbers and computability of reals. Zbl 07737094
Löh, Clara; Uschold, Matthias
1
2023
The Jacobson radical for an inconsistency predicate. Zbl 1514.03051
Schuster, Peter; Wessel, Daniel
2
2022
Generically and coarsely computable isomorphisms. Zbl 07641232
Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina
1
2022
Effective aspects of Hausdorff and Fourier dimension. Zbl 1523.03019
Marcone, Alberto; Valenti, Manlio
1
2022
Fixpoints and relative precompleteness. Zbl 07527241
Golov, Anton; Terwijn, Sebastiaan A.
1
2022
Countable sets versus sets that are countable in reverse mathematics. Zbl 07481740
Sanders, Sam
1
2022
Space-bounded OTMs and \(\mathrm{REG}^\infty \). Zbl 1526.03004
Carl, Merlin
1
2022
Insertion-deletion systems with substitutions. I. Zbl 1490.68132
Vu, Martin; Fernau, Henning
1
2022
Degrees of bi-embeddable categoricity. Zbl 07363322
Bazhenov, Nikolay; Fokina, Ekaterina; Rossegger, Dino; San Mauro, Luca
7
2021
Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision. Zbl 07363329
Selivanova, Svetlana; Selivanov, Victor
6
2021
Weihrauch and constructive reducibility between existence statements. Zbl 07363323
Fujiwara, Makoto
4
2021
A note on the diamond operator. Zbl 07363327
Westrick, Linda
4
2021
Nets and reverse mathematics. Zbl 07363324
Sanders, Sam
3
2021
To reorient is easier than to orient: an on-line algorithm for reorientation of graphs. Zbl 07429024
Fiori-Carones, Marta; Marcone, Alberto
1
2021
Effectivity and reducibility with ordinal Turing machines. Zbl 1500.03015
Carl, Merlin
1
2021
Reverse mathematics and Weihrauch analysis motivated by finite complexity theory. Zbl 07481738
BeMent, Zach; Hirst, Jeffry; Wallace, Asuka
1
2021
Representations and evaluation strategies for feasibly approximable functions. Zbl 1493.03006
Konečný, Michal; Neumann, Eike
1
2021
\(\mathsf{COH}\), \(\mathsf{SRT}^2_2\), and multiple functionals. Zbl 07363328
Dzhafarov, Damir D.; Patey, Ludovic
1
2021
Overt choice. Zbl 1485.03152
de Brecht, Matthew; Pauly, Arno; Schröder, Matthias
12
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
5
2020
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
4
2020
Degrees of categoricity above limit ordinals. Zbl 1485.03110
Csima, Barbara F.; Deveau, Michael; Harrison-Trainor, Matthew; Mahmoud, Mohammad Assem
4
2020
Forests describing Wadge degrees and topological Weihrauch degrees of certain classes of functions and relations. Zbl 1464.03040
Hertling, Peter
4
2020
Q-Wadge degrees as free structures. Zbl 1472.03053
Selivanov, Victor
4
2020
Leaf management. Zbl 1485.03242
Hirst, Jeffry L.
3
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
2
2020
Combinatorial principles equivalent to weak induction. Zbl 1485.03025
Davis, Caleb; Hirschfeldt, Denis R.; Hirst, Jeffry; Pardo, Jake; Pauly, Arno; Yokoyama, Keita
2
2020
A differential extension of Descartes’ foundational approach: a new balance between symbolic and analog computation. Zbl 1487.00019
Milici, Pietro
2
2020
A statistical anytime algorithm for the halting problem. Zbl 1485.68119
Calude, Cristian S.; Dumitrescu, Monica
1
2020
Compositions of multivalued functions. Zbl 1460.03013
Goh, Jun Le
1
2020
A constructive proof of the dense existence of nowhere-differentiable functions in \(C[0,1]\). Zbl 1485.03252
Nemoto, Takako
1
2020
Diminishable parameterized problems and strict polynomial kernelization. Zbl 1485.68117
Fernau, Henning; Fluschnik, Till; Hermelin, Danny; Krebs, Andreas; Molter, Hendrik; Niedermeier, Rolf
1
2020
The strength of compactness for countable complete linear orders. Zbl 1485.03028
Shafer, Paul
1
2020
Joins and meets in the structure of ceers. Zbl 1454.03048
Andrews, Uri; Sorbi, Andea
24
2019
On subrecursive representability of irrational numbers. II. Zbl 1450.03008
Kristiansen, Lars
9
2019
The isometry degree of a computable copy of \( \ell^{p1}\). Zbl 1480.03033
McNicholl, Timothy H.; Stull, Donald M.
7
2019
Isomorphism and classification for countable structures. Zbl 1453.03032
Miller, Russell
6
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
6
2019
On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness. Zbl 1454.03017
Kohlenbach, Ulrich
6
2019
Cardinal invariants, non-lowness classes, and Weihrauch reducibility. Zbl 1480.03043
Greenberg, Noam; Kuyper, Rutger; Turetsky, Dan
5
2019
Dense computability, upper cones, and minimal pairs. Zbl 1454.03052
Astor, Eric P.; Hirschfeldt, Denis R.; Jockusch, Carl G. jun.
4
2019
Measuring the complexity of reductions between equivalence relations. Zbl 1454.03056
Fokina, Ekaterina; Rossegger, Dino; San Mauro, Luca
4
2019
Surjective \(H\)-colouring: new hardness results. Zbl 1425.05055
Golovach, Petr A.; Johnson, Matthew; Martin, Barnaby; Paulusma, Daniël; Stewart, Anthony
3
2019
Computable planar curves intersect in a computable point. Zbl 1480.03034
Weihrauch, Klaus
2
2019
Notions of semicomputability in topological algebras over the reals. Zbl 1450.03007
Armstrong, Mark; Zucker, Jeffery
1
2019
Effective aspects of algorithmically random structures. Zbl 1459.03063
Harrison-Trainor, Matthew; Khoussainov, Bakh; Turetsky, Daniel
1
2019
Effective localization number: building \(k\)-surviving degrees. Zbl 1480.03045
Ongay-Valverde, Iván; Schweber, Noah
1
2019
Computable intersection points. Zbl 1441.03033
Iljazović, Zvonko; Pažek, Bojan
9
2018
Lowness for isomorphism and degrees of genericity. Zbl 1435.03068
Franklin, Johanna N. Y.; Turetsky, Dan
7
2018
The Gandy-Hyland functional and a computational aspect of nonstandard analysis. Zbl 1436.03238
Sanders, Sam
7
2018
Extending Cooper’s theorem to \(\Delta_3^0\) Turing degrees. Zbl 1435.03071
Selivanov, Victor L.; Yamaleev, Mars M.
5
2018
Finitely generated semiautomatic groups. Zbl 1396.20031
Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank
3
2018
A probabilistic anytime algorithm for the halting problem. Zbl 1394.68260
Calude, Cristian S.; Dumitrescu, Monica
2
2018
Partial orders and immunity in reverse mathematics. Zbl 1435.03031
Patey, Ludovic
2
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
Analog networks on function data streams. Zbl 1418.68093
Poças, Diogo; Zucker, Jeffery
1
2018
Computable copies of \(\ell^{p^1}\). Zbl 1472.03042
McNicholl, Timothy H.
12
2017
On subrecursive representability of irrational numbers. Zbl 1423.03156
Kristiansen, Lars
7
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
Coloring the rationals in reverse mathematics. Zbl 1420.03026
Frittaion, Emanuele; Patey, Ludovic
4
2017
Computational complexity and the conjugacy problem. Zbl 1378.20048
Miasnikov, Alexei; Schupp, Paul
2
2017
Infinite time recognizability from generic oracles and the recognizable jump operator. Zbl 1423.03154
Carl, Merlin
2
2017
Computability on measurable functions. Zbl 1420.03115
Weihrauch, Klaus
2
2017
Pumping for ordinal-automatic structures. Zbl 1420.03088
Huschenbett, Martin; Kartzow, Alexander; Schlicht, Philipp
2
2017
Undecidability of satisfiability of expansions of \(\mathrm{FO}[<]\) over words with a \(\mathrm{FO}[+]\)-definable set. Zbl 1420.03103
Milchior, Arthur
1
2017
Closed left-r.e. sets. Zbl 1420.03093
Jain, Sanjay; Stephan, Frank; Teutsch, Jason
1
2017
On the topological aspects of the theory of represented spaces. Zbl 1401.03087
Pauly, Arno
38
2016
Asymptotic density and the coarse computability bound. Zbl 1522.03158
Hirschfeldt, Denis R.; Jockusch, Carl G. jun.; McNicholl, Timothy H.; Schupp, Paul E.
11
2016
Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces. Zbl 1403.03129
De Brecht, Matthew; Schröder, Matthias; Selivanov, Victor
6
2016
Effective operations of type 2 in PCAs. Zbl 1437.03136
Faber, Eric; van Oosten, Jaap
3
2016
Lowness for integer-valued randomness. Zbl 1350.68160
Herbert, Ian
2
2016
Mass problems and intuitionistic higher-order logic. Zbl 1522.03349
Basu, Sankha S.; Simpson, Stephen G.
1
2016
Randomness and degree theory for infinite time register machines. Zbl 1401.03078
Carl, Merlin
1
2016
Hyperprojective hierarchy of \(\mathrm{qcb}_0\)-spaces. Zbl 1393.03052
Schröder, Matthias; Selivanov, Victor
7
2015
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
On the existence of a connected component of a graph. Zbl 1337.03086
Gura, Kirill; Hirst, Jeffry L.; Mummert, Carl
4
2015
Mortality of iterated piecewise affine functions over the integers: decidability and complexity. Zbl 1325.68089
Ben-Amram, Amir M.
3
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
Parameterized inapproximability of target set selection and generalizations. Zbl 1320.68088
Bazgan, Cristina; Chopin, Morgan; Nichterlein, André; Sikora, Florian
12
2014
Degrees that are low for isomorphism. Zbl 1322.03028
Franklin, Johanna N. Y.; Solomon, Reed
9
2014
Algorithmic aspects of Lipschitz functions. Zbl 1408.03031
Freer, Cameron; Kjos-Hanssen, Bjørn; Nies, André; Stephan, Frank
9
2014
Computability of operators on continuous and discrete time streams. Zbl 1358.68105
Tucker, J. V; Zucker, J. I
3
2014
\(L^1\)-computability, layerwise computability and Solovay reducibility. Zbl 1315.03073
Miyabe, Kenshi
9
2013
Computably categorical fields via Fermat’s last theorem. Zbl 1408.03029
Miller, Russell; Schoutens, Hans
9
2013
Correspondence and independence of numerical evaluations of algorithmic information measures. Zbl 1286.68252
Soler-Toscano, Fernando; Zenil, Hector; Delahaye, Jean-Paul; Gauvrit, Nicolas
8
2013
Natural large degree spectra. Zbl 1308.03047
Diamondstone, David; Greenberg, Noam; Turetsky, Daniel
6
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
Weak König’s lemma implies the uniform continuity theorem. Zbl 1278.03088
Diener, Hannes
2
2013
On some computability notions for real functions. Zbl 1315.03074
Skordev, Dimiter
2
2013
Reverse mathematics and algebraic field extensions. Zbl 1308.03038
Dorais, François G.; Hirst, Jeffry; Shafer, Paul
2
2013
...and 12 more Documents
all top 5

Cited by 344 Authors

22 Bazhenov, Nikolaĭ Alekseevich
18 Pauly, Arno M.
15 Selivanov, Viktor L’vovich
13 Brattka, Vasco
12 Kihara, Takayuki
12 Patey, Ludovic
12 Sanders, Sam
11 Iljazović, Zvonko
10 Melnikov, Alexander G.
9 Andrews, Uri
9 San Mauro, Luca
9 Sorbi, Andrea
8 Kalimullin, Iskander Shagitovich
8 Ng, KengMeng
7 Downey, Rodney Graham
7 Greenberg, Noam
7 Harrison-Trainor, Matthew
7 Hirschfeldt, Denis Roman
7 Miller, Joseph S.
6 Carl, Merlin
6 Franklin, Johanna N. Y.
6 Kalmurzaev, Birzhan S.
6 McNicholl, Timothy H.
6 Miller, Russell G.
6 Monin, Benoît
6 Neumann, Eike
6 Nies, André Otfrid
6 Normann, Dag
6 Stephan, Frank
5 Dzhafarov, Damir D.
5 Hoyrup, Mathieu
5 Kohlenbach, Ulrich Wilhelm
5 Liu, Lu
5 Marcone, Alberto
5 Selivanova, Svetlana V.
5 Turetsky, Dan
5 Zenil, Hector
4 Badaev, Serikzhan A.
4 Bournez, Olivier
4 De Brecht, Matthew
4 Hirst, Jeffry Lynn
4 Jockusch, Carl G. jun.
4 Lempp, Steffen
4 Lutz, Neil
4 Soldà, Giovanni
4 Valenti, Manlio
4 Yamaleev, Mars Mansurovich
3 Brown, Tyler A.
3 Cenzer, Douglas
3 Cipriani, Vittorio
3 Delle Rose, Valentino
3 Fiori-Carones, Marta
3 Galeotti, Lorenzo
3 Georgiev, Ivan
3 Gherardi, Guido
3 Jain, Sanjay
3 Khoussainov, Bakhadyr M.
3 Kristiansen, Lars
3 Lewis-Pye, Andrew E. M.
3 Miyabe, Kenshi
3 Mustafa, Manat
3 Nobrega, Hugo
3 Pažek, Bojan
3 Shlapentokh, Alexandra
3 Simonsen, Jakob Grue
3 Soskova, Mariya Ivanova
3 Steinberg, Florian
3 Stull, Donald M.
2 Astor, Eric P.
2 Auletta, Vincenzo
2 Barmpalias, George
2 Calvert, Wesley
2 Carlucci, Lorenzo
2 Cholak, Peter A.
2 Diamondstone, David E.
2 Faĭzrahmanov, Marat Khaidarovich
2 Ferraioli, Diodato
2 Fujiwara, Makoto
2 Ganchev, Hristo A.
2 Graça, Daniel Silva
2 Greco, Gianluigi
2 Gregoriades, Vassilios
2 Hernández-Quiroz, Francisco
2 Horvat, Marko
2 Kasymov, Nadimulla Khabibullaevich
2 Kawai, Tatsuji
2 Knight, Julia F.
2 Kornev, Ruslan Aleksandrovich
2 Kuyper, Rutger
2 Leroux, Stéphane
2 Löwe, Benedikt
2 Lutz, Jack H.
2 Milici, Pietro
2 Miller, Justin
2 Morozov, Andreĭ Sergeevich
2 Mummert, Carl
2 Plantevin, Frédérique
2 Porter, Christopher P.
2 Potapov, Igor
2 Pouly, Amaury
...and 244 more Authors
all top 5

Cited in 64 Journals

29 The Journal of Symbolic Logic
24 Annals of Pure and Applied Logic
23 Computability
13 Theoretical Computer Science
12 Archive for Mathematical Logic
11 Mathematical Logic Quarterly (MLQ)
11 Theory of Computing Systems
8 Information and Computation
8 Journal of Mathematical Logic
8 Logical Methods in Computer Science
7 Algebra and Logic
7 Siberian Mathematical Journal
7 Transactions of the American Mathematical Society
6 Proceedings of the American Mathematical Society
5 Advances in Mathematics
5 MSCS. Mathematical Structures in Computer Science
5 Journal of Mathematical Sciences (New York)
4 Israel Journal of Mathematics
4 Notre Dame Journal of Formal Logic
4 Journal of Complexity
4 The Bulletin of Symbolic Logic
4 Lobachevskii Journal of Mathematics
3 Discrete Applied Mathematics
3 Fundamenta Mathematicae
3 Oberwolfach Reports
3 Journal of Logic and Analysis
2 Journal of Mathematical Analysis and Applications
2 Memoirs of the American Mathematical Society
2 Studia Logica
2 Topology and its Applications
2 Godishnik na Sofiĭskiya Universitet “Sv. Kliment Okhridski”. Fakultet po Matematika i Informatika
2 Russian Mathematics
2 Sibirskie Èlektronnye Matematicheskie Izvestiya
2 The Review of Symbolic Logic
2 European Journal of Mathematics
1 Acta Informatica
1 American Mathematical Monthly
1 Artificial Intelligence
1 International Journal of Mathematical Education in Science and Technology
1 Physica A
1 Colloquium Mathematicum
1 Inventiones Mathematicae
1 Journal of Computer and System Sciences
1 Journal of Pure and Applied Algebra
1 SIAM Journal on Computing
1 Algorithmica
1 International Journal of Approximate Reasoning
1 SIAM Journal on Discrete Mathematics
1 International Journal of Algebra and Computation
1 International Journal of Foundations of Computer Science
1 Indagationes Mathematicae. New Series
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 Mathematical Communications
1 Journal of Automata, Languages and Combinatorics
1 Optimization Letters
1 Asian-European Journal of Mathematics
1 Forum of Mathematics, Sigma
1 Computer Science Review
1 Journal of Logical and Algebraic Methods in Programming
1 Transactions of the American Mathematical Society. Series B

Citations by Year