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