On Natural Deduction in Dependence Logic

Chapters in this book

1. Frontmatter I
2. From the editors VII
3. Preface – Unity and Diversity of Logic IX
4. Contents XV
5. On the “Logic without Borders” Point of View 1
6. Arrow’s Theorem by Arrow Theory 15
7. How Big Should the Monster Model Be? 31
8. Modal Logic in the Modal Sense of Modality 51
9. Lindström’s Theorem for Positive Logics, a Topological View 73
10. Model Theory of Fields With Operators – a Survey 91
11. Some Aspects of the Ramsey Theory of Real Numbers 115
12. The Singular World of Singular Cardinals 139
13. Logical Nihilism 147
14. The Doxastic Interpretation of Team Semantics 167
15. The Size of a Formula as a Measure of Complexity 193
16. Notes on the History of Scope 215
17. Universal Structures with Forbidden Homomorphisms 241
18. Counting Measure and Forking in Finite Models 265
19. The Model Theory of Generic Cuts 281
20. On Natural Deduction in Dependence Logic 297
21. Infinitary Methods in Finite Model Theory 305
22. Saturating the Random Graph with an Independent Family of Small Range 319
23. Constructive Realism in Mathematics 339
24. The Twin Continua of Inductive Methods 355
25. A.E.C. with Not Too Many Models 367
26. Pursuing Logic without Borders 403
27. A Radio Interview with Jouko Väänänen 417