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