This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There are many interesting results already, but there are also many natural questions still to be answered. The book is self-contained in that it includes necessary background material from recursion theory (ordinal notations, the hyperarithmetical...

Imagine Traveling The World Living Free and Easy, Like You've Always Wanted On A Throw-Away-Your-Wallet Because You Won't Need It Amazing Tour of The World.
What if I told you that you could easily travel the world, collecting super-sized stories of adventure, living like you're a rock star, and get this...for pennies on the dollar?
You would probably tell me that I'm half bonkers. That living the high life all around the world for next to nothing was a pipe dream; what with airlines charging an arm and leg just to get on board, extra baggage and all the extra charges, there's no way...

The book makes a strong and convincing case for a renewed emphasis on human development both to foster economic growth and as an end in itself. Policies for human development enhance the 'capabilities' of people to be and to do things. This book brings together contributions by recognised experts on various aspects of human development - educational policy, health and nutrition, technological capabilities, and the harnessing of local resources - and builds on them to advocate a redirection of policies for the 1990s.