Osnova sekce

  • Read the paper by Macintyre "Model theory: Geometrical and set-theoretic aspects and prospects". Think how it connects with our discussions of the role of set theory vs. category theory. For understanding Macintyre's position, read first abou this life and mathematical interests, for instance here: 

    https://en.wikipedia.org/wiki/Angus_Macintyre

    Compare with the paper of Baldwin "The Dividing Line Methodology: Model Theory Motivating Set Theory".

    Focus on the fact how both see Shelah's contributions as essential, but interpret them differently.