Learning objectives
# <br />
<br />
<br />
In-depth study of logical concepts already seen in previous courses, with particular reference to the concept of "definition". An overview of other Mathematical Logic topics
Prerequisites
# <br />
<br />
<br />
A course in basic Mathematical Logic
Course unit content
<br />The programme will be agreed with the students, with a choice being made from the following topics: <br />
<br />
1) Theories (Extensions and equivalent theories; conservative, defining and linguistic extensions. Theories with classes). Syntactical interpretations and syntactic models among theories. Conservative interpretation of ZF in GB. <br />
<br />
2) The problem of foundations (Frege's Logicism and antinomies. Russell's types. Intuitionism. Opportunity of axiomatizing sets). <br />
<br />
3) Universal algebra (algebraic structures, sets of generators, free algebras. Direct products, congruencies and quotients. Equational classes, Birkhoff's theorem). <br />
<br />
4) Elements of theory of Categories (Yoneda's lemma. A set foundation: MMU. Added functors. Universal problems). <br />
<br />
5) Algebraic and categorial logic. <br />
<br />
6) Higher-order languages and multiset languages.
Bibliography
# <br />
<br />
<br />
S. Burris, H.P. Sankappanavar, A course in Universal Algebra, SPRINGER 1981; <br />
<br />
W.S. Hatcher, Fondamenti della Matematica, BORINGHIERI 1973; <br />
<br />
S. Mac Lane, Categorie nella pratica matematica, BORINGHIERI 1977; <br />
<br />
M. Makkai, G. Reyes, First order categorical logic. Model-theoretical methods in the the ory of topoi and related categories, Lecture Notes in Mathematics, Vol. 611, SPRINGER-VERLAG, BERLIN-NEW YORK, 1977; <br />
<br />
B. Mitchell, Theory of Categories, Academic Press 1965; <br />
<br />
B. Mitchell, Introduction Category Theory and Homological Algebra, III ciclo C.I.M.E. 1971, EDIZIONI CREMONESE 1973; <br />
<br />
H. Rasiowa, R. Sikorski: The Mathematics of Metamathematics, Warsaw 1970; <br />
<br />
M. Servi, L'ABC delle categorie in cinque lezioni, Rapporto Matematico n. 258, Dipartimento di Matematica dell'Universita di Siena, 1993.
Teaching methods
Another professor collaborates on the course. Theoretical lectures with assignment of exercises, which will then be corrected in class by the other students (in turns).