PA sets, 1-random sets and $\Pi^0_1$ classes

Antonín Kučera

Charles University, Prague

A survey of results and some open problems concerning algorithmic randomness and complete extensions of PA will be presented. The structure of $T$-degrees of 1-random sets and the properties of so-called $K$-trivials will be discussed.


2005-05-23