Skip to main content

Caroline Terry : Logical 0-1 Laws

Posted by , part of the Louise Hay Logic Seminar.

At
Sept. 4, 2014, 4 p.m.
In
SEO 427
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.