added talk and tried to fix time

Author: root

_posts/2022-02-25-big-classes-and-the-respected-model.html

@@ -0,0 +1,23 @@
+---
+layout: talk
+title: Set Theory Seminar
+talk_title: Big classes and the respected model
+categories: set-theory-seminar
+date: 2022-02-25
+semester: spring-2020
+speaker_first: Richard
+speaker_last: Matthews
+speaker_website: 
+affiliation: University of Leeds
+abstract: "<p>
+In standard (ZFC) set theory, proper classes are not sets because they are too 'big' or, to put it in a formal way, because they surject onto any non-zero ordinal. We shall study this notion of 'bigness' in weaker systems of set theory, in particular those in which the Power Set Axiom fails. We will observe that in many such theories it is possible to have proper classes which are not big. </p>
+<p>
+As part of this, we shall see a failed attempt to find a proper class which is not big in the theory ZF without Power Set but with Collection - which is by taking a certain symmetric submodel of a class forcing. It will turn out that this approach fails because, unlike in the set forcing case, the symmetric submodel of a class forcing need not exhibit many of the nice properties that we would expect. Notably, Collection may fail and, in fact, it is unclear which axioms need necessarily hold. </p>
+<p>
+This will lead to the definition of the 'Respected Model', an alternative approach to defining a submodel of a class forcing in which Choice fails. We will investigate the properties of this new model and compare it to the symmetric version.</p>
+<p><strong><a href=''>Video</a></strong></p>
+"
+excerpt_separator: <!--more-->
+talk: yes
+note: "<font color='red' size='3'><strong>The seminar will take place virtually at 12:30pm US Eastern Standard Time. Please email <a href='mailto:vgitman@nylogic.org'>Victoria Gitman</a> for meeting id.</strong></font>"
+---

_posts/2022-02-25-set-theory-seminar-tba.html

@@ -14,5 +14,5 @@
  ​"
 excerpt_separator: <!--more-->
 talk: yes
-note: "<font color='red' size='3'><strong>The seminar will take place virtually at <font color='blue'>2pm</font> US Eastern Standard Time. Please email <a href='mailto:vgitman@nylogic.org'>Victoria Gitman</a> for meeting id.</strong></font>"
+note: "<font color='red' size='3'><strong>The seminar will take place virtually at <font color='blue'>hello dear</font> US Eastern Standard Time. Please email <a href='mailto:vgitman@nylogic.org'>Victoria Gitman</a> for meeting id.</strong></font>"
 ---