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