BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:John Baldwin (University of Illinois\, Chicago)
DTSTART:20220317T180000Z
DTEND:20220317T190000Z
DTSTAMP:20260423T035756Z
UID:OLS/87
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OLS/87/">Cat
 egory theory and Model Theory: Symbiotic Scaffolds</a>\nby John Baldwin (U
 niversity of Illinois\, Chicago) as part of Online logic seminar\n\n\nAbst
 ract\nA <i>scaffold</i> for mathematics includes both <i>local</i> foundat
 ions for\nvarious areas of mathematics and productive guidance in how to u
 nify them. In\na scaffold the unification does not take place by a common 
 axiomatic basis\nbut consists of a systematic ways of connecting results a
 nd proofs in various\nareas of mathematics.  Two scaffolds\, model theory 
 and category theory\,\nprovide local foundations for many areas of mathema
 tic including  two flavors\n(material and structural) of set theory and di
 fferent approaches to\nunification. We will discuss salient features of th
 e two scaffolds including\ntheir contrasting but bi-interpretable set theo
 ries. We focus on the\ncontrasting treatments of `size' in each scaffold a
 nd the\n      advantages/disadvantages of each for different problems.\n
LOCATION:https://researchseminars.org/talk/OLS/87/
END:VEVENT
END:VCALENDAR