All Seminars & Colloquia
Joint Colloquium/Applied math/Analysis talk
Wednesday, 4/19/2017, 6:30pm - 11:59pm
Title: Singularity Formation in Nonlinear Derivative Schrödinger Equations
Speaker: Gideon Simpson, Drexel University
Logic Seminar-Computable directed graphs with non-computable properties
Wednesday, 4/12/2017, 9:30pm - 11:59pm
Wednesday, April 12, 2017
5:30–6:30p.m.
Speaker: Hakim Walker, GWU
Place: Rome Hall (801 22nd Street), Room 351
Wednesday, 4/12/2017, 9:30pm - 11:59pm
Speaker: Hakim Walker, GWU
Place: Rome Hall (801 22nd Street), Room 351
Friday, 4/7/2017, 7:00pm - 11:59pm
Friday, 4/7/2017, 7:00pm - 11:59pm
Title: Topology and Computability of Order Relations on Some Algebraic Structures
Speaker: Trang Ha, GWU
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.