The video introduces countable categoricity and present the theorem of Engeler, Ryll-Nardzewski, and Svenonius, its proof, and some examples. In this second version I corrected a mistake in a formula, and added more examples.
Right-click 'Download' and select 'Save Link As' if the file opens in a new tab.