added note

Author: root

_posts/2022-04-12-models-of-relevant-arithmetic-part-ii.html

@@ -13,7 +13,7 @@
 <p>In their technical report “Alien Intruders in Relevant Arithmetic,” Robert Meyer and Chris Mortensen explored models of relevant arithmetic including nonstandard numbers and proved an “Alien Intruder Theorem” that there are models of relevant arithmetic R# in which all rationals exist and act as natural numbers. They observed some “magical” phenomena about these models, like the fact that induction holds of these rational numbers, but did little to explain them. In this talk, I will show how techniques from ultraproduct constructions reveal some of the reasons for these “magical” features, which help demystify some of Meyer and Mortensen’s observations. This is joint work with Elisangela Ramirez at UNAM.</p>
 
 
-<p><strong><a href='https://www.youtube.com/watch?v=-cMcIDOjX7A'>Video</a></strong></p>
+<p><strong><a href='https://www.youtube.com/watch?v=ogG_MefZF9E'>Video</a></strong></p>
  ​"
 excerpt_separator: <!--more-->
 talk: yes

_posts/2022-04-22-stationary-logic-and-set-theory.html

@@ -18,7 +18,7 @@
 excerpt_separator: <!--more-->
 talk: yes
 note: "<strong>2:00pm</strong> NY time<br>
-<font color='red' size='3'><strong>In Person (contact <a href='mailto:Russell.Miller@qc.cuny.edu'>Russell Miller</a> by April 15 to be admitted into GC for the talk)</strong> </font><br>
+<font color='red' size='3'><strong>Hybrid </strong> </font>(email <a href='mailto:vgitman@nylogic.org'>Victoria Gitman</a> for meeting id)<br>
 <strong>GC Room 5417</strong>
 
  "

_posts/2022-05-06-set-theory-seminar-tba.html

@@ -15,5 +15,7 @@
 "
 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>"
+note: "<strong>12:15pm</strong> NY time<br>
+<font color='red' size='3'><strong>Virtual</strong> </font>(email <a href='mailto:vgitman@nylogic.org'>Victoria Gitman</a> for meeting id)<br>
+<strong>GC Room 6496</strong>"
 ---

_posts/2022-05-13-set-theory-seminar-tba.html

@@ -15,5 +15,7 @@
 </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>"
+note: "<strong>12:15pm</strong> NY time<br>
+<font color='red' size='3'><strong>Virtual</strong> </font>(email <a href='mailto:vgitman@nylogic.org'>Victoria Gitman</a> for meeting id)<br>
+<strong>GC Room 6496</strong>"
 ---