added talks and video links

Author: root

_posts/2022-05-17-e-pluribus-unum.html

@@ -14,7 +14,8 @@
 Athena sprang forth full grown from the head of Zeus. Newton/Leibniz created Calculus. Galois created Galois Theory. Cantor created Set Theory. Boole created Boolean Algebra.</p>
 <p>
 But Models of Peano Arithmetic doesn’t have a dramatic origin myth like that and took some 100 years to emerge as a discipline in itself - from Dedekind’s Second Order Axioms for Arithmetic (1863), through Frege’s Begriffsschrift (1879) and First Order Logic, through Godel’s Completeness and Incompleteness Theorems, through Skolem’s elegant construction of a non-standard model, through the War and après-guerre and on into the 1970s where the subject at last emerges as a discipline in itself. We’ll discuss the convergence of people and ideas from diverse fields like Model Theory, Set Theory, Recursion Theory, Proof Theory, Complexity Theory, …  that led to the field we know and love today.</p>
-<p><strong><a href=''>Video</a></strong></p>
+<p><strong><a href='https://www.youtube.com/watch?v=lBDls5Hv6qk'>Video</a></strong></p>
+<p><strong><a href='/files/McAloonSlides052022.pdf'>Slides</a></strong></p>
  ​"
 excerpt_separator: <!--more-->
 talk: yes

_posts/2022-05-24-the-winding-road-to-mathematical-independence-results-for-pa.html

@@ -8,7 +8,7 @@
 speaker_first: Laurence
 speaker_last: Kirby 
 speaker_website: 
-affiliation: Brooklyn College
+affiliation: Baruch College
 abstract: "
 <p>
 Advances in understanding the incompleteness of PA in the 1970s and 80s 

_posts/2022-05-31-another-quantifiter-elimination-result-in-arithmetic-under-negated-induction.html

@@ -0,0 +1,22 @@
+---
+layout: talk
+title: MOPA
+talk_title: Another quantifier-elimination result in arithmetic under negated induction
+categories: MOPA
+date: 2022-05-31
+semester: spring-2020
+speaker_first: Tin Lok 
+speaker_last: Wong
+speaker_website: "https://blog.nus.edu.sg/matwong/"
+affiliation: National University of Singapore
+abstract: "
+<p>
+In a paper published in 1990, Kossak showed that all countable models of $&#92;Sigma_n$ collection where $&#92;Sigma_n$ induction fails have continuum-many automorphisms.  We extract from his proof a(nother) quantifier-elimination result.  This gives new information about pigeonhole principles and expansions to second-order models.  The work is joint with David Belanger, CT Chong, Wei Li, and Yue Yang at the National University of Singapore.
+</p>
+<p><strong><a href=''>Video</a></strong></p>
+ ​"
+excerpt_separator: <!--more-->
+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)"
+---