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.
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.
Colloquium-Just so stories a la carte around Geometry, Dynamics, and PDEs.
Tuesday, 4/4/2017, 6:20pm - 11:59pm
Graduate Student Seminar-Priority Argument Constructions for Graphs and Trees
Friday, 3/31/2017, 7:00pm - 11:59pm
Friday, 3/31/2017, 7:00pm - 11:59pm
Title: Priority Argument Constructions for Graphs and Trees
Speaker:Hakim Walker, GWU