All Seminars & Colloquia

Logic Seminar-Coding information into orders

Wednesday, 4/5/2017, 9:30pm - 11:59pm

Wednesday, April 5, 2017

5:30–6:30p.m.

Speaker: Valentina Harizanov, GWU

Place: Rome Hall (801 22nd Street), Room 351

Title: Coding information into orders

Abstract: We will show how a set of natural numbers can be coded into an order on a group. This will allows us to realize a desired Turing degree, or even a strong degree, as the degree of an order on a structure from a large class of groups.

Logic Seminar

Wednesday, 4/5/2017, 9:30pm - 11:59pm

Title: Coding information into orders
Speaker: Valentina Harizanov, GWU

Abstract: We will show how a set of natural numbers can be coded into an order on a group. This will allow us to realize a desired Turing degree, or even a strong degree, as the degree of an order on a structure from a large class of groups.

Special Colloquium

Tuesday, 4/4/2017, 6:20pm - 11:59pm

  

Graduate Student Seminar

Friday, 3/31/2017, 7:00pm - 11:59pm

TitlePriority Argument Constructions for Graphs and Trees
Speaker:Hakim Walker, GWU

Colloquium

Friday, 3/31/2017, 5:00pm - 11:59pm

  

Graduate Student Seminar- followed by Friday’s Colloquium

Thursday, 3/30/2017, 9:15pm - 11:59pm