The present book is an introduction to the philosophy of mathematics. It asks philosophical questions concerning fundamental concepts, constructions...
This volume is an introduction to inner model theory, an area of set theory which is concerned with fine structural inner models reflecting...
The book contains 8 detailed expositions of the lectures given at the Kaikoura 2000 Workshop on Computability, Complexity, and Computational...
This comprehensive two-volume work is devoted to the most general beginnings of mathematics. It goes back to Hausdorff’s classic Set Theory (2nd ed....
Ordinal Computability discusses models of computation obtained by generalizing classical models, such as Turing machines or register machines, to...