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.

Colloquium-Just so stories a la carte around Geometry, Dynamics, and PDEs.

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

Special Colloquium

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

Graduate Student Seminar

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

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

Colloquium-Distinguished Speculative First of April Talk (with Center for Quantum Computing, Information, Logic, and Topology): Skein modules and Quantum Computing in 3-manifolds

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

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

Graduate Student Seminar followed by Friday's Colloquium

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

Logic Seminar-Computable quotient presentations of models of arithmetic and set theory

Thursday, 3/30/2017, 8:00pm - 11:59pm

Thursday, March 30, 2017

4:00–5:00p.m.

Speaker: Michał Godziszewski, University of Warsaw and CUNY (Fulbright Research Scholar)

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