updating to spring 2022

atharaq · atharaq · commit cea251e99e88 · 2022-09-08T13:30:29.000-04:00
diff --git a/_posts/2022-01-10-interpreters-as-a-species-of-consistoids.html b/_posts/2022-01-10-interpreters-as-a-species-of-consistoids.html
@@ -4,7 +4,7 @@
 talk_title: Interpreters as a species of Consistoids
 categories: MOPA
 date: 2022-01-10
-semester: spring-2020
+semester: spring-2022
 speaker_first: Albert 
 speaker_last: Visser
 speaker_website: 
@@ -24,4 +24,4 @@
 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>"
----
+---
diff --git a/_posts/2022-01-17-nonstandard-natural-numbers-in-arithmetic-ramsey-theory-and-topological-dynamics-ii.html b/_posts/2022-01-17-nonstandard-natural-numbers-in-arithmetic-ramsey-theory-and-topological-dynamics-ii.html
@@ -4,7 +4,7 @@
 talk_title: Nonstandard natural numbers in arithmetic Ramsey Theory and topological dynamics&#58; Part II
 categories: MOPA
 date: 2022-01-17
-semester: spring-2020
+semester: spring-2022
 speaker_first: Mauro 
 speaker_last: di Nasso
 speaker_website: "https://people.dm.unipi.it/dinasso/"
@@ -27,4 +27,4 @@
 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>"
----
+---
diff --git a/_posts/2022-03-15-models-of-relevant-arithmetic.html b/_posts/2022-03-15-models-of-relevant-arithmetic.html
@@ -4,7 +4,7 @@
 talk_title: Models of Relevant Arithmetic
 categories: MOPA
 date: 2022-03-15
-semester: spring-2020
+semester: spring-2022
 speaker_first: Thomas  
 speaker_last: Ferguson
 speaker_website: 
@@ -21,4 +21,4 @@
 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>"
----
+---
diff --git a/_posts/2022-03-22-generic-automorphisms.html b/_posts/2022-03-22-generic-automorphisms.html
@@ -4,7 +4,7 @@
 talk_title: Generic Automorphisms
 categories: MOPA
 date: 2022-03-22
-semester: spring-2020
+semester: spring-2022
 speaker_first: Ermek 
 speaker_last: Nurkhaidarov 
 speaker_website: 
@@ -19,4 +19,4 @@
 note: "<strong>2: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)"
 
----
+---
diff --git a/_posts/2022-03-29-a-survey-on-the-automorphism-groups-of-countable-recursively-saturated-models-of-pa.html b/_posts/2022-03-29-a-survey-on-the-automorphism-groups-of-countable-recursively-saturated-models-of-pa.html
@@ -4,7 +4,7 @@
 talk_title: A Survey on the Automorphism Groups of Countable (Boundedly) Recursively Saturated Models of PA
 categories: MOPA
 date: 2022-03-29
-semester: spring-2020
+semester: spring-2022
 speaker_first: Erez 
 speaker_last: Shochat
 speaker_website: 
@@ -19,4 +19,4 @@
 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)"
 
----
+---
diff --git a/_posts/2022-04-12-models-of-relevant-arithmetic-part-ii.html b/_posts/2022-04-12-models-of-relevant-arithmetic-part-ii.html
@@ -4,7 +4,7 @@
 talk_title: Models of relevant arithmetic&#58; Part II
 categories: MOPA
 date: 2022-04-12
-semester: spring-2020
+semester: spring-2022
 speaker_first: Thomas  
 speaker_last: Ferguson
 speaker_website: 
@@ -19,4 +19,4 @@
 talk: yes
 note: "<strong>2: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)"
----
+---
diff --git a/_posts/2022-04-19-absolute-undefinability-in-arithmetic.html b/_posts/2022-04-19-absolute-undefinability-in-arithmetic.html
@@ -4,7 +4,7 @@
 talk_title: Absolute undefinability in arithmetic
 categories: MOPA
 date: 2022-04-19
-semester: spring-2020
+semester: spring-2022
 speaker_first: Roman
 speaker_last: Kossak
 speaker_website: 
@@ -18,4 +18,4 @@
 talk: yes
 note: "<strong>2: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)"
----
+---
diff --git a/_posts/2022-04-26-modal-quantifiers-potential-infinity-and-yablo-sequences.html b/_posts/2022-04-26-modal-quantifiers-potential-infinity-and-yablo-sequences.html
@@ -4,7 +4,7 @@
 talk_title: Modal Quantifiers, Potential Infinity,  and Yablo sequences
 categories: MOPA
 date: 2022-04-26
-semester: spring-2020
+semester: spring-2022
 speaker_first: Michał 
 speaker_last: Godziszewski
 speaker_website: 
@@ -17,4 +17,4 @@
 talk: yes
 note: "<strong>2: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)"
----
+---
diff --git a/_posts/2022-05-03-the-structural-complexity-of-models-of-pa.html b/_posts/2022-05-03-the-structural-complexity-of-models-of-pa.html
@@ -4,7 +4,7 @@
 talk_title: The structural complexity of models of PA
 categories: MOPA
 date: 2022-05-03
-semester: spring-2020
+semester: spring-2022
 speaker_first: Dino  
 speaker_last: Rossegger
 speaker_website: "https://drossegger.github.io/"
@@ -37,4 +37,4 @@
 talk: yes
 note: "<strong>2: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)"
----
+---
diff --git a/_posts/2022-05-10-omega-consistency-godels-much-weaker-notion-of-soundness.html b/_posts/2022-05-10-omega-consistency-godels-much-weaker-notion-of-soundness.html
@@ -4,7 +4,7 @@
 talk_title: <i>&omega;</i>-Consistency&#58; G&ouml;del&rsquo;s &ldquo;much weaker&rdquo; notion of soundness
 categories: MOPA
 date: 2022-05-10
-semester: spring-2020
+semester: spring-2022
 speaker_first: Saeed 
 speaker_last: Salehi
 speaker_website: "https://saeedsalehi.ir/"
@@ -34,4 +34,4 @@
 talk: yes
 note: "<strong>10:00am</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)"
----
+---
diff --git a/_posts/2022-05-17-e-pluribus-unum.html b/_posts/2022-05-17-e-pluribus-unum.html
@@ -4,7 +4,7 @@
 talk_title: E Pluribus Unum
 categories: MOPA
 date: 2022-05-17
-semester: spring-2020
+semester: spring-2022
 speaker_first: Ken
 speaker_last: McAloon 
 speaker_website: 
@@ -21,4 +21,4 @@
 talk: yes
 note: "<strong>2: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)"
----
+---
diff --git a/_posts/2022-05-24-the-winding-road-to-mathematical-independence-results-for-pa.html b/_posts/2022-05-24-the-winding-road-to-mathematical-independence-results-for-pa.html
@@ -4,7 +4,7 @@
 talk_title: The winding road to mathematical independence results for PA
 categories: MOPA
 date: 2022-05-24
-semester: spring-2020
+semester: spring-2022
 speaker_first: Laurence
 speaker_last: Kirby 
 speaker_website: 
@@ -21,4 +21,4 @@
 talk: yes
 note: "<strong>2: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)"
----
+---
diff --git a/_posts/2022-05-31-another-quantifiter-elimination-result-in-arithmetic-under-negated-induction.html b/_posts/2022-05-31-another-quantifiter-elimination-result-in-arithmetic-under-negated-induction.html
@@ -4,7 +4,7 @@
 talk_title: Another quantifier-elimination result in arithmetic under negated induction
 categories: MOPA
 date: 2022-05-31
-semester: spring-2020
+semester: spring-2022
 speaker_first: Tin Lok 
 speaker_last: Wong
 speaker_website: "https://blog.nus.edu.sg/matwong/"
@@ -19,4 +19,4 @@
 talk: yes
 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)"
----
+---
