This Festschrift is published in honor of Rodney G. Downey, eminent logician and computer scienti...

Computability theory is a branch of mathematical logic and computer science that has become incre...

The theory relating algebraic curves and Riemann surfaces exhibits the unity of mathematics: topo...

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

Computability theory is a branch of mathematical logic and computer science that has become incre...

This volume results from two programs that took place at the Institute for Mathematical Sciences ...