February 27, 2018
1:45PM - 2:45PM
University Hall 051
Add to Calendar
2018-02-27 14:45:00
2018-02-27 15:45:00
Logic Seminar - Chris MIller
Title: A brief introduction to Continuous Logic
Speaker: Chris Miller (OSU)
Abstract: A currently-hot research topic in mathematical logic ("model theory of metric spaces") takes place over something called Continuous Logic (as opposed to First-Order Logic). An attempt will be made to give an introduction to the subject suitable for preparation for the special seminar to be delivered by Ilijas Farah on March 2, 2018. The presentation will be based primarily on Section 2.1--2.4 of the paper available for download at https://arxiv.org/pdf/1602.08072.pdf
University Hall 051
OSU ASC Drupal 8
ascwebservices@osu.edu
America/New_York
public
Date Range
Add to Calendar
2018-02-27 13:45:00
2018-02-27 14:45:00
Logic Seminar - Chris MIller
Title: A brief introduction to Continuous Logic
Speaker: Chris Miller (OSU)
Abstract: A currently-hot research topic in mathematical logic ("model theory of metric spaces") takes place over something called Continuous Logic (as opposed to First-Order Logic). An attempt will be made to give an introduction to the subject suitable for preparation for the special seminar to be delivered by Ilijas Farah on March 2, 2018. The presentation will be based primarily on Section 2.1--2.4 of the paper available for download at https://arxiv.org/pdf/1602.08072.pdf
University Hall 051
Department of Mathematics
math@osu.edu
America/New_York
public
Title: A brief introduction to Continuous Logic
Speaker: Chris Miller (OSU)
Abstract: A currently-hot research topic in mathematical logic ("model theory of metric spaces") takes place over something called Continuous Logic (as opposed to First-Order Logic). An attempt will be made to give an introduction to the subject suitable for preparation for the special seminar to be delivered by Ilijas Farah on March 2, 2018. The presentation will be based primarily on Section 2.1--2.4 of the paper available for download at https://arxiv.org/pdf/1602.08072.pdf