model-theory

indiscernible sequence? Morley sequence? Ramsey theorem? Erdos-Rado theorem? Ehrenfeucht-Fraïssé games (back-and-forth games) Hrushovski construction? generic predicate? Given a collection of finite(ly-generated) first-order structures which formally resemble collections of finite(ly-generated) substructures found inside an infinite structure, there are additional assumptions on such collections …

Mark Allen Hovey On the Conner-Floyd isomorphism for the Atiyah-Bott-Shapiro orientation of KU and KO (cobordism theory determining homology theory): On model categories: Mark Hovey: Model Categories, Mathematical Surveys and Monographs 63, AMS (1999) [ISBN:978-0-8218-4361-1, doi:10.1090/surv/063, pdf, Google books] Mark Hovey, Errata to Model Categories (1999) [pdf, pdf] On general model structu…

Reed Solomon This talk will be an introduction to the ultraproduct construction and the model theoretic notion of saturation, which are two of the themes in Maryanthe Malliaris’s Annual Logic Lecture next week. My goal is to introduce these concepts with some examples and motivation to give anyone interested some familiarity with the key characters […]