Skip to main content

Michael Lange : Some facts about infinitary logic

Posted by Michael Lange , part of the Louise Hay Logic Seminar.

At
March 28, 2024, 3 p.m.
In
427 SEO
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.