Sebastiaan A. Terwijn, Constructive Logic and the Medvedev Lattice -...
philpapers.org
We study the connection between factors of the Medvedev lattice and constructive logic. The algebraic properties of these factors determine logics lying in...
Sebastiaan A. Terwijn, On the Structure of the Medvedev Lattice -...
philpapers.org
We investigate the structure of the Medvedev lattice as a partial order. We prove that every interval in the lattice is either finite, in which case it is...
Sebastiaan A. Terwijn & Leen Torenvliet, Arithmetical Measure -...
philpapers.org
We develop arithmetical measure theory along the lines of Lutz [10]. This yields the same notion of measure 0 set as considered before by Martin-Löf, Schnorr,...
Works by Sebastiaan A. Terwijn - PhilPapers
philpapers.org
Andrea Sorbi & Sebastiaan A. Terwijn (2008). Intermediate Logics and Factors of the Medvedev Lattice. Annals of Pure and Applied Logic 155 (2):
User:Sebastiaan A. Terwijn - Scholarpedia
www.scholarpedia.org
Dr. Sebastiaan A. Terwijn. From Scholarpedia. Curator of ScholarpediaCurator Index: 0. Jump to: navigation, search ...
Search Results - Terwijn, Sebastiaan A. Author
library.mpifg.de
Your search - Terwijn, Sebastiaan A. Author - did not match any resources. Library Services. Interlibrary Loan & Purchases · Library Account · Contact.
[ ] Generalizations of the Recursion Theorem
arxiv.org
Title:Generalizations of the Recursion Theorem. Authors:Sebastiaan A. Terwijn. (Submitted on 28 Mar (v1), last revised 3 May (this version, v2)).
[math ] On the structure of the Medvedev lattice
arxiv.org
Authors: Sebastiaan A. Terwijn. (Submitted on 21 Jun 2006). Abstract: We investigate the structure of the Medvedev lattice as a partial order. We prove that every ...
CiteSeerX — On the Quantitative Structure of ...
citeseerx.ist.psu.edu
BibTeX. @MISC{Terwijn00onthe, author = {Sebastiaan A. Terwijn}, title = {On the Quantitative Structure of ...}, year = {2000} } ...
dblp: Sebastiaan Terwijn
dblp.uni-trier.de
List of computer science publications by Sebastiaan Terwijn
Nonapproximablity of the Normalized Information Distance : Sebastiaan...
archive.org
fullscreen. Author: Sebastiaan A. Terwijn; Leen Torenvliet; Paul M. B. Vitanyi Language: English Collection: arxiv; additional_collections ...
Google Groups: This week in the mathematics arXiv (19 Jun Jun)
: LO > Sebastiaan A. Terwijn: On the structure of the Medvedev
Wikipedia: Algorithmically random sequence - Wikipedia
Downey, Rod; Hirschfeldt, Denis R.; Nies, André; Terwijn, Sebastiaan A. (2006). The Bulletin of Symbolic Logic 12 (3/4): 411–491. Gács, Péter (1986).
Wikipedia: K-trivial set - Wikipedia
segments viewed as Jump up ^ Antonin Kučera and Sebastiaan A. Terwijn (
1999), "Lowness for the Class of Random Sets", The Journal of Symbolic Logic
Vol.
Wikipedia: Intermediate logic - Wikipedia
Constructive Logic and the Medvedev Lattice, Sebastiaan A. Terwijn, Notre Dame J. Formal Logic, Volume 47, Number 1 (2006), Toshio Umezawa.
All web results to the name "Sebastiaan A."
TDGS - "Sebastiaan A. Terwijn"
juliette.lsi.us.es
"Sebastiaan A. Terwijn" ... A total of 4 records were found in seconds
Internet Archive Search: creator:"Sebastiaan A. Terwijn"
archive.org
The finite intervals of the Muchnik lattice - Sebastiaan A. Terwijn We characterize the finite intervals of the Muchnik lattice by proving that they are a certain ...
CiteSeerX — Citation Query André Nies, and Sebastiaan A. Terwijn,...
citeseer.uark.edu
CiteSeerX - Scientific documents that cite the following paper: André Nies, and Sebastiaan A. Terwijn, Calibrating randomness, The Bulletin of Symbolic Logic 12
AMS :: Proceedings of the American Mathematical Society
www.ams.org
Rodney G. Downey, Denis R. Hirschfeldt, André Nies, and Sebastiaan A. Terwijn, Calibrating randomness, Bulletin of Symbolic Logic, to appear. 5.
Almost complete sets — Penn State
pennstate.pure.elsevier.com
Klaus Ambos-Spies, Wolfgang Merkle, Jan Severin Reimann, Sebastiaan A. Terwijn. Mathematics. Research output: Contribution to journal › ...
Terwijn : Constructive Logic and the Medvedev Lattice - Project Euclid
projecteuclid.org
... Logic and the Medvedev Lattice. Sebastiaan A. Terwijn On the structure of the Medvedev lattice. Terwijn, Sebastiaan A., Journal of Symbolic Logic,
When van Lambalgen's Theorem fails - AMS :: Proceedings of the ...www.ams.org/journal-getitem?pii=S
www.ams.org
Rodney G. Downey, Denis R. Hirschfeldt, André Nies, and Sebastiaan A. Terwijn. Calibrating randomness. Bull. Symbolic Logic. To appear. 6. Donald A. Martin ...
Related search requests for Sebastiaan A.
Koji Tominaga Leen Torenvliet Karsten Rinke | Andrea Sorbi |
People Forename "Sebastiaan" (372) Name |
sorted by relevance / date