Fast Track to Forcing
This quick yet detailed introduction to set theory and forcing builds the reader’s intuition about it as much as the mathematical detail. Intuition, rather absent … Read more
Set Theory
Gdel ’96: Logical Foundations of Mathematics, Computer Science and Physics – Kurt Gdel’s Legacy (Lecture Notes in Logic)
The proceedings of the conference ‘Logical Foundations of Mathematics, Computer Science, and Physics – Kurt Gdel’s Legacy’, held in Brno, Czech Republic, on the 90th … Read more