PrerequisiteLie algebras, representations.AbstractI will start from the reminder of the representation theory of simple finite-dimensional Lie algebras. Then I will define the current algebras and some the most important representations of them. I will explain how are these modules related to some families of orthogonal polynomials, describe the structure of these modules
IntroductionThis course will use a material written by J.Carlström. It can be downloaded byhttps://bimsa.net/doc/notes/logic2008.pdf SyllabusDay 1 Introduction• History and purpose of logic.• Boolean algebras.Inductively defined sets (Ch. 3 of Carlström)• Motivation: What is formal syntax? What are formulas?• The natural numbers; recursion and induction principles• General inductively defi...