BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//132.216.98.100//NONSGML kigkonsult.se iCalcreator 2.20.4//
BEGIN:VEVENT
UID:20260519T045627EDT-5752XHKoi5@132.216.98.100
DTSTAMP:20260519T085627Z
DESCRIPTION:First-order logic with dependent sorts (FOLDS) and the related 
 generalization of the concept of isomorphism\, 'FOLDS equivalence'\n\nThis
  will be a partial introduction to the subject I first wrote about in 1995
  in the monograph with the similar title (see my website). A shorter descr
 iption is in the (published) 1998 paper no. 68 in my CV (on the website\; 
 also downloadable). There are more things on FOLDS on my website\, and awa
 y from it as well. For instance\, the MSC thesis of Christian Boudreault\,
  which is relevant to the specific things I want to say\, I still have to 
 put on my website. Although my familiarity with the literature tends to be
  spotty\, I have the long-standing and strong impression that FOLDS and FO
 LDS equivalences have generated little interest either in the logical or i
 n the categorical community: let this be a warning for you. After generali
 ties\, I will concentrate on countable structures\, the family of analytic
  equivalence relations given by FOLDS equivalences\, and logical connectio
 ns\, e.g. a generalization of Scott's isomorphism theorem on countable str
 uctures.\n
DTSTART:20170314T193000Z
DTEND:20170314T203000Z
LOCATION:Room 920\, Burnside Hall\, CA\, QC\, Montreal\, H3A 0B9\, 805 rue 
 Sherbrooke Ouest
SUMMARY:M. Makkai\, McGill
URL:https://www.mcgill.ca/mathstat/channels/event/m-makkai-mcgill-267008
END:VEVENT
END:VCALENDAR