When attempting to generalize recursion theory to admissible ordinals, it may seem as if all clas...

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

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

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

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

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

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

From America's most influential political blog, a grand survey of the world since 9 11

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

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