A Festschrift for Jouko Väänänen‘s 60th birthday is now out with de Gruyter, edited by Åsa Hirvonen, Juha Kontinen, Roman Kossak, and Andrés Villaveces:
In recent years, mathematical logic has developed in many directions, the initial unity of its subject matter giving way to a myriad of seemingly unrelated areas. The articles collected here, which range from historical scholarship to recent research in geometric model theory, squarely address this development. These articles also connect to the diverse work of Väänänen, whose ecumenical approach to logic reflects the unity of the discipline.
It’s expensive, but the table of contents features an all-star cast:
- Juliette Kennedy, On the “Logic without Borders” Point of View
- Samson Abramsky, Arrow’s Theorem by Arrow Theory
- John T. Baldwin, How Big Should the Monster Model Be?
- John P. Burgess, Modal Logic in the Modal Sense of Modality
- Xavier Caicedo, Lindström’s Theorem for Positive Logics, a Topological View
- Zoé Chatzidakis, Model Theory of Fields With Operators – a Survey
- Carlos Augusto Di Prisco, Some Aspects of the Ramsey Theory of Real Numbers
- Mirna Džamonja, The Singular World of Singular Cardinals
- Curtis Franks, Logical Nihilism
- Pietro Galliani, The Doxastic Interpretation of Team Semantics
- Lauri Hella and Jouko Väänänen, The Size of a Formula as a Measure of Complexity
- Wilfrid Hodges, Notes on the History of Scope<
- Jan Hubička and Jaroslav Nešetřil, Universal Structures with Forbidden Homomorphisms
- Tapani Hyttinen, Counting Measure and Forking in Finite Models
- Richard Kaye and Tin Lok Wong, The Model Theory of Generic Cuts
- Juha Kontinen, On Natural Deduction in Dependence Logic
- Steven Lindell, Henry Towsner, and Scott Weinstein, Infinitary Methods in Finite Model Theory
- Maryanthe Malliaris and Saharon Shelah, Saturating the Random Graph with an Independent Family of Small Range
- Ilkka Niiniluoto, Constructive Realism in Mathematics
- Jeff B. Paris and Alena Vencovská, The Twin Continua of Inductive Methods
- Saharon Shelah, A.E.C. with Not Too Many Models
- ouko Väänänen, Pursuing Logic without Borders/li>
- A Radio Interview with Jouko Väänänen