added talks

Author: root

_posts/2022-05-06-rich-algebraic-structures-and-weak-second-order-logic.html

@@ -0,0 +1,25 @@
+---
+layout: talk
+title: Logic Workshop
+talk_title: Rich algebraic structures and weak second order logic
+categories: logic-workshop
+date: 2022-05-06
+semester: spring-2020
+speaker_first: Alexei 
+speaker_last: Miasnikov 
+speaker_website: "https://web.stevens.edu/algebraic/alexeim/"
+affiliation: Stevens Institute of Technology
+abstract: "
+<p>
+Stationary logic was introduced in the 1970’s. It allows the quantifier 'for almost all countable subsets s…'. Although it is undoubtedly a kind of second order logic, it is completely axiomatizable, countably compact and satisfies a kind of Downward Lowenheim-Skolem theorem. In this talk I give first a general introduction to the extension of first order logic by this 'almost all'-quantifier. As 'almost all' is interpreted as 'for a club of', the theory of this logic is entangled with properties of stationary sets. I will give some examples of this. The main reason to focus on this logic in my talk is to use it to build an inner model of set theory. I will give a general introduction to this inner model, called C(aa), or the aa-model, and sketch a proof of CH in the model. My work on the aa-model is joint work with Juliette Kennedy and Menachem Magidor.
+</p>
+
+ ​"
+excerpt_separator: <!--more-->
+talk: yes
+note: "<strong>2:00pm</strong> NY time<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 TBA</strong>
+
+ "
+---

_posts/2022-05-06-weak-indestructibility-and-reflection.html

@@ -0,0 +1,21 @@
+---
+layout: talk
+title: Set Theory Seminar
+talk_title: Weak Indestructibility and Reflection
+categories: set-theory-seminar
+date: 2022-05-06
+semester: spring-2020
+speaker_first: James 
+speaker_last: Holland
+speaker_website: 
+affiliation: Rutgers University
+abstract: "
+<p>Assuming multiple of strong cardinals, there are lots of cardinals with small degrees of strength (i.e. $&#92;kappa$ that are $&#92;kappa$+2-strong).  We can calculate the consistency strength of these all cardinal's small degrees of strength being weakly indestructible using forcing and core model techniques in a way similar to Apter and Sargsyan's previous work.  This yields some easy relations between indestructibility and Woodin cardinals, and also generalizes easily to supercompacts.  I will give a proof sketches of these results.</p>
+<p><strong><a href=''>Video</a></strong></p>
+"
+excerpt_separator: <!--more-->
+talk: yes
+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-06-set-theory-seminar-tba.html renamed to _posts/2022-05-31-mopa-tba.html

@@ -1,21 +1,20 @@
 ---
 layout: talk
-title: Set Theory Seminar
+title: MOPA
 talk_title: TBA
-categories: set-theory-seminar
-date: 2022-05-06
+categories: MOPA
+date: 2022-05-31
 semester: spring-2020
-speaker_first: James 
-speaker_last: Holland
-speaker_website: 
-affiliation: Rutgers University
+speaker_first: Tin Lok 
+speaker_last: Wong
+speaker_website: "https://blog.nus.edu.sg/matwong/"
+affiliation: National University of Singapore
 abstract: "
 
 <p><strong><a href=''>Video</a></strong></p>
-"
+ ​"
 excerpt_separator: <!--more-->
 talk: yes
-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>"
+note: "<strong>8:00pm</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)"
 ---