Dear all,
The next talk in the Bristol Logic and Set Theory Seminar will take place next
- Wednesday, 29 November at 3:30-5:00pm
in room G.06 in the Fry Building and streamed on zoom at https://bristol-ac-uk.zoom.us/j/97141948018 (meeting ID: 971 4194 8018).
Jonathan Schilhan (University of Leeds) will speak about 'A geometric condition for Dependent Choice'.
Abstract: The method of permutation models is used to prove basic independence results related to the Axiom of Choice over set theory with atoms. While it is already more than 100 years old (introduced in 1922), arguments that show whether DC holds in a permutation model have always been either ad-hoc or relied simply on the filter of groups being countably closed. We have succeeded in crystallising a condition which characterizes precisely when DC holds or not. Under some circumstances, the same characterization still holds for symmetric extensions.
We look forward to seeing you there! Upcoming Logic and Set Theory seminars will be announced at https://www.bristolmathsresearch.org/events/logic-and-set-theory.
With best wishes, Philipp Schlicht, Kentaro Fujimoto and Philip Welch
########################################################################
To unsubscribe from the BRISTOL-LOGIC-AND-SET-THEORY-SEM list, click the following link:
https://www.jiscmail.ac.uk/cgi-bin/WA-JISC.exe?SUBED1=BRISTOL-LOGIC-AND-SET-THEORY-SEM&A=1
This message was issued to members of www.jiscmail.ac.uk/BRISTOL-LOGIC-AND-SET-THEORY-SEM, a mailing list hosted by www.jiscmail.ac.uk, terms & conditions are available at https://www.jiscmail.ac.uk/policyandsecurity/
|