Annals of Pure and Applied Logic Volume 162, Issue 4

The�Annals of Pure and Applied Logic�publishes papers and short monographs on topics of current interest in pure and applied logic, the foundations of mathematics and those areas of theoretical computer science and other disciplines which are of direct interest to mathematical logic. TheAnnals�serves primarily but not exclusively as a vehicle for the publication of papers too long to be published promptly by other journals, but too short to form a separate book.