Department of Mathematics

This is a re-hash and review of several talks that I have given in the past on this subject.

I will outline some of the background in Model Theory and Universal Algebra, focussing on the definitions of the words in the title, and giving a few examples/non-examples.

This talk was supposed to be accompanied by a few pages of point-form summary notes. I hope that I will have them prepared before the next talk!

This is a prelude to an open-ended series of very informal talks on the Questions and Problems at the end of my 2022 paper with Anand Pillay.

References:

1. Earlier talks on this topic
2. Baldwin, J. T. and Shelah, S., The structure of saturated free algebras, Algebra Universalis 17(2):191–199 (1983)
3. Pillay, A. and Sklinos, R., Saturated free algebras revisited, Bull. Symb. Log., 21(3):306–318 (2015).
4. Kucera, Thomas G. and Pillay, Anand, Saturated free algebras and almost indiscernible theories, Algebra Universalis 83(11)(2022)
   https://doi.org/10.1007/s00012-021-00766-x