Mathematical Logic In Asia - Proceedings Of The 9th Asian Logic Conference

Explore the fascinating world of mathematical logic with "Mathematical Logic In Asia - Proceedings Of The 9th Asian Logic Conference," edited by R. Downey and published by World Scientific Publishing Co Pte Ltd in 2006. This comprehensive volume, spanning 328 pages, showcases cutting-edge research presented at the 9th Asian Logic Conference held in Novosibirsk, Russia. The book delves into key areas of mathematical logic and its applications in computer science, featuring insightful articles on topics such as weakly o-minimal theories, algorithmic complexity of relations, and models within computable model theory. Additionally, it addresses hierarchies of randomness tests, computable numberings, and complexity challenges associated with minimal unsatisfiable formulas. Perfect for scholars and enthusiasts alike, this collection is an essential resource for anyone interested in the intersection of logic and mathematics.