1. Events
  3. Seminar
  4. Logic Seminar (2019)

Logic Seminar (2019)

The Penn State Logic Seminar traditionally and normally meets on Tuesdays, 2:30 to 3:45 PM. Our usual meeting place is 315 McAllister. For more precise information, please check the calendar below.

Logic Seminar (2019)
DateRoomSpeaker(s)Title
08 Jan 2019 2:30pm - 4:00pm315 McAllisterUntitled
15 Jan 2019 2:30pm - 4:00pm315 McAllisterUntitled
22 Jan 2019 2:30pm - 4:00pm315 McAllisterOrganizational Meeting
29 Jan 2019 2:30pm - 4:00pm315 McAllisterLinda WestrickDegrees of unsolvability of continuous functions
05 Feb 2019 2:30pm - 4:00pm315 McAllisterLinda WestrickIntroduction to the Weihrauch lattice
12 Feb 2019 2:30pm - 4:00pm315 McAllister[cancelled-snow]
19 Feb 2019 2:30pm - 4:00pm315 McAllisterMingyang LiRandomness over computable metric space
26 Feb 2019 2:30pm - 4:00pm315 McAllisterMingyang LiRandomness over computable metric space
05 Mar 2019 2:30pm - 4:00pm315 McAllisterSpring break - no seminar
12 Mar 2019 2:30pm - 4:00pm315 McAllisterArno PaulyFinding points from positive information
19 Mar 2019 2:30pm - 4:00pm315 McAllisterJun Le GohA theorem of Halin and hyperarithmetic analysis
26 Mar 2019 2:30pm - 4:00pm315 McAllisterEd GreenSequences, limits, and differentiation in computable analysis
02 Apr 2019 2:30pm - 4:00pm315 McAllisterCaitlin LienkaemperYes, the "missing axiom" of matroid theory is lost forever
09 Apr 2019 2:30pm - 4:00pm315 McAllisterEd GreenSequences, limits, and differentiation in computable analysis
16 Apr 2019 2:30pm - 4:00pm315 McAllisterUntitled
23 Apr 2019 2:30pm - 4:00pm315 McAllisterUntitled
27 Aug 2019 2:30pm - 4:00pm315 McAllisterOrganizational Meeting
03 Sep 2019 2:30pm - 4:00pm315 McAllisterLinda WestrickIntroduction to well-quasi-orderings
10 Sep 2019 2:30pm - 4:00pm315 McAllisterUntitled
24 Sep 2019 2:30pm - 4:00pm315 McAllisterCaleb SpringerOn the undecidability of infinite extensions of the rationals
01 Oct 2019 2:30pm - 4:00pm315 McAllisterRussell MillerUniform Computable Categoricity for Fields
08 Oct 2019 2:30pm - 4:00pm315 McAllisterCaitlin LienkaemperFixed parameter tractability via Robertson-Seymour
15 Oct 2019 2:30pm - 4:00pm315 McAllisterLinda WestrickIntroduction to better-quasi-orderings
22 Oct 2019 2:30pm - 4:00pm315 McAllisterJan ReimannThe Robertson-Seymour graph minor theorem
29 Oct 2019 2:30pm - 4:00pm315 McAllisterMingyang LiOn the maximal linear extension principle for wqo's
05 Nov 2019 2:30pm - 4:00pm315 McAllisterNathanael AckermanComputable representations of exchangeable graphs
12 Nov 2019 2:30pm - 4:00pm315 McAllisterHenry TowsnerNonstandard analysis and new standard proof of the containers theorem
19 Nov 2019 2:30pm - 4:00pm315 McAllisterUntitled
26 Nov 2019 2:30pm - 4:00pm315 McAllisterTHANKSGIVING BREAK - NO SEMINAR
03 Dec 2019 2:30pm - 4:00pm315 McAllisterLinda WestrickFraisse's conjecture in Pi11 comprehension
10 Dec 2019 2:30pm - 4:00pm315 McAllisterJan ReimannEmbedding an analytic equivalence relation in the transitive closure of a Borel relation
Archives 2020, 2019, 2018, 2017, 2016, 2015, 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007

The slides for Simpson's Fall 2007 series of talks on mass problems are available.

See also the Penn State Logic Seminar Archive covering the years 1998 - 2006.