BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of California\, Berkeley//UCB Events Calendar//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:America/Los_Angeles
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
DTSTART:19701029T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:19700402T020000
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20170825T071210Z
DTSTART;TZID=America/Los_Angeles:20170908T161000
DTEND;TZID=America/Los_Angeles:20170908T170000
TRANSP:OPAQUE
SUMMARY:Logic Colloquium: Model theory of invariant probabilistic constructions
UID:111009-ucb-events-calendar@berkeley.edu
ORGANIZER;CN="UC Berkeley Calendar Network":
LOCATION:60 Evans Hall
DESCRIPTION:Cameron Freer\, Founder\, Borelian Corporation and Chief Scientist\, Remine LLC\n\nThere is a long history of studying the logic obtained by assigning probabilities\, instead of truth values\, to first-order formulas. In a 1964 paper\, Gaifman studied probability distributions on countable structures that are invariant under renaming of the underlying set – which he called "symmetric measure-models"\, and which are essentially equivalent to what today are known as $S_\\infty $-invariant measures. In this paper\, he asked the question of which first-order theories admit invariant measures concentrated on the models of the theory.\n\nWe answer this question of Gaifman\, a key first step towards understanding the model theory of these measures\, which can be thought of as "probabilistic structures". In this talk\, we will also discuss related questions\, such as how many probabilistic structures are models of a given theory\, and when probabilistic structures are almost surely isomorphic to a single classical model.\n\nJoint work with Nathanael Ackerman and Rehana Patel.
URL:http://events.berkeley.edu/index.php/calendar/sn/pubaff.html?event_ID=111009&view=preview
SEQUENCE:0
CLASS:PUBLIC
CREATED:20170825T071210Z
LAST-MODIFIED:20170825T071210Z
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-OWNERAPPTID:-1
END:VEVENT
END:VCALENDAR