added talk and video link

Author: root

_posts/2022-05-03-the-structural-complexity-of-models-of-pa.html

@@ -31,7 +31,7 @@
 </p><p>
 This is joint work with Antonio Montalbán.
 </p>
-<p><strong><a href=''>Video</a></strong></p>
+<p><strong><a href='https://www.youtube.com/watch?v=MOF-1NG3Qp8'>Video</a></strong></p>
  ​"
 excerpt_separator: <!--more-->
 talk: yes

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

@@ -0,0 +1,23 @@
+---
+layout: talk
+title: MOPA
+talk_title: E Pluribus Unum
+categories: MOPA
+date: 2022-05-17
+semester: spring-2020
+speaker_first: Ken
+speaker_last: McAloon 
+speaker_website: 
+affiliation: Brooklyn College
+abstract: "
+<p>
+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>
+ ​"
+excerpt_separator: <!--more-->
+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)"
+---