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

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

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...

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

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...

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

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

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

A comprehensive introduction to eight major approaches to computation on uncountable mathematical...