This book is a brief and focused introduction to the reverse mathematics and computability theory...

Classical computable model theory is most naturally concerned with countable domains. There are, ...

Classical computable model theory is most naturally concerned with countable domains. There are, ...

The series is devoted to the publication of high-level monographs on all areas of mathematical...

Intuitively, a sequence such as 101010101010101010... does not seem random, whereas 1011010111010...

Goncharov and Peretyat'kin independently gave necessary and sufficient conditions for when a set ...

Intuitively, a sequence such as 101010101010101010... does not seem random, whereas 1011010111010...

Intuitively, a sequence such as 101010101010101010... does not seem random, whereas 1011010111010...

The book contains 8 detailed expositions of the lectures given at the Kaikoura 2000 Workshop o...