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

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

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

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

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

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

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

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

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