Graduate Student Seminar-Computably Infinitary Formulas and Scott Sentences.

Date and Time: Tuesday, March 22, 1-2pm

Place: Zoom
Zoom link:https://gwu-edu.zoom.us/j/92957649236?pwd=YmZIYytSUVVwcU1RdjZHYkNFak10U…

Speaker:  Phillip White, GWU

Title: Computably Infinitary Formulas and Scott Sentences.

Abstract: Scott sentences are special infinitary sentences which completely describe a structure up to isomorphism. The computably infinitary formulas are one of the many tools we use in computable model theory.  In this talk we will be introducing infinitary and computably infinitary formulas and talking about how they work (they are very fun!). The use of scott sentences (more specifically the Scott Isomorphism Theorem) is another important aspect of computable model theory which we will briefly talk about.