- LEARNING AND COMPUTING IN THE LIMIT SEBASTIAAN A. TERWIJN
- CONSTRUCTIVE LOGIC AND THE MEDVEDEV Sebastiaan A. Terwijn
- Kripke Models, Distributive Lattices, and Medvedev Degrees
- ON THE STRUCTURE OF THE MEDVEDEV LATTICE Sebastiaan A. Terwijn
- Habilitationsschrift Constructive Logic and
- LEARNING AND COMPUTING IN THE LIMIT SEBASTIAAN A. TERWIJN
- Randomness, relativization and Turing degrees Andre Nies, Frank Stephan and Sebastiaan A. Terwijn
- Arithmetical Measure Sebastiaan A. Terwijn Leen Torenvliet
- INTERMEDIATE LOGICS AND FACTORS OF THE MEDVEDEV ANDREA SORBI AND SEBASTIAAN A. TERWIJN
- PROBABILISTIC LOGIC AND INDUCTION Sebastiaan A. Terwijn #
- LIMIT COMPUTABILITY AND CONSTRUCTIVE MEASURE DENIS R. HIRSCHFELDT AND SEBASTIAAN A. TERWIJN
- LIMIT COMPUTABILITY AND CONSTRUCTIVE MEASURE DENIS R. HIRSCHFELDT AND SEBASTIAAN A. TERWIJN
- PROBABILISTIC LOGIC AND INDUCTION Sebastiaan A. Terwijn
- DECIDABILITY AND UNDECIDABILITY IN PROBABILITY Sebastiaan A. Terwijn
- THE MEDVEDEV LATTICE OF COMPUTABLY CLOSED SETS
- THE FINITE INTERVALS OF THE MUCHNIK LATTICE Sebastiaan A. Terwijn #
- ON THE STRUCTURE OF THE MEDVEDEV LATTICE Sebastiaan A. Terwijn #
- Computably Enumerable Reals and Uniformly Presentable Ideals
- Genericity and Measure for Exponential Time 1 Klaus AmbosSpies HansChristian Neis
- THE MEDVEDEV LATTICE OF COMPUTABLY CLOSED SETS
- arXiv:cs.LO/0408043 The Arithmetical Complexity of Dimension and
- Randomness, relativization and Turing degrees Andre Nies, Frank Stephan and Sebastiaan A. Terwijn
- Arithmetical Measure Sebastiaan A. Terwijn Leen Torenvliet
- Complexity and Randomness Course notes, University of Auckland, March 20031
- Erratum to "On the structure of the Medvedev lattice" S. A. Terwijn, April 28, 2009.
- Genericity and Measure for Exponential Time1 Klaus Ambos-Spies Hans-Christian Neis
- THE FINITE INTERVALS OF THE MUCHNIK LATTICE Sebastiaan A. Terwijn
- INTERMEDIATE LOGICS AND FACTORS OF THE MEDVEDEV ANDREA SORBI AND SEBASTIAAN A. TERWIJN
- Erratum to ``On the structure of the Medvedev lattice'' S. A. Terwijn, April 28, 2009.
- Habilitationsschrift Constructive Logic and
- Extensional Set Learning \Lambda Sebastiaan A. Terwijn y
- Kripke Models, Distributive Lattices, and Medvedev Degrees
- CONSTRUCTIVE LOGIC AND THE MEDVEDEV Sebastiaan A. Terwijn #
- Almost Complete Sets Klaus AmbosSpies a , Wolfgang Merkle a , Jan Reimann a
- DECIDABILITY AND UNDECIDABILITY IN PROBABILITY Sebastiaan A. Terwijn #
- Complexity and Randomness Course notes, University of Auckland, March 2003 1
