-
1
-
-
0039681742
-
Randomness in computability theory
-
P. Cholak, S. Lempp, M. Lerman, R. Shore (Eds.)
-
K. Ambos-Spies, A. Kučera, Randomness in computability theory, in: P. Cholak, S. Lempp, M. Lerman, R. Shore (Eds.), Computability Theory and its Applications, Contemporary Mathematics, vol. 257, 2000, pp. 1-14.
-
(2000)
Computability Theory and Its Applications, Contemporary Mathematics
, vol.257
, pp. 1-14
-
-
Ambos-Spies, K.1
Kučera, A.2
-
2
-
-
78649893518
-
Recursively enumerable reals and Chaitin's Ω number
-
M. Morvan, C. Meinel, D. Krob (Eds.), STACS '98
-
C. Calude, P. Hertling, B. Khoussainov, Y. Wang, Recursively enumerable reals and Chaitin's Ω number, in: M. Morvan, C. Meinel, D. Krob (Eds.), STACS '98, Springer Lecture Notes in Computer Science, vol. 1373, 1998, pp. 596-606.
-
(1998)
Springer Lecture Notes in Computer Science
, vol.1373
, pp. 596-606
-
-
Calude, C.1
Hertling, P.2
Khoussainov, B.3
Wang, Y.4
-
3
-
-
0016532771
-
A theory of program size formally identical to information theory
-
Chaitin G. A theory of program size formally identical to information theory. J. Assoc. Comput. Mach. 22:1975;329-340.
-
(1975)
J. Assoc. Comput. Mach.
, vol.22
, pp. 329-340
-
-
Chaitin, G.1
-
5
-
-
3242672805
-
On Schnorr and computable randomness, martingales, and machines
-
to appear
-
R. Downey, E. Griffiths, G. LaForte, On Schnorr and computable randomness, martingales, and machines, Math. Logic Quart., to appear.
-
Math. Logic Quart.
-
-
Downey, R.1
Griffiths, E.2
Laforte, G.3
-
8
-
-
0036520623
-
Randomness, computability and density
-
Downey R., Hirschfeldt D., Nies A. Randomness, computability and density. SIAM J. Comput. 31:2002;1169-1183. (Extended abstract appeared in: A. Ferriera, H. Reichel (Eds.), Symp. Theoretical Aspects of Computer Science, STACS'01 January, 2001, Lecture Notes in Computer Science, Springer, Berlin, 2001, pp. 195-201).
-
(2002)
SIAM J. Comput.
, vol.31
, pp. 1169-1183
-
-
Downey, R.1
Hirschfeldt, D.2
Nies, A.3
-
9
-
-
0036520623
-
Extended abstract appeared
-
Symp. Theoretical Aspects of Computer Science, STACS'01 January, 2001, Springer, Berlin
-
Downey R., Hirschfeldt D., Nies A. Randomness, computability and density. SIAM J. Comput. 31:2002;1169-1183. (Extended abstract appeared in: A. Ferriera, H. Reichel (Eds.), Symp. Theoretical Aspects of Computer Science, STACS'01 January, 2001, Lecture Notes in Computer Science, Springer, Berlin, 2001, pp. 195-201).
-
(2001)
Lecture Notes in Computer Science
, pp. 195-201
-
-
Ferriera, A.1
Reichel, H.2
-
10
-
-
3242710718
-
Trivial reals, extended abstract
-
B. Schröder (Eds.)
-
R. Downey, D. Hirschfeldt, A. Nies, F. Stephan, Trivial reals, extended abstract, in: B. Schröder (Eds.), Computability and Complexity in Analysis Malaga (Electronic Notes in Theoretical Computer Science, and proceedings, Weihrauch, FernUniversität, 294-6/2002, July 2002, pp. 37-55. Final version appears in: Proc. 7th and 8th Asian Logic Conferences, World Scientific, Singapore, 2003, pp. 103-131).
-
Computability and Complexity in Analysis Malaga
-
-
Downey, R.1
Hirschfeldt, D.2
Nies, A.3
Stephan, F.4
-
11
-
-
3242736945
-
Electronic Notes in Theoretical Computer Science, and proceedings
-
Weihrauch, FernUniversität, 294-6/2002, July, Final version appears, World Scientific, Singapore, 2003, pp. 103-131
-
R. Downey, D. Hirschfeldt, A. Nies, F. Stephan, Trivial reals, extended abstract, in: B. Schröder (Eds.), Computability and Complexity in Analysis Malaga (Electronic Notes in Theoretical Computer Science, and proceedings, Weihrauch, FernUniversität, 294-6/2002, July 2002, pp. 37-55. Final version appears in: Proc. 7th and 8th Asian Logic Conferences, World Scientific, Singapore, 2003, pp. 103-131).
-
(2002)
Proc. 7th and 8th Asian Logic Conferences
, pp. 37-55
-
-
-
14
-
-
0000701330
-
1 -classes and complete extensions of PA
-
H. Ebbinghaus, G. Müller, G. Sacks (Eds.), Springer, Berlin
-
1 -classes and complete extensions of PA, in: H. Ebbinghaus, G. Müller, G. Sacks (Eds.), Recursion Theory Week, Lecture Notes in Mathematics, vol. 1141, Springer, Berlin, 1985, pp. 245-259.
-
(1985)
Recursion Theory Week, Lecture Notes in Mathematics
, vol.1141
, pp. 245-259
-
-
Kučera, A.1
-
15
-
-
0036214633
-
Randomness and recursive enumerability
-
Kučera A., Slaman T. Randomness and recursive enumerability. SIAM J. Comput. 31:2001;199-211.
-
(2001)
SIAM J. Comput.
, vol.31
, pp. 199-211
-
-
Kučera, A.1
Slaman, T.2
-
16
-
-
0039657049
-
Lowness for the class of random sets
-
Kučera A., Terwijn S. Lowness for the class of random sets. J. Symbolic Logic. 64:1999;1396-1402.
-
(1999)
J. Symbolic Logic
, vol.64
, pp. 1396-1402
-
-
Kučera, A.1
Terwijn, S.2
-
17
-
-
0038477160
-
Notions of weak genericity
-
Kurtz S. Notions of weak genericity. J. Symbolic Logic. 48:1983;764-770.
-
(1983)
J. Symbolic Logic
, vol.48
, pp. 764-770
-
-
Kurtz, S.1
-
19
-
-
0000508181
-
On the notion of a random sequence
-
Levin L.A. On the notion of a random sequence. Soviet Math. Dokl. 14:1973;1413-1416.
-
(1973)
Soviet Math. Dokl.
, vol.14
, pp. 1413-1416
-
-
Levin, L.A.1
-
22
-
-
18344371384
-
The definition of random sequences
-
Martin-Löf P. The definition of random sequences. Inform. Control. 9:1966;602-619.
-
(1966)
Inform. Control
, vol.9
, pp. 602-619
-
-
Martin-Löf, P.1
-
26
-
-
0002411710
-
Zufälligkeit und Wahrscheinlichkeit
-
Berlin: Springer
-
Schnorr C.P. Zufälligkeit und Wahrscheinlichkeit. Lecture Notes in Mathematics. vol. 218:1971;Springer, Berlin.
-
(1971)
Lecture Notes in Mathematics
, vol.218
-
-
Schnorr, C.P.1
-
27
-
-
0000583779
-
A unified approach to the definition of a random sequence
-
Schnorr C.P. A unified approach to the definition of a random sequence. Math. Systems Theory. 5:1971;246-258.
-
(1971)
Math. Systems Theory
, vol.5
, pp. 246-258
-
-
Schnorr, C.P.1
-
28
-
-
0345106453
-
A survey of the theory of random sequences
-
D. Reidel, Dordrecht, Holland
-
C.P. Schnorr, A survey of the theory of random sequences, in: Basic Problems in Methodology and Linguistics, D. Reidel, Dordrecht, Holland, 1977, pp. 193-210.
-
(1977)
Basic Problems in Methodology and Linguistics
, pp. 193-210
-
-
Schnorr, C.P.1
-
30
-
-
0035633478
-
Algorithmic randomness and lowness
-
Terwijn S., Zambella D. Algorithmic randomness and lowness. J. Symbolic Logic. 66:2001;1199-1205.
-
(2001)
J. Symbolic Logic
, vol.66
, pp. 1199-1205
-
-
Terwijn, S.1
Zambella, D.2
-
31
-
-
0011565585
-
-
Ph.D. Dissertation, University of Amsterdam
-
M. van Lambalgen, Random sequences, Ph.D. Dissertation, University of Amsterdam, 1987.
-
(1987)
Random Sequences
-
-
Van Lambalgen, M.1
-
33
-
-
0002899344
-
Grundlagen der Wahrscheinlichkeitsrechnung
-
von Mises R. Grundlagen der Wahrscheinlichkeitsrechnung. Math. Z. 5:1919;52-99.
-
(1919)
Math. Z.
, vol.5
, pp. 52-99
-
-
Von Mises, R.1
-
34
-
-
0004206289
-
-
Ph.D. Dissertation, University of Heidelberg
-
Y. Wang, Randomness and complexity, Ph.D. Dissertation, University of Heidelberg, 1996.
-
(1996)
Randomness and Complexity
-
-
Wang, Y.1
|