Louise Hay Logic Seminar - Spring 2016
Usually meets Thursday at 3:00 pm in SEO 427.
| Date | Speaker | Title |
|---|---|---|
|
January 14
(4:00 pm; SEO 427)
|
Aida Alibek, Maxwell Levine
|
Organizational meeting |
|
January 21
(4:00 pm; SEO 427)
|
Hunter Chase
UIC |
Computability Theory, Part I. |
|
January 28
(4:00 pm; SEO 427)
|
McKinley Meyer
UIC |
Computability Theory, Part 2 |
|
February 4
(4:00 pm; SEO 427)
|
Noah Schoem
|
Turing Degrees and the Jump Operator |
|
February 11
(4:00 pm; SEO 427)
|
Jonathan Wolf
UIC |
The Arithmetical Heirarchy |
|
February 18
(4:00 pm; SEO 427)
|
Aida Alibek
UIC |
Simple sets & Post's problem |
|
February 25
|
||
|
March 3
(4:00 pm; SEO 427)
|
Jin Du
UIC |
Oracle Constructions of non-RE Degrees |
|
March 10
(4:00 pm; SEO 427)
|
Maxwell Levine
UIC |
The Friedberg-Muchnik Theorem |
|
March 17
|
||
|
March 24
|
No seminar
|
Spring Break |
|
March 31
(4:00 pm; SEO 427)
|
Victoria Noquez
UIC |
TBA |
|
April 7
|
||
|
April 14
|
||
|
April 21
|
||
|
April 28
(4:00 pm; SEO 427)
|
Roland Walker
UIC |
Overview of Recursive Saturation, Scott Sets, and S-Saturation |