Louise Hay Logic Seminar
Caroline Terry
UIC
Logical 0-1 Laws
Abstract: We introduce the notion of a logical 0-1 law for classes of finite first order structures. We then sketch the proof that the class of finite triangle-free graphs has a logical 0-1 law.
Thursday September 4, 2014 at 4:00 PM in SEO 427