B.Sc. Mathematics Thesis

• Barwise, J., & Feferman, S. (Eds.) Model-Theoretic Logics. Springer, 1985.

  Relevant Sections:

  • Chapter 1: Generalized Quantifiers and Elementary Logic: Discusses the syntactical extension of first-order logic.
  • Chapter 3: Infinitary Languages: Focuses on the syntactical properties of infinitary logics.

  Google Search: Barwise & Feferman, “Model-Theoretic Logics”