Edit Profile Terwijn, Sebastiaan A. Compute Distance To: Compute Author ID: terwijn.sebastiaan-a Published as: Terwijn, S. A.; Terwijn, Sebastiaan; Terwijn, Sebastiaan A. Documents Indexed: 44 Publications since 1994 all top 5 Co-Authors 15 single-authored 6 Stephan, Frank 5 Ambos-Spies, Klaus 3 Sorbi, Andrea 2 Downey, Rodney Graham 2 Hirschfeldt, Denis Roman 2 Hitchcock, John M. 2 Kjos-Hanssen, Bjørn 2 Kuyper, Rutger 2 Lutz, Jack H. 2 Merkle, Wolfgang 2 Nies, André Otfrid 2 Reimann, Jan 2 Torenvliet, Leen 2 Zheng, Xizhong 1 Aehlig, Klaus 1 Barendregt, Hendrik Pieter 1 Bauwens, Bruno 1 Calude, Cristian S. 1 Jain, Sanjay 1 Johannsen, Jan 1 Kučera, Antonín 1 Neis, Hans-Christian 1 Schwichtenberg, Helmut 1 Staiger, Ludwig 1 Vitányi, Paul M. B. 1 Zambella, Domenico all top 5 Serials 5 The Journal of Symbolic Logic 4 Annals of Pure and Applied Logic 3 Theoretical Computer Science 2 Notre Dame Journal of Formal Logic 2 Information and Computation 2 Archive for Mathematical Logic 2 Mathematical Logic Quarterly (MLQ) 1 Algebra Universalis 1 Journal of Computer and System Sciences 1 Studia Logica 1 Transactions of the American Mathematical Society 1 Rendiconti del Seminario Matematico 1 Journal of Logic and Computation 1 The Bulletin of Symbolic Logic 1 Theory of Computing Systems 1 ACM Transactions on Computational Logic 1 Journal of Logic and Analysis 1 The Review of Symbolic Logic all top 5 Fields 36 Mathematical logic and foundations (03-XX) 24 Computer science (68-XX) 3 Measure and integration (28-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Real functions (26-XX) 1 General and overarching topics; collections (00-XX) 1 Statistics (62-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 34 Publications have been cited 293 times in 215 Documents Cited by ▼ Year ▼ Randomness, relativization and Turing degrees. Zbl 1090.03013Nies, André; Stephan, Frank; Terwijn, Sebastiaan A. 44 2005 Computational randomness and lowness. Zbl 0990.03033Terwijn, Sebastiaan A.; Zambella, Domenico 43 2001 Calibrating randomness. Zbl 1113.03037Downey, Rod; Hirschfeldt, Dennis R.; Nies, André; Terwijn, Sebastiaan A. 41 2006 On partial randomness. Zbl 1077.03022Calude, Cristian S.; Staiger, Ludwig; Terwijn, Sebastiaan A. 27 2006 Lowness for the class of random sets. Zbl 0954.68080Kučera, Antonín; Terwijn, Sebastiaan A. 26 1999 Resource bounded randomness and weakly complete problems. Zbl 0912.68069Ambos-Spies, Klaus; Terwijn, Sebastiaan A.; Zheng, Xizhong 16 1997 Genericity and measure for exponential time. Zbl 0874.68094Ambos-Spies, Klaus; Neis, Hans-Christian; Terwijn, Sebastiaan A. 12 1996 Intermediate logics and factors of the Medvedev lattice. Zbl 1156.03026Sorbi, Andrea; Terwijn, Sebastiaan A. 9 2008 The Medvedev lattice of computably closed sets. Zbl 1090.03010Terwijn, Sebastiaan A. 9 2006 Resource bounded randomness and weakly complete problems. Zbl 0953.68546Ambos-Spies, Klaus; Terwijn, Sebastiaan A.; Zheng, Xizhong 7 1994 Constructive logic and the Medvedev lattice. Zbl 1107.03024Terwijn, Sebastiaan A. 6 2006 Probabilistic logic and induction. Zbl 1083.03028Terwijn, Sebastiaan A. 6 2005 Intuitionistic logic and Muchnik degrees. Zbl 1252.03101Sorbi, Andrea; Terwijn, Sebastiaan A. 5 2012 Complexity and randomness. Zbl 1121.68058Terwijn, S. A. 5 2004 On the structure of the Medvedev lattice. Zbl 1140.03020Terwijn, Sebastiaan A. 4 2008 On the learnability of hidden Markov models. Zbl 1028.68616Terwijn, Sebastiaan A. 4 2002 Arithmetical measure. Zbl 0898.03017Terwijn, Sebastiaan A.; Torenvliet, Leen 3 1998 Generalizations of the recursion theorem. Zbl 06997562Terwijn, Sebastiaan A. 2 2018 Effective genericity and differentiability. Zbl 1345.03085Kuyper, Rutger; Terwijn, Sebastiaan 2 2014 Model theory of measure spaces and probability logic. Zbl 1326.03030Kuyper, Rutger; Terwijn, Sebastiaan A. 2 2013 Nonapproximability of the normalized information distance. Zbl 1215.68116Terwijn, Sebastiaan A.; Torenvliet, Leen; Vitányi, Paul M. B. 2 2011 Decidability and undecidability in probability logic. Zbl 1211.03044Terwijn, Sebastiaan A. 2 2009 Limit computability and constructive measure. Zbl 1175.03026Hirschfeldt, Denis R.; Terwijn, Sebastiaan A. 2 2008 The arithmetical complexity of dimension and randomness. Zbl 1407.03057Hitchcock, John M.; Lutz, Jack H.; Terwijn, Sebastiaan A. 2 2007 On the quantitative structure of \(\Delta_2^0\). Zbl 1010.03028Terwijn, Sebastiaan A. 2 2001 Counting extensional differences in BC-learning. Zbl 0974.68163Stephan, Frank; Terwijn, Sebastiaan A. 2 2000 Covering the recursive sets. Zbl 06496602Kjos-Hanssen, Bjørn; Stephan, Frank; Terwijn, Sebastiaan A. 1 2015 The finite intervals of the Muchnik lattice. Zbl 1247.03081Terwijn, Sebastiaan A. 1 2012 Notes on sum-tests and independence tests. Zbl 1435.68127Bauwens, Bruno; Terwijn, Sebastiaan A. 1 2011 Kripke models, distributive lattices, and Medvedev degrees. Zbl 1165.03007Terwijn, Sebastiaan A. 1 2007 Kripke models, distributive lattices, and Medvedev degrees. Zbl 1115.03020Terwijn, Sebastiaan A. 1 2005 Almost complete sets. Zbl 1048.03032Ambos-Spies, Klaus; Merkle, Wolfgang; Reimann, Jan; Terwijn, Sebastiaan A. 1 2003 Computably enumerable reals and uniformly presentable ideals. Zbl 1017.03019Downey, Rod; Terwijn, Sebastiaan A. 1 2002 Linear ramified higher type recursion and parallel complexity. Zbl 1024.68041Aehlig, Klaus; Johannsen, Jan; Schwichtenberg, Helmut; Terwijn, Sebastiaan A. 1 2001 Generalizations of the recursion theorem. Zbl 06997562Terwijn, Sebastiaan A. 2 2018 Covering the recursive sets. Zbl 06496602Kjos-Hanssen, Bjørn; Stephan, Frank; Terwijn, Sebastiaan A. 1 2015 Effective genericity and differentiability. Zbl 1345.03085Kuyper, Rutger; Terwijn, Sebastiaan 2 2014 Model theory of measure spaces and probability logic. Zbl 1326.03030Kuyper, Rutger; Terwijn, Sebastiaan A. 2 2013 Intuitionistic logic and Muchnik degrees. Zbl 1252.03101Sorbi, Andrea; Terwijn, Sebastiaan A. 5 2012 The finite intervals of the Muchnik lattice. Zbl 1247.03081Terwijn, Sebastiaan A. 1 2012 Nonapproximability of the normalized information distance. Zbl 1215.68116Terwijn, Sebastiaan A.; Torenvliet, Leen; Vitányi, Paul M. B. 2 2011 Notes on sum-tests and independence tests. Zbl 1435.68127Bauwens, Bruno; Terwijn, Sebastiaan A. 1 2011 Decidability and undecidability in probability logic. Zbl 1211.03044Terwijn, Sebastiaan A. 2 2009 Intermediate logics and factors of the Medvedev lattice. Zbl 1156.03026Sorbi, Andrea; Terwijn, Sebastiaan A. 9 2008 On the structure of the Medvedev lattice. Zbl 1140.03020Terwijn, Sebastiaan A. 4 2008 Limit computability and constructive measure. Zbl 1175.03026Hirschfeldt, Denis R.; Terwijn, Sebastiaan A. 2 2008 The arithmetical complexity of dimension and randomness. Zbl 1407.03057Hitchcock, John M.; Lutz, Jack H.; Terwijn, Sebastiaan A. 2 2007 Kripke models, distributive lattices, and Medvedev degrees. Zbl 1165.03007Terwijn, Sebastiaan A. 1 2007 Calibrating randomness. Zbl 1113.03037Downey, Rod; Hirschfeldt, Dennis R.; Nies, André; Terwijn, Sebastiaan A. 41 2006 On partial randomness. Zbl 1077.03022Calude, Cristian S.; Staiger, Ludwig; Terwijn, Sebastiaan A. 27 2006 The Medvedev lattice of computably closed sets. Zbl 1090.03010Terwijn, Sebastiaan A. 9 2006 Constructive logic and the Medvedev lattice. Zbl 1107.03024Terwijn, Sebastiaan A. 6 2006 Randomness, relativization and Turing degrees. Zbl 1090.03013Nies, André; Stephan, Frank; Terwijn, Sebastiaan A. 44 2005 Probabilistic logic and induction. Zbl 1083.03028Terwijn, Sebastiaan A. 6 2005 Kripke models, distributive lattices, and Medvedev degrees. Zbl 1115.03020Terwijn, Sebastiaan A. 1 2005 Complexity and randomness. Zbl 1121.68058Terwijn, S. A. 5 2004 Almost complete sets. Zbl 1048.03032Ambos-Spies, Klaus; Merkle, Wolfgang; Reimann, Jan; Terwijn, Sebastiaan A. 1 2003 On the learnability of hidden Markov models. Zbl 1028.68616Terwijn, Sebastiaan A. 4 2002 Computably enumerable reals and uniformly presentable ideals. Zbl 1017.03019Downey, Rod; Terwijn, Sebastiaan A. 1 2002 Computational randomness and lowness. Zbl 0990.03033Terwijn, Sebastiaan A.; Zambella, Domenico 43 2001 On the quantitative structure of \(\Delta_2^0\). Zbl 1010.03028Terwijn, Sebastiaan A. 2 2001 Linear ramified higher type recursion and parallel complexity. Zbl 1024.68041Aehlig, Klaus; Johannsen, Jan; Schwichtenberg, Helmut; Terwijn, Sebastiaan A. 1 2001 Counting extensional differences in BC-learning. Zbl 0974.68163Stephan, Frank; Terwijn, Sebastiaan A. 2 2000 Lowness for the class of random sets. Zbl 0954.68080Kučera, Antonín; Terwijn, Sebastiaan A. 26 1999 Arithmetical measure. Zbl 0898.03017Terwijn, Sebastiaan A.; Torenvliet, Leen 3 1998 Resource bounded randomness and weakly complete problems. Zbl 0912.68069Ambos-Spies, Klaus; Terwijn, Sebastiaan A.; Zheng, Xizhong 16 1997 Genericity and measure for exponential time. Zbl 0874.68094Ambos-Spies, Klaus; Neis, Hans-Christian; Terwijn, Sebastiaan A. 12 1996 Resource bounded randomness and weakly complete problems. Zbl 0953.68546Ambos-Spies, Klaus; Terwijn, Sebastiaan A.; Zheng, Xizhong 7 1994 all cited Publications top 5 cited Publications all top 5 Cited by 164 Authors 24 Nies, André Otfrid 22 Downey, Rodney Graham 20 Terwijn, Sebastiaan A. 15 Stephan, Frank 13 Greenberg, Noam 12 Miller, Joseph S. 10 Barmpalias, George 9 Bienvenu, Laurent 9 Franklin, Johanna N. Y. 9 Staiger, Ludwig 7 Calude, Cristian S. 7 Hirschfeldt, Denis Roman 7 Ng, KengMeng 7 Tadaki, Kohtaro 7 Yu, Liang 6 Kjos-Hanssen, Bjørn 6 Kučera, Antonín 6 Lutz, Jack H. 6 Miyabe, Kenshi 6 Simpson, Stephen G. 5 Kuyper, Rutger 5 Merkle, Wolfgang 5 Pavan, Aduri 4 Ambos-Spies, Klaus 4 Diamondstone, David E. 4 Figueira, Santiago 4 Hitchcock, John M. 4 Mayordomo, Elvira 4 Porter, Christopher P. 4 Sorbi, Andrea 3 Day, Adam R. 3 Fenner, Stephen A. 3 Jockusch, Carl G. jun. 3 Lewis, Andrew E. M. 3 Reimann, Jan 3 Selman, Alan L. 3 Suzuki, Toshio 3 Turetsky, Dan 2 Axon, Logan M. 2 Bakibayev, Timur 2 Bauwens, Bruno 2 Brattka, Vasco 2 Buhrman, Harry 2 Conidis, Chris J. 2 Cooper, Stuart Barry 2 Csima, Barbara F. 2 Griffiths, Evan J. 2 Higuchi, Kojiro 2 Hu, Tai-Wei 2 Hudelson, W. M. Phillip 2 Juedes, David W. 2 Kumabe, Masahiro 2 Lewis-Pye, Andrew E. M. 2 McInerney, Michael 2 Shafer, Paul 2 Slaman, Theodore A. 2 Solomon, Reed 2 Turetsky, Daniel D. 2 Vitányi, Paul M. B. 2 Wang, Yongge 2 Weihrauch, Klaus 2 Wu, Guohua 1 Andrews, Uri 1 Astor, Eric P. 1 Baez, John C. 1 Bagaria, Joan 1 Balakrishnan, Sivaraman 1 Balle, Borja 1 Barendregt, Hendrik Pieter 1 Basu, Sankha S. 1 Becher, Verónica 1 Beros, Achilles A. 1 Binns, Stephen 1 Brodhead, Paul 1 Cai, Mingzhong 1 Callejas Bedregal, Benjamín René 1 Calvert, Wesley 1 Castro, Jorge E. 1 Cholak, Peter A. 1 Chong, Chi Tat 1 Fortnow, Lance J. 1 Gavaldà, Ricard 1 Glaßer, Christian 1 Gu, Xiaoyang 1 Harkins, Ryan C. 1 Hay, Nicholas J. 1 Hendtlass, Matthew Ralph John 1 Higuchi, Kenichi 1 Hinman, Peter G. 1 Hölzl, Rupert 1 Hsu, Daniel 1 Hughes, Andrew D. 1 Ishikawa, Masaki 1 Jain, Sanjay 1 Joosten, Joost J. 1 Jürgensen, Helmut 1 Kakade, Sham M. 1 Kawakami, Hajime 1 Khan, Mushfeq 1 Kihara, Takayuki ...and 64 more Authors all top 5 Cited in 45 Serials 24 Annals of Pure and Applied Logic 22 The Journal of Symbolic Logic 16 Theoretical Computer Science 14 Theory of Computing Systems 11 Journal of Computer and System Sciences 11 Information and Computation 11 Archive for Mathematical Logic 11 The Bulletin of Symbolic Logic 10 Proceedings of the American Mathematical Society 5 MSCS. Mathematical Structures in Computer Science 4 Information Processing Letters 4 Advances in Mathematics 4 Notre Dame Journal of Formal Logic 3 Israel Journal of Mathematics 3 Transactions of the American Mathematical Society 3 Mathematical Logic Quarterly (MLQ) 3 Logical Methods in Computer Science 2 Journal of Complexity 2 Computational Complexity 1 Algebra Universalis 1 Fundamenta Mathematicae 1 Memoirs of the American Mathematical Society 1 Studia Logica 1 Tohoku Mathematical Journal. Second Series 1 Combinatorica 1 Sugaku Expositions 1 Machine Learning 1 International Journal of Foundations of Computer Science 1 Games and Economic Behavior 1 Computational Statistics 1 Stochastic Processes and their Applications 1 Journal of Applied Non-Classical Logics 1 Economic Theory 1 Mathematical Problems in Engineering 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Journal of Mathematical Logic 1 The Journal of Logic and Algebraic Programming 1 Journal of Machine Learning Research (JMLR) 1 Natural Computing 1 Foundations of Physics 1 Journal of Logic and Analysis 1 The Review of Symbolic Logic 1 Algorithms 1 Advances in Mathematical Physics 1 Computability all top 5 Cited in 22 Fields 165 Mathematical logic and foundations (03-XX) 132 Computer science (68-XX) 6 Measure and integration (28-XX) 6 Statistical mechanics, structure of matter (82-XX) 5 Probability theory and stochastic processes (60-XX) 4 General and overarching topics; collections (00-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 History and biography (01-XX) 2 Combinatorics (05-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Number theory (11-XX) 2 Category theory; homological algebra (18-XX) 2 Statistics (62-XX) 2 Information and communication theory, circuits (94-XX) 1 Real functions (26-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 General topology (54-XX) 1 Numerical analysis (65-XX) 1 Quantum theory (81-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Citations by Year