Phillip Wesolek : On A simpler axiomatization of the Shelah-Spencer almost sure theories

Posted by , part of the Logic Seminar.

At

Feb. 7, 2012, 4 p.m.

In

SEO 427

Abstract

We discuss the first two sections of Laskowski's <i>a simpler axiomatization of the Shelah-Spencer almost sure theories</i>.