Antonín Kučera
Charles University in Prague
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Antonín Kučera.
SIAM Journal on Computing | 2002
Antonín Kučera; Theodore A. Slaman
One recursively enumerable real
Journal of Symbolic Logic | 1999
Antonín Kučera; Sebastiaan A. Terwijn
\alpha
Annals of Pure and Applied Logic | 1993
Antonín Kučera
dominates another one
Annals of Pure and Applied Logic | 2011
Antonín Kučera; André Nies
\beta
Studies in logic and the foundations of mathematics | 1989
Antonín Kučera
if there are nondecreasing recursive sequences of rational numbers
Journal of the European Mathematical Society | 2016
Laurent Bienvenu; Noam Greenberg; Antonín Kučera; André Nies; Dan Turetsky
(a[n]:n\in\omega)
arXiv: Logic | 2007
Antonín Kučera; Theodore A. Slaman
approximating
arXiv: Logic | 2012
Antonín Kučera; André Nies
\alpha
Studies in logic and the foundations of mathematics | 1979
O. Demuth; Antonín Kučera
and
Journal of Symbolic Logic | 1989
Petr Hájek; Antonín Kučera
(b[n]:n\in\omega)
Collaboration
Dive into the Antonín Kučera's collaboration.
