The prospects for mathematical logic in the twenty-first century

Samuel R. Buss, Alexander S. Kechris, Anand Pillay +1

The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic f…