BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//UM//UM*Events//EN
CALSCALE:GREGORIAN
BEGIN:VTIMEZONE
TZID:America/Detroit
TZURL:http://tzurl.org/zoneinfo/America/Detroit
X-LIC-LOCATION:America/Detroit
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20070311T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20071104T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20250416T221123
DTSTART;TZID=America/Detroit:20250421T160000
DTEND;TZID=America/Detroit:20250421T173000
SUMMARY:Lecture / Discussion:Student Model Theory Seminar (Invited Address)
DESCRIPTION:Title: An introduction to infinitary first-order (and propositional) logic\n\nAbstract: What happens to first-order logic if you allow the logical connectives and/or quantifiers to be infinitely long? It turns out that many of the standard tools and results (e.g.\, compactness) either break or trivialize\, while new interesting phenomena arise. Indeed\, infinitary propositional logic is already quite interesting\, and is closely related to (in some sense\, equivalent to) topology. Moreover\, the interaction between propositional and first-order plays a central role in infinitary logic\, and leads to the application of tools from topology and group actions to model theory. This talk will survey a proper subset of these topics\, such as the Scott isomorphism theorem\, omitting types theorem\, and Lopez-Escobar theorem.
UID:134890-21876060@events.umich.edu
URL:https://events.umich.edu/event/134890
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:Graduate Students,Mathematics,seminar,Talk,Undergraduate Students
LOCATION:East Hall - 4088
CONTACT:
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20250420T111715
DTSTART;TZID=America/Detroit:20250421T160000
DTEND;TZID=America/Detroit:20250421T170000
SUMMARY:Workshop / Seminar:The Twist for Positroid Varieties\, Part 2
DESCRIPTION:Last week we introduced positroid varieties and their descriptions through bounded affine permutations and equivalently Grassmann necklaces\, and talked about some relevant plabic graph combinatorics. In this talk\, we pick up from the boundary measurement map to give a parametrization of points in the positroid. We will then introduce the twist automorphism\, which will connect the image of the boundary measurement map to the nonvanishing information given by face labels of a plabic graph. We will then give a combinatorial way of computing twisted face pluckers from \"minimal matchings\" of the plabic graph\, which will turn out to be invertible\, hence showing the boundary measurement map is an open inclusion into the positroid variety over complex numbers.
UID:135134-21876344@events.umich.edu
URL:https://events.umich.edu/event/135134
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:Mathematics
LOCATION:East Hall - 3866
CONTACT:
END:VEVENT
END:VCALENDAR