Louise Hay Logic Seminar
Michael Lange
UIC
Some facts about infinitary logic
Abstract: This talk will introduce some basic definitions and facts about infinitary logic. The main focus will be on Scott's Isomorphism Theorem for languages allowing finite quantification and countable conjunction.
Thursday March 28, 2024 at 3:00 PM in 427 SEO