tag:blogger.com,1999:blog-8231917611006633375.post8016535647748438321..comments2024-03-11T14:16:54.958+01:00Comments on Freedom Math Dance: Model theory and algebraic geometry, 2 — Definable sets, types; quantifier eliminationAntoine Chambert-Loirhttp://www.blogger.com/profile/02115924053842869740noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-8231917611006633375.post-16863678931532021442015-05-03T09:05:23.116+02:002015-05-03T09:05:23.116+02:00Indeed, thanks!Indeed, thanks!Antoine Chambert-Loirhttps://www.blogger.com/profile/02115924053842869740noreply@blogger.comtag:blogger.com,1999:blog-8231917611006633375.post-19648974168423742302015-05-03T07:17:49.967+02:002015-05-03T07:17:49.967+02:00There seems to be a typo in the statement of Cheva...There seems to be a typo in the statement of Chevalley's theorem: "smallest boolean _algebra_ ..."<br />Emmanuelhttps://www.blogger.com/profile/02913801477343269917noreply@blogger.com