×

zbMATH — the first resource for mathematics

Terwijn, Sebastiaan A.

Compute Distance To:
Author ID: terwijn.sebastiaan-a Recent zbMATH articles by "Terwijn, Sebastiaan A."
Published as: Terwijn, S. A.; Terwijn, Sebastiaan; Terwijn, Sebastiaan A.
Documents Indexed: 44 Publications since 1994

Publications by Year

Citations contained in zbMATH

34 Publications have been cited 293 times in 215 Documents Cited by Year
Randomness, relativization and Turing degrees. Zbl 1090.03013
Nies, André; Stephan, Frank; Terwijn, Sebastiaan A.
44
2005
Computational randomness and lowness. Zbl 0990.03033
Terwijn, Sebastiaan A.; Zambella, Domenico
43
2001
Calibrating randomness. Zbl 1113.03037
Downey, Rod; Hirschfeldt, Dennis R.; Nies, André; Terwijn, Sebastiaan A.
41
2006
On partial randomness. Zbl 1077.03022
Calude, Cristian S.; Staiger, Ludwig; Terwijn, Sebastiaan A.
27
2006
Lowness for the class of random sets. Zbl 0954.68080
Kučera, Antonín; Terwijn, Sebastiaan A.
26
1999
Resource bounded randomness and weakly complete problems. Zbl 0912.68069
Ambos-Spies, Klaus; Terwijn, Sebastiaan A.; Zheng, Xizhong
16
1997
Genericity and measure for exponential time. Zbl 0874.68094
Ambos-Spies, Klaus; Neis, Hans-Christian; Terwijn, Sebastiaan A.
12
1996
Intermediate logics and factors of the Medvedev lattice. Zbl 1156.03026
Sorbi, Andrea; Terwijn, Sebastiaan A.
9
2008
The Medvedev lattice of computably closed sets. Zbl 1090.03010
Terwijn, Sebastiaan A.
9
2006
Resource bounded randomness and weakly complete problems. Zbl 0953.68546
Ambos-Spies, Klaus; Terwijn, Sebastiaan A.; Zheng, Xizhong
7
1994
Constructive logic and the Medvedev lattice. Zbl 1107.03024
Terwijn, Sebastiaan A.
6
2006
Probabilistic logic and induction. Zbl 1083.03028
Terwijn, Sebastiaan A.
6
2005
Intuitionistic logic and Muchnik degrees. Zbl 1252.03101
Sorbi, Andrea; Terwijn, Sebastiaan A.
5
2012
Complexity and randomness. Zbl 1121.68058
Terwijn, S. A.
5
2004
On the structure of the Medvedev lattice. Zbl 1140.03020
Terwijn, Sebastiaan A.
4
2008
On the learnability of hidden Markov models. Zbl 1028.68616
Terwijn, Sebastiaan A.
4
2002
Arithmetical measure. Zbl 0898.03017
Terwijn, Sebastiaan A.; Torenvliet, Leen
3
1998
Generalizations of the recursion theorem. Zbl 06997562
Terwijn, Sebastiaan A.
2
2018
Effective genericity and differentiability. Zbl 1345.03085
Kuyper, Rutger; Terwijn, Sebastiaan
2
2014
Model theory of measure spaces and probability logic. Zbl 1326.03030
Kuyper, Rutger; Terwijn, Sebastiaan A.
2
2013
Nonapproximability of the normalized information distance. Zbl 1215.68116
Terwijn, Sebastiaan A.; Torenvliet, Leen; Vitányi, Paul M. B.
2
2011
Decidability and undecidability in probability logic. Zbl 1211.03044
Terwijn, Sebastiaan A.
2
2009
Limit computability and constructive measure. Zbl 1175.03026
Hirschfeldt, Denis R.; Terwijn, Sebastiaan A.
2
2008
The arithmetical complexity of dimension and randomness. Zbl 1407.03057
Hitchcock, John M.; Lutz, Jack H.; Terwijn, Sebastiaan A.
2
2007
On the quantitative structure of \(\Delta_2^0\). Zbl 1010.03028
Terwijn, Sebastiaan A.
2
2001
Counting extensional differences in BC-learning. Zbl 0974.68163
Stephan, Frank; Terwijn, Sebastiaan A.
2
2000
Covering the recursive sets. Zbl 06496602
Kjos-Hanssen, Bjørn; Stephan, Frank; Terwijn, Sebastiaan A.
1
2015
The finite intervals of the Muchnik lattice. Zbl 1247.03081
Terwijn, Sebastiaan A.
1
2012
Notes on sum-tests and independence tests. Zbl 1435.68127
Bauwens, Bruno; Terwijn, Sebastiaan A.
1
2011
Kripke models, distributive lattices, and Medvedev degrees. Zbl 1165.03007
Terwijn, Sebastiaan A.
1
2007
Kripke models, distributive lattices, and Medvedev degrees. Zbl 1115.03020
Terwijn, Sebastiaan A.
1
2005
Almost complete sets. Zbl 1048.03032
Ambos-Spies, Klaus; Merkle, Wolfgang; Reimann, Jan; Terwijn, Sebastiaan A.
1
2003
Computably enumerable reals and uniformly presentable ideals. Zbl 1017.03019
Downey, Rod; Terwijn, Sebastiaan A.
1
2002
Linear ramified higher type recursion and parallel complexity. Zbl 1024.68041
Aehlig, Klaus; Johannsen, Jan; Schwichtenberg, Helmut; Terwijn, Sebastiaan A.
1
2001
Generalizations of the recursion theorem. Zbl 06997562
Terwijn, Sebastiaan A.
2
2018
Covering the recursive sets. Zbl 06496602
Kjos-Hanssen, Bjørn; Stephan, Frank; Terwijn, Sebastiaan A.
1
2015
Effective genericity and differentiability. Zbl 1345.03085
Kuyper, Rutger; Terwijn, Sebastiaan
2
2014
Model theory of measure spaces and probability logic. Zbl 1326.03030
Kuyper, Rutger; Terwijn, Sebastiaan A.
2
2013
Intuitionistic logic and Muchnik degrees. Zbl 1252.03101
Sorbi, Andrea; Terwijn, Sebastiaan A.
5
2012
The finite intervals of the Muchnik lattice. Zbl 1247.03081
Terwijn, Sebastiaan A.
1
2012
Nonapproximability of the normalized information distance. Zbl 1215.68116
Terwijn, Sebastiaan A.; Torenvliet, Leen; Vitányi, Paul M. B.
2
2011
Notes on sum-tests and independence tests. Zbl 1435.68127
Bauwens, Bruno; Terwijn, Sebastiaan A.
1
2011
Decidability and undecidability in probability logic. Zbl 1211.03044
Terwijn, Sebastiaan A.
2
2009
Intermediate logics and factors of the Medvedev lattice. Zbl 1156.03026
Sorbi, Andrea; Terwijn, Sebastiaan A.
9
2008
On the structure of the Medvedev lattice. Zbl 1140.03020
Terwijn, Sebastiaan A.
4
2008
Limit computability and constructive measure. Zbl 1175.03026
Hirschfeldt, Denis R.; Terwijn, Sebastiaan A.
2
2008
The arithmetical complexity of dimension and randomness. Zbl 1407.03057
Hitchcock, John M.; Lutz, Jack H.; Terwijn, Sebastiaan A.
2
2007
Kripke models, distributive lattices, and Medvedev degrees. Zbl 1165.03007
Terwijn, Sebastiaan A.
1
2007
Calibrating randomness. Zbl 1113.03037
Downey, Rod; Hirschfeldt, Dennis R.; Nies, André; Terwijn, Sebastiaan A.
41
2006
On partial randomness. Zbl 1077.03022
Calude, Cristian S.; Staiger, Ludwig; Terwijn, Sebastiaan A.
27
2006
The Medvedev lattice of computably closed sets. Zbl 1090.03010
Terwijn, Sebastiaan A.
9
2006
Constructive logic and the Medvedev lattice. Zbl 1107.03024
Terwijn, Sebastiaan A.
6
2006
Randomness, relativization and Turing degrees. Zbl 1090.03013
Nies, André; Stephan, Frank; Terwijn, Sebastiaan A.
44
2005
Probabilistic logic and induction. Zbl 1083.03028
Terwijn, Sebastiaan A.
6
2005
Kripke models, distributive lattices, and Medvedev degrees. Zbl 1115.03020
Terwijn, Sebastiaan A.
1
2005
Complexity and randomness. Zbl 1121.68058
Terwijn, S. A.
5
2004
Almost complete sets. Zbl 1048.03032
Ambos-Spies, Klaus; Merkle, Wolfgang; Reimann, Jan; Terwijn, Sebastiaan A.
1
2003
On the learnability of hidden Markov models. Zbl 1028.68616
Terwijn, Sebastiaan A.
4
2002
Computably enumerable reals and uniformly presentable ideals. Zbl 1017.03019
Downey, Rod; Terwijn, Sebastiaan A.
1
2002
Computational randomness and lowness. Zbl 0990.03033
Terwijn, Sebastiaan A.; Zambella, Domenico
43
2001
On the quantitative structure of \(\Delta_2^0\). Zbl 1010.03028
Terwijn, Sebastiaan A.
2
2001
Linear ramified higher type recursion and parallel complexity. Zbl 1024.68041
Aehlig, Klaus; Johannsen, Jan; Schwichtenberg, Helmut; Terwijn, Sebastiaan A.
1
2001
Counting extensional differences in BC-learning. Zbl 0974.68163
Stephan, Frank; Terwijn, Sebastiaan A.
2
2000
Lowness for the class of random sets. Zbl 0954.68080
Kučera, Antonín; Terwijn, Sebastiaan A.
26
1999
Arithmetical measure. Zbl 0898.03017
Terwijn, Sebastiaan A.; Torenvliet, Leen
3
1998
Resource bounded randomness and weakly complete problems. Zbl 0912.68069
Ambos-Spies, Klaus; Terwijn, Sebastiaan A.; Zheng, Xizhong
16
1997
Genericity and measure for exponential time. Zbl 0874.68094
Ambos-Spies, Klaus; Neis, Hans-Christian; Terwijn, Sebastiaan A.
12
1996
Resource bounded randomness and weakly complete problems. Zbl 0953.68546
Ambos-Spies, Klaus; Terwijn, Sebastiaan A.; Zheng, Xizhong
7
1994
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

Citations by Year